2026/01/18

Newest at the top

2026-01-18 19:53:15 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds)
2026-01-18 19:50:30 +0100 <haskellbridge> <thirdofmay18081814goya> neat, ty both for references! and wow MicroHS really is small
2026-01-18 19:49:55 +0100michalz(~michalz@185.246.207.221) (Ping timeout: 240 seconds)
2026-01-18 19:47:42 +0100michalz_(~michalz@185.246.207.221)
2026-01-18 19:46:17 +0100 <geekosaur> (in development)
2026-01-18 19:46:05 +0100 <geekosaur> https://github.com/Superstar64/Hazy
2026-01-18 19:41:07 +0100acidjnk(~acidjnk@p200300d6e717195811a2eb9a91fd28d7.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2026-01-18 19:35:39 +0100ystael(~ystael@user/ystael) (Ping timeout: 244 seconds)
2026-01-18 19:35:25 +0100 <monochrom> If you just look for type checking, there is Typing Haskell in Haskell. If you also need execution or code generation, I bet MicroHS is the best starting point, simply because it is written from scratch most recently therefore maximum benefit of hindsight.
2026-01-18 19:34:34 +0100Square(~Square@user/square) (Ping timeout: 260 seconds)
2026-01-18 19:32:53 +0100haritz(~hrtz@user/haritz) haritz
2026-01-18 19:32:53 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-01-18 19:32:52 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-01-18 19:32:19 +0100 <monochrom> Or Hugs. Or MicroHS. :)
2026-01-18 19:26:06 +0100trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-18 19:25:52 +0100trickard(~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-18 19:25:33 +0100st_aldini1st_aldini
2026-01-18 19:25:33 +0100st_aldini(~Thunderbi@2605:a601:a07c:7426:52e7:74e7:d63d:c18b) (Ping timeout: 252 seconds)
2026-01-18 19:24:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-18 19:22:02 +0100michalz(~michalz@185.246.207.221)
2026-01-18 19:21:39 +0100st_aldini1(~Thunderbi@2605:a601:a07c:7426:e89f:cd5f:b143:6c97) st_aldini
2026-01-18 19:20:16 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-18 19:19:21 +0100 <haskellbridge> <thirdofmay18081814goya> hm hopefully it's readable ty
2026-01-18 19:19:09 +0100Milan_Vanca(~milan@user/Milan-Vanca:32634) Milan_Vanca
2026-01-18 19:14:44 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-18 19:12:25 +0100 <haskellbridge> <sm> the typeclasses machinery ? Just in GHC I'd guess.
2026-01-18 19:09:47 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-18 19:03:59 +0100 <haskellbridge> <thirdofmay18081814goya> is there a reference implementation of typeclasses somewhere?
2026-01-18 19:03:33 +0100st_aldini1st_aldini
2026-01-18 19:03:33 +0100st_aldini(~Thunderbi@136.48.46.187) (Ping timeout: 252 seconds)
2026-01-18 19:00:39 +0100st_aldini1(~Thunderbi@2605:a601:a07c:7426:52e7:74e7:d63d:c18b) st_aldini
2026-01-18 18:56:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-18 18:51:27 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-18 18:50:11 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2026-01-18 18:50:10 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2026-01-18 18:47:54 +0100Milan_Vanca(~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2)
2026-01-18 18:40:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-18 18:35:52 +0100emmanuelux(~em@user/emmanuelux) emmanuelux
2026-01-18 18:35:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-18 18:31:23 +0100superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.7.1)
2026-01-18 18:25:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-18 18:19:52 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-18 18:09:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-01-18 18:01:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-18 17:52:50 +0100comonad(~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de)
2026-01-18 17:51:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-18 17:47:35 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2026-01-18 17:46:11 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1)
2026-01-18 17:43:09 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-18 17:42:56 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell