Newest at the top
| 2025-01-30 20:02:54 +0100 | <euouae> | expr + type yeah |
| 2025-01-30 20:02:45 +0100 | <geekosaur> | prob ably defaults to showing the type if it can't show the value |
| 2025-01-30 20:02:29 +0100 | <euouae> | For w/e reason my repl shows it like it does |
| 2025-01-30 20:02:18 +0100 | <euouae> | I see, ok. It's just a style thing, it's not related to evaluation |
| 2025-01-30 20:01:56 +0100 | <geekosaur> | which I would expect |
| 2025-01-30 20:01:51 +0100 | <geekosaur> | fwiw I tried that here and I got a "No instance for `Show (MyMonad Int)` |
| 2025-01-30 20:00:42 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (Ping timeout: 252 seconds) |
| 2025-01-30 19:59:52 +0100 | <euouae> | mauke: Interactive-Haskell in Emacs |
| 2025-01-30 19:59:31 +0100 | <euouae> | ncf, oh yeah I get what you mean, thank you |
| 2025-01-30 19:59:24 +0100 | <mauke> | euouae: what repl? |
| 2025-01-30 19:59:06 +0100 | <ncf> | <euouae> Hello functions of the type Functor f => f a -> f b, what are they called? |
| 2025-01-30 19:58:54 +0100 | <euouae> | It's what happens when I hit enter in the repl geekosaur -- ncf not sure what you're talking about |
| 2025-01-30 19:58:45 +0100 | <ncf> | (assuming f, a, b are universally quantified) |
| 2025-01-30 19:58:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-01-30 19:58:32 +0100 | <ncf> | euouae: they're not called anything particular since there aren't any. |
| 2025-01-30 19:56:33 +0100 | <geekosaur> | that doesn't look like the result of evaluation, only of typechecking? |
| 2025-01-30 19:51:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 19:50:29 +0100 | <euouae> | But why is it not C1 2? I've found that deriving Show will make it say C1 2. I've also found that deriving Eq will make it == C1 2. But is it just stylistic or is there something deeper here with regards to evaluation? |
| 2025-01-30 19:49:47 +0100 | <euouae> | Hello, I have this small code to define my own monad with <https://paste.tomsmeding.com/KAANvlR5>. When I try `C1 (1 :: Int) >>= (\x -> C1 $ x + 1)` I get that the result of the evaluation is `C1 (1 :: Int) >>= (\x -> C1 $ x + 1) :: MyMonad Int`. |
| 2025-01-30 19:49:41 +0100 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) (Client Quit) |
| 2025-01-30 19:48:41 +0100 | euouae | (~euouae@user/euouae) euouae |
| 2025-01-30 19:48:00 +0100 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) SlackCoder |
| 2025-01-30 19:44:59 +0100 | jespada | (~jespada@2800:a4:220c:6700:19eb:694f:b602:3bcb) jespada |
| 2025-01-30 19:43:47 +0100 | jespada | (~jespada@2800:a4:220c:6700:19eb:694f:b602:3bcb) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-30 19:43:39 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
| 2025-01-30 19:43:25 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-30 19:40:38 +0100 | alp | (~alp@2001:861:8ca0:4940:465c:30a2:2211:b30f) |
| 2025-01-30 19:35:54 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 260 seconds) |
| 2025-01-30 19:31:24 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 264 seconds) |
| 2025-01-30 19:29:29 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-30 19:28:50 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f4644f622875d25c5df.dip0.t-ipconnect.de) acidjnk |
| 2025-01-30 19:25:54 +0100 | euleritian | (~euleritia@77.23.250.232) (Read error: Connection reset by peer) |
| 2025-01-30 19:23:42 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-01-30 19:20:44 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-30 19:20:37 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-01-30 19:20:16 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-30 19:15:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-30 19:14:55 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-01-30 19:11:07 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-30 19:06:11 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-30 19:05:25 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-30 19:00:56 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-01-30 18:56:06 +0100 | Midjak | (~MarciZ@82.66.147.146) Midjak |
| 2025-01-30 18:55:28 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-01-30 18:55:15 +0100 | Midjak | (~MarciZ@82.66.147.146) (Read error: Connection reset by peer) |
| 2025-01-30 18:54:29 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2025-01-30 18:42:02 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-01-30 18:40:26 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-30 18:31:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-01-30 18:27:18 +0100 | danza | (~danza@user/danza) danza |