Newest at the top
| 2025-04-23 10:03:38 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-23 10:02:15 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-04-23 09:59:27 +0200 | machinedgod | (~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 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 09:53:39 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-04-23 09:53:22 +0200 | cstml | (~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 +0200 | adamCS | (~adamCS@pool-173-52-72-35.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-04-23 09:44:36 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-04-23 09:42:09 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-04-23 09:39:12 +0200 | inca | (~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 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2025-04-23 09:26:01 +0200 | Square2 | (~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 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-04-23 09:22:17 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 09:22:05 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-04-23 09:20:49 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-04-23 09:20:42 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-04-23 09:16:00 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-04-23 09:15:59 +0200 | sord937_ | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-04-23 09:13:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 09:08:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 09:08:13 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-04-23 09:02:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-23 09:02:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-04-23 09:00:55 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-23 09:00:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 09:00:03 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f35189c4bef71fa2fe9.dip0.t-ipconnect.de) acidjnk |
| 2025-04-23 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-23 08:56:21 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 08:55:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 08:47:40 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 2025-04-23 08:47:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) |
| 2025-04-23 08:44:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-23 08:39:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 08:30:11 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-04-23 08:29:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-23 08:25:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-04-23 08:25:29 +0200 | ephilalethes | (~noumenon@103.175.213.105) (Read error: Connection reset by peer) |
| 2025-04-23 08:24:58 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 08:23:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |