2025/04/23

Newest at the top

2025-04-23 10:03:38 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-04-23 10:02:15 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 276 seconds)
2025-04-23 09:59:27 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-04-23 09:59:16 +0200 <lambdabot> (MonadTrans t, Monad m) => m a -> t m a
2025-04-23 09:59:15 +0200 <int-e> :t lift
2025-04-23 09:56:58 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 09:53:39 +0200merijn(~merijn@77.242.116.146) merijn
2025-04-23 09:53:22 +0200cstml(~Thunderbi@user/cstml) cstml
2025-04-23 09:52:03 +0200 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/oewMBQhCudadRpqVeYQuNyAJ/Ci1gGUPGvb8 (3 lines)
2025-04-23 09:52:01 +0200 <haskellbridge> <hellwolf> The last time I asked people in the know, I estimate that the required investment to lift GHC to a new level from a usability perspective, is below a million dollars a year.
2025-04-23 09:44:59 +0200adamCS(~adamCS@pool-173-52-72-35.nycmny.fios.verizon.net) (Ping timeout: 245 seconds)
2025-04-23 09:44:36 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2025-04-23 09:42:09 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-04-23 09:39:12 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 09:30:03 +0200 <haskellbridge> <Liamzee> the "aggressively polymorphic" nature of Haskell, with typeclasses, HKTs, and type inference suggest that this might be notable as something different from other statically typed languages
2025-04-23 09:29:24 +0200 <haskellbridge> <Liamzee> static typing with polymorphism, on the other hand, is implicitly also a hybrid, coming from the other direction
2025-04-23 09:28:17 +0200 <haskellbridge> <Liamzee> Gradual typing is a hybrid between static and dynamic typing
2025-04-23 09:28:08 +0200 <haskellbridge> <Liamzee> that said, I'm wondering if it's accurate to say that Haskell isn't a purely statically typed language
2025-04-23 09:27:06 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2025-04-23 09:26:01 +0200Square2(~Square4@user/square) Square
2025-04-23 09:25:47 +0200 <haskellbridge> <Liamzee> it's perfectly possible that GHC simply doesn't scale well for investment, so it's not an automatic given that GHC would be much better if it were awash in resources
2025-04-23 09:25:00 +0200 <haskellbridge> <Liamzee> @monochrom: I'm curious what GHC would look like if someone were to dump megabucks on it
2025-04-23 09:24:09 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-04-23 09:22:17 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 09:22:05 +0200Lord_of_Life_Lord_of_Life
2025-04-23 09:20:49 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2025-04-23 09:20:42 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-04-23 09:16:00 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-04-23 09:15:59 +0200sord937_(~sord937@gateway/tor-sasl/sord937) sord937
2025-04-23 09:13:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-23 09:08:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 09:08:13 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 276 seconds)
2025-04-23 09:02:33 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-23 09:02:13 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-04-23 09:00:55 +0200caconym(~caconym@user/caconym) caconym
2025-04-23 09:00:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-23 09:00:03 +0200acidjnk(~acidjnk@p200300d6e71c4f35189c4bef71fa2fe9.dip0.t-ipconnect.de) acidjnk
2025-04-23 09:00:00 +0200caconym(~caconym@user/caconym) (Quit: bye)
2025-04-23 08:56:21 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 08:55:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 08:47:40 +0200EvanR(~EvanR@user/evanr) (Ping timeout: 260 seconds)
2025-04-23 08:47:20 +0200tromp(~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe)
2025-04-23 08:44:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-23 08:39:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 08:30:11 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 244 seconds)
2025-04-23 08:29:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-23 08:25:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Read error: Connection reset by peer)
2025-04-23 08:25:29 +0200ephilalethes(~noumenon@103.175.213.105) (Read error: Connection reset by peer)
2025-04-23 08:24:58 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 08:23:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn