Newest at the top
| 2024-10-24 23:11:54 +0200 | <mauke> | i.e. a type constructor of one argument |
| 2024-10-24 23:11:37 +0200 | <mauke> | Functor requires an argument of kind * -> * |
| 2024-10-24 23:11:27 +0200 | <mauke> | yes, pretty much |
| 2024-10-24 23:11:08 +0200 | <justsomeguy> | (I'm coming back to my code after a long break and nothing makes sense, lol) |
| 2024-10-24 23:09:26 +0200 | <justsomeguy> | Am I trying to match up the kind signature with the number of args? |
| 2024-10-24 23:09:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 23:09:03 +0200 | <justsomeguy> | When can I leave out type arguments from an instance declaration like `instance Functor List where { ... }` vs `data Three a b c = Three a b c; instance Functor (Three a b) where { ... }`? |
| 2024-10-24 23:07:16 +0200 | <mauke> | a container type is traversable if you can apply an effectful function to each element and then invert the nesting, giving an effect that produces a container, not a container full of effects |
| 2024-10-24 23:06:59 +0200 | <geekosaur> | and that was what made it of interest |
| 2024-10-24 23:06:50 +0200 | <geekosaur> | mm, I thought Perceus had an answer to cycles |
| 2024-10-24 23:06:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-10-24 23:04:53 +0200 | <mauke> | it's mapM |
| 2024-10-24 23:04:48 +0200 | <lambdabot> | (Traversable t, Applicative f) => t (f a) -> f (t a) |
| 2024-10-24 23:04:47 +0200 | <justsomeguy> | :t sequenceA |
| 2024-10-24 23:04:44 +0200 | <lambdabot> | (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) |
| 2024-10-24 23:04:43 +0200 | <mauke> | :t mapM |
| 2024-10-24 23:04:21 +0200 | <mauke> | hah |
| 2024-10-24 23:04:11 +0200 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2024-10-24 23:04:10 +0200 | <mauke> | :t sequence |
| 2024-10-24 23:04:02 +0200 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2024-10-24 23:04:01 +0200 | <mauke> | :t traverse |
| 2024-10-24 23:03:52 +0200 | <Rembane> | justsomeguy: It's map but also perform an action on each element |
| 2024-10-24 23:02:10 +0200 | <justsomeguy> | Can someone help me understand what Traversable is about? Is `traverse` like an applicative fmap? |
| 2024-10-24 23:00:20 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
| 2024-10-24 22:58:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-24 22:58:09 +0200 | <dmj`> | "cycle free" makes perceus a non-starter for ghc no? |
| 2024-10-24 22:55:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 22:54:48 +0200 | euleritian | (~euleritia@176.7.144.63) (Read error: Connection reset by peer) |
| 2024-10-24 22:54:30 +0200 | euleritian | (~euleritia@176.7.144.63) |
| 2024-10-24 22:54:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-24 22:53:37 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 22:52:35 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-10-24 22:52:30 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-10-24 22:52:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-24 22:45:42 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-24 22:43:05 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-24 22:42:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-24 22:39:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 22:37:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 22:26:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-24 22:20:59 +0200 | sinbad | (~sinbad@user/sinbad) (Quit: Leaving.) |
| 2024-10-24 22:19:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 22:13:28 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-24 22:11:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-24 22:09:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-24 22:07:53 +0200 | spew | (~spew@185.153.177.94) spew |
| 2024-10-24 22:07:14 +0200 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2024-10-24 22:06:19 +0200 | spew | (~spew@201.141.99.170) (Ping timeout: 260 seconds) |
| 2024-10-24 22:04:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 22:02:52 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |