Newest at the top
2024-09-21 11:30:05 +0200 | <tomsmeding> | at least it still behaves properly with the rest of the language, contrary to existentials :p |
2024-09-21 11:29:43 +0200 | <tomsmeding> | question is whether that's worth it |
2024-09-21 11:29:04 +0200 | <tomsmeding> | you could make it a GADT and give it a type parameter that is different for each constructor |
2024-09-21 11:28:46 +0200 | <tomsmeding> | have a type that allows just one of the constructors? |
2024-09-21 11:28:28 +0200 | <tomsmeding> | Inst: what do you mean? |
2024-09-21 11:28:19 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-09-21 11:27:15 +0200 | <Inst> | i'm more annoyed that you can't newtype constructors for these types of sumtypes |
2024-09-21 11:26:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-21 11:21:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-21 11:20:50 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
2024-09-21 11:12:03 +0200 | <tomsmeding> | but if you're in that world, you tend to know it |
2024-09-21 11:11:44 +0200 | <tomsmeding> | mind you, exceptions exist, especially if your types have some GADT-like type parameters and you're doing some computations that cannot (or should not) be fully reflected on the type level |
2024-09-21 11:10:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-21 11:10:16 +0200 | <tomsmeding> | Inst: what ski posted, but also just that they tend to make life more annoying while not actually helping much |
2024-09-21 11:09:25 +0200 | srazkvt | (~sarah@user/srazkvt) (Client Quit) |
2024-09-21 11:09:00 +0200 | srazkvt | (~sarah@user/srazkvt) |
2024-09-21 11:05:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-21 11:03:53 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-09-21 10:59:22 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-21 10:56:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-21 10:56:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-21 10:55:33 +0200 | __monty__ | (~toonn@user/toonn) |
2024-09-21 10:51:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-21 10:50:31 +0200 | <Inst> | oh fine, i'll do it the old fashioned way with a sum type :( |
2024-09-21 10:45:38 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-21 10:42:13 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
2024-09-21 10:40:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-21 10:40:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-21 10:38:12 +0200 | gary_borg | (~gary_borg@144.6.194.76) (Killed (ozone (No Spam))) |
2024-09-21 10:36:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-21 10:35:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-21 10:35:02 +0200 | <lambdabot> | "Haskell Antipattern: Existential Typeclass" by Luke Palmer at <https://web.archive.org/web/20220121105027/https://lukepalmer.wordpress.com/2010/01/24/haskell-ant…> |
2024-09-21 10:35:02 +0200 | <ski> | @where existential-antipattern |
2024-09-21 10:31:36 +0200 | <Inst> | tomsmeding: why are existential types a bad idea? |
2024-09-21 10:29:10 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-21 10:27:05 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
2024-09-21 10:26:45 +0200 | misterfish | (~misterfis@84.53.85.146) |
2024-09-21 10:25:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
2024-09-21 10:25:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-21 10:25:04 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
2024-09-21 10:24:45 +0200 | gary_borg | (~gary_borg@144.6.194.76) |
2024-09-21 10:24:21 +0200 | gary_borg | (~gary_borg@144.6.194.76) (Quit: Leaving) |
2024-09-21 10:21:22 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-21 10:20:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-21 10:19:47 +0200 | <gary_borg> | timtamspelling: oh ok ythank yo for choryfinning |
2024-09-21 10:19:33 +0200 | <tomsmeding> | :D |
2024-09-21 10:19:29 +0200 | <ski> | (clearly operators are opposition, adversaries) |
2024-09-21 10:18:39 +0200 | <tomsmeding> | which is a bot from the irc server that mediates admin rights to the actual people having said access |
2024-09-21 10:18:29 +0200 | Inst | (~Inst@user/Inst) |
2024-09-21 10:18:26 +0200 | Inst | (~Inst@user/Inst) (Leaving) |