Newest at the top
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. |
2025-01-12 15:14:49 +0100 | <haskellbridge> | <Profpatsch> in what case? |
2025-01-12 15:14:05 +0100 | <hellwolf> | would you also need ImpredicativeTypes in that case? |
2025-01-12 15:08:48 +0100 | <haskellbridge> | <Profpatsch> usually RankN solves most things |
2025-01-12 15:08:40 +0100 | <haskellbridge> | <Profpatsch> bailsman: agree, I haven’t felt like I needed an existential type in a long time |
2025-01-12 15:07:00 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-01-12 15:06:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-12 15:05:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2025-01-12 15:02:49 +0100 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
2025-01-12 15:01:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-12 14:56:44 +0100 | tnt2 | tnt1 |
2025-01-12 14:56:44 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
2025-01-12 14:56:20 +0100 | <bailsman> | ...yes I've found many cases in which I thought I needed an existential type. I'm glad this is a rite of passage. Although, I still often think I need it, so I'm not sure if I've fully completed the rite yet |
2025-01-12 14:54:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2025-01-12 14:54:44 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
2025-01-12 14:50:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-12 14:47:04 +0100 | tnt2 | tnt1 |
2025-01-12 14:47:04 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
2025-01-12 14:45:34 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
2025-01-12 14:45:14 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2025-01-12 14:44:22 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-01-12 14:44:00 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
2025-01-12 14:42:42 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
2025-01-12 14:40:19 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
2025-01-12 14:39:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2025-01-12 14:39:09 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
2025-01-12 14:35:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-12 14:23:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2025-01-12 14:17:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-12 14:15:26 +0100 | agent_bla | agent314 |
2025-01-12 14:15:16 +0100 | agent314 | agent_bla |
2025-01-12 14:06:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2025-01-12 14:01:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-12 13:59:09 +0100 | mreh | (~matthew@host86-146-25-121.range86-146.btcentralplus.com) (Ping timeout: 246 seconds) |