Newest at the top
| 2024-10-14 21:20:51 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-10-14 21:15:04 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 252 seconds) |
| 2024-10-14 21:14:40 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2024-10-14 21:12:57 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
| 2024-10-14 21:10:15 +0200 | AlexZenon | (~alzenon@178.34.163.62) |
| 2024-10-14 21:01:51 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 252 seconds) |
| 2024-10-14 21:00:40 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-14 21:00:20 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-14 21:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-14 20:55:22 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-14 20:54:42 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 272 seconds) |
| 2024-10-14 20:54:09 +0200 | identity | (~identity@user/ZharMeny) (Ping timeout: 248 seconds) |
| 2024-10-14 20:53:37 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-10-14 20:53:26 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-10-14 20:51:36 +0200 | <monochrom> | Not yet. |
| 2024-10-14 20:48:43 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-14 20:48:20 +0200 | <yin> | is base decoupled from ghc already? |
| 2024-10-14 20:43:31 +0200 | AlexZenon | (~alzenon@178.34.163.62) |
| 2024-10-14 20:41:15 +0200 | KicksonButt | (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-10-14 20:34:15 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-14 20:34:07 +0200 | cross | (~cross@spitfire.i.gajendra.net) (Remote host closed the connection) |
| 2024-10-14 20:30:31 +0200 | <lxsameer> | Lears: thank you |
| 2024-10-14 20:27:47 +0200 | synchromesh | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) (Ping timeout: 244 seconds) |
| 2024-10-14 20:25:57 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2024-10-14 20:25:32 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-10-14 20:25:22 +0200 | synchrom1 | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) synchromesh |
| 2024-10-14 20:19:24 +0200 | synchromesh | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) synchromesh |
| 2024-10-14 20:18:41 +0200 | synchrom1 | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) (Read error: Connection reset by peer) |
| 2024-10-14 20:17:47 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 248 seconds) |
| 2024-10-14 20:16:23 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 252 seconds) |
| 2024-10-14 20:15:52 +0200 | <Lears> | lxsameer: ^ |
| 2024-10-14 20:15:40 +0200 | son0p | (~ff@186.119.83.52) (Ping timeout: 252 seconds) |
| 2024-10-14 20:15:33 +0200 | <yahb2> | (coerce `asTypeOf` fmap getSum) . foldMap (coerce `asTypeOf` fmap Sum) ; :: (Coercible (f (Sum b)) (f b), Functor f, Foldable t, ; Monoid (f (Sum b))) => ; t (f b) -> f b |
| 2024-10-14 20:15:33 +0200 | <Lears> | % :t (coerce `asTypeOf` fmap getSum) . foldMap (coerce `asTypeOf` fmap Sum) |
| 2024-10-14 20:12:26 +0200 | <lxsameer> | thanks |
| 2024-10-14 20:12:17 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-10-14 20:10:49 +0200 | <monochrom> | That should help. |
| 2024-10-14 20:10:44 +0200 | <lambdabot> | (Foldable t, Monad m) => (b -> a -> m b) -> b -> t a -> m b |
| 2024-10-14 20:10:43 +0200 | <monochrom> | @type foldM |
| 2024-10-14 20:09:34 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-14 20:09:32 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:db99:b16a:1356:52e1) |
| 2024-10-14 20:09:21 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-10-14 20:09:01 +0200 | <lxsameer> | hey folks, what's the proper way of implementing a sum function with the type `[IO Int] -> IO Int` |
| 2024-10-14 20:08:02 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-14 20:02:47 +0200 | AlexZenon | (~alzenon@178.34.163.62) |
| 2024-10-14 20:02:11 +0200 | <monochrom> | Bluntly, reusing TH's AST saves you only a small and the easiest part of a compiler. https://simon.peytonjones.org/trees-that-grow/ will tell you how many dozens more AST types you would need if not for one cool trick. (TH's AST does not use that trick, so it is of no help.) |
| 2024-10-14 19:59:06 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-10-14 19:57:29 +0200 | euleritian | (~euleritia@dynamic-176-003-034-161.176.3.pool.telefonica.de) |
| 2024-10-14 19:54:03 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2024-10-14 19:53:21 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/hvbdpMkvfmGDWucRVSIYIRmN/Cp4UpcGhnc0 (4 lines) |