Newest at the top
| 2026-06-30 19:24:02 +0000 | <jaror> | Think about what it would mean to construct a vector in the list monad |
| 2026-06-30 19:23:38 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-06-30 19:23:29 +0000 | <jaror> | Yeah, traversing over vectors is slow unless you use IO or ST |
| 2026-06-30 19:22:43 +0000 | <absentia> | "fromListN," "toList" |
| 2026-06-30 19:22:34 +0000 | <lambdabot> | <hint>:1:1: error: parse error on input `in' |
| 2026-06-30 19:22:33 +0000 | <absentia> | > in Data.Vector.fromListN n Applicative.<$> Traversable.traverse f (toList xs) |
| 2026-06-30 19:22:24 +0000 | <absentia> | https://hackage-content.haskell.org/package/vector-0.13.2.0/docs/src/Data.Vector.html#line-455 |
| 2026-06-30 19:22:22 +0000 | <absentia> | but uhhh the implementation of traverse in Data.Vector gives me pause |
| 2026-06-30 19:22:05 +0000 | <absentia> | yes EvanR i am giving that a shot now |
| 2026-06-30 19:21:43 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-30 19:20:22 +0000 | polykernel_ | polykernel |
| 2026-06-30 19:20:22 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 276 seconds) |
| 2026-06-30 19:18:33 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-06-30 19:18:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-30 19:13:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-30 19:12:35 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-30 19:10:15 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-06-30 19:03:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-30 19:02:38 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-06-30 19:02:10 +0000 | ft | (~ft@p3e9bc956.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-06-30 19:01:38 +0000 | <EvanR> | traverse :: Applicative f => (a -> f b) -> Vector a -> f (Vector b) |
| 2026-06-30 18:58:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-30 18:58:08 +0000 | <absentia> | merely applicative |
| 2026-06-30 18:58:06 +0000 | <absentia> | Leary: i don't have a monad instance though |
| 2026-06-30 18:56:46 +0000 | ft | (~ft@p3e9bc956.dip0.t-ipconnect.de) ft |
| 2026-06-30 18:55:49 +0000 | ft | (~ft@p3e9bc928.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2026-06-30 18:55:15 +0000 | enzo_ | (~enzo@re-byods-146-50-208-227.wireless.uva.nl) (Quit: Konversation terminated!) |
| 2026-06-30 18:54:27 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-06-30 18:50:17 +0000 | ft | (~ft@p3e9bc928.dip0.t-ipconnect.de) ft |
| 2026-06-30 18:49:55 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-30 18:47:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-30 18:45:06 +0000 | enzo_ | (~enzo@re-byods-146-50-208-227.wireless.uva.nl) |
| 2026-06-30 18:44:52 +0000 | enzo_ | (~enzo@re-byods-146-50-208-227.wireless.uva.nl) (Quit: Konversation terminated!) |
| 2026-06-30 18:43:50 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-06-30 18:43:19 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-06-30 18:43:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-30 18:42:52 +0000 | dtman34 | (~dtman34@2601:447:d17d:eaf2:8123:c1ff:6dae:d26b) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-06-30 18:41:33 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-06-30 18:40:39 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-30 18:39:44 +0000 | enzo_ | (~enzo@re-byods-146-50-208-227.wireless.uva.nl) |
| 2026-06-30 18:39:31 +0000 | enzo_ | (~enzo@re-byods-146-50-208-227.wireless.uva.nl) (Client Quit) |
| 2026-06-30 18:39:22 +0000 | enzo_ | (~enzo@re-byods-146-50-208-227.wireless.uva.nl) |
| 2026-06-30 18:39:17 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-06-30 18:39:09 +0000 | ft | (~ft@p3e9bca53.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-06-30 18:39:08 +0000 | enzo_ | (~enzo@re-byods-146-50-208-227.wireless.uva.nl) (Quit: Konversation terminated!) |
| 2026-06-30 18:35:25 +0000 | dtman34 | (~dtman34@2601:447:d17d:eaf2:8123:c1ff:6dae:d26b) dtman34 |
| 2026-06-30 18:34:49 +0000 | ft | (~ft@p3e9bca53.dip0.t-ipconnect.de) ft |
| 2026-06-30 18:32:27 +0000 | ft | (~ft@p3e9bca38.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2026-06-30 18:31:59 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-06-30 18:27:50 +0000 | merijn | (~merijn@62.45.136.136) merijn |