Newest at the top
2024-10-24 23:17:27 +0200 | <dolio> | Even though nothing about coinduction implies that. |
2024-10-24 23:17:27 +0200 | <geekosaur> | (funny, I was talking with someone in #ghc last night about that consequence) |
2024-10-24 23:16:54 +0200 | <geekosaur> | ah |
2024-10-24 23:16:42 +0200 | <dolio> | Eager evaluation except for 'coinductive' things, which I assume means there's no sharing. |
2024-10-24 23:16:25 +0200 | <dolio> | geekosaur: The 'answer' is to not be anything like Haskell. |
2024-10-24 23:15:54 +0200 | Guest72 | (~Guest72@176.111.182.254.kyiv.nat.volia.net) |
2024-10-24 23:15:35 +0200 | Guest72 | (~Guest72@176.111.182.254.kyiv.nat.volia.net) (Client Quit) |
2024-10-24 23:15:10 +0200 | Guest72 | (~Guest72@176.111.182.254.kyiv.nat.volia.net) |
2024-10-24 23:14:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
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.) |