Newest at the top
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) |
2024-10-14 19:53:21 +0200 | <haskellbridge> | <hellwolf> Language.Haskell.TH.location |
2024-10-14 19:52:55 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 264 seconds) |
2024-10-14 19:49:23 +0200 | briandaed | (~root@185.234.210.211) (Remote host closed the connection) |
2024-10-14 19:49:03 +0200 | st_aldini | (~Thunderbi@2605:a601:a07c:af00:627a:78b9:acf4:2bd7) st_aldini |
2024-10-14 19:44:32 +0200 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
2024-10-14 19:43:18 +0200 | AlexZenon | (~alzenon@178.34.163.62) |
2024-10-14 19:41:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2024-10-14 19:39:02 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) |
2024-10-14 19:34:13 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 248 seconds) |
2024-10-14 19:32:44 +0200 | cheater | (~Username@user/cheater) cheater |
2024-10-14 19:29:25 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:655:8e2f:b4d3:203) (Ping timeout: 248 seconds) |
2024-10-14 19:27:11 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Remote host closed the connection) |
2024-10-14 19:27:05 +0200 | <briandaed> | I was beating nettles with a stick at that time |
2024-10-14 19:26:27 +0200 | <geekosaur> | sadly most of it is gone with my then employer who shut down in 1996 |
2024-10-14 19:26:19 +0200 | <briandaed> | respect |
2024-10-14 19:26:05 +0200 | <geekosaur> | I did most of my parser and compiler/transpiler stuff from 1986-1989, yes |
2024-10-14 19:25:22 +0200 | <briandaed> | so it was before 90s... |
2024-10-14 19:22:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-14 19:22:21 +0200 | AlexZenon | (~alzenon@178.34.163.62) |
2024-10-14 19:22:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-14 19:20:35 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:655:8e2f:b4d3:203) |
2024-10-14 19:18:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-14 19:11:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |