Newest at the top
| 2025-01-12 16:30:35 +0100 | <probie> | GHC has become very opinionated in recent years about how Haskell should be written. I look forward to when they decide to remove `error` and `undefined` from base :p |
| 2025-01-12 16:25:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-12 16:20:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 16:11:46 +0100 | mreh | (~matthew@host86-146-25-121.range86-146.btcentralplus.com) |
| 2025-01-12 16:09:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-12 16:06:38 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-01-12 16:06:36 +0100 | tnt2 | tnt1 |
| 2025-01-12 16:06:36 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-01-12 16:06:24 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 16:04:53 +0100 | <kaol> | Looks like GHC started complaining about non-exhaustive pattern matches on lazy pattern matching in 9.2. I may have been abusing lazy pattern matching to just create escape hatches where I was certain that it would always match so I guess I can't complain too much. |
| 2025-01-12 16:02:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 16:01:23 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 15:57:28 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-12 15:52:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-12 15:50:04 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-12 15:47:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 15:44:16 +0100 | tnt2 | tnt1 |
| 2025-01-12 15:44:16 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-12 15:43:39 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 15:43:02 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-12 15:42:04 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-12 15:39:21 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-01-12 15:37:49 +0100 | tnt2 | tnt1 |
| 2025-01-12 15:37:49 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-12 15:37:12 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 15:36:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-12 15:32:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 15:29:38 +0100 | <ncf> | data Exists t where pack :: forall a. t a → Exists t |
| 2025-01-12 15:28:23 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f06145d2259bf66d21b.dip0.t-ipconnect.de) |
| 2025-01-12 15:27:33 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-12 15:23:12 +0100 | <hellwolf> | (forall a. (t a -> r)) ≅ ((exists a. t a) -> r) <-- this is what I know of. |
| 2025-01-12 15:23:06 +0100 | <hellwolf> | I have never heard of that |
| 2025-01-12 15:21:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-12 15:19:31 +0100 | <haskellbridge> | <Profpatsch> s/??/?/ |
| 2025-01-12 15:19:22 +0100 | <haskellbridge> | <Profpatsch> though GADTs are a superset of existential types right?? |
| 2025-01-12 15:18:55 +0100 | <hellwolf> | impredicative types I don't actively use, but passively use from a library that requiring it |
| 2025-01-12 15:18:51 +0100 | <haskellbridge> | <Profpatsch> (same as with GADTs, though people tell me they have their uses) |
| 2025-01-12 15:18:40 +0100 | <hellwolf> | oh, I meant existential types |
| 2025-01-12 15:18:28 +0100 | <haskellbridge> | <Profpatsch> esp. because error messages and inference becomes a joke with impredicative types |
| 2025-01-12 15:18:27 +0100 | <hellwolf> | okay, but I am not sure if were complicated in the first place |
| 2025-01-12 15:18:03 +0100 | <haskellbridge> | <Profpatsch> any time I thought I needed these, I could usually slightly redesign and vastly simplify |
| 2025-01-12 15:17:34 +0100 | <hellwolf> | yes, I use it in places |
| 2025-01-12 15:17:21 +0100 | <haskellbridge> | <Profpatsch> (that is not just a toy example I mean) |
| 2025-01-12 15:17:20 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-12 15:17:11 +0100 | <haskellbridge> | <Profpatsch> do you have an example? |
| 2025-01-12 15:16:55 +0100 | <haskellbridge> | <Profpatsch> I don’t really run into situations where I need that flexibility tbh |
| 2025-01-12 15:16:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 15:15:51 +0100 | <haskellbridge> | <Profpatsch> At least I don’t |
| 2025-01-12 15:15:48 +0100 | <haskellbridge> | <Profpatsch> no you don’t really need them usually |
| 2025-01-12 15:15:11 +0100 | <hellwolf> | I sometimes create an array of AnyX existential data types. |