2024/09/21

Newest at the top

2024-09-21 11:21:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-21 11:20:50 +0200morb(~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 +0200merijn(~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 +0200srazkvt(~sarah@user/srazkvt) (Client Quit)
2024-09-21 11:09:00 +0200srazkvt(~sarah@user/srazkvt)
2024-09-21 11:05:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-21 11:03:53 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-09-21 10:59:22 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-21 10:56:55 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-21 10:56:35 +0200merijn(~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 +0200merijn(~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 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-21 10:42:13 +0200random-jellyfish(~developer@user/random-jellyfish)
2024-09-21 10:40:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-21 10:40:20 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-21 10:38:12 +0200gary_borg(~gary_borg@144.6.194.76) (Killed (ozone (No Spam)))
2024-09-21 10:36:27 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-21 10:35:50 +0200merijn(~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 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-21 10:27:05 +0200mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com)
2024-09-21 10:26:45 +0200misterfish(~misterfis@84.53.85.146)
2024-09-21 10:25:28 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds)
2024-09-21 10:25:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-21 10:25:04 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 260 seconds)
2024-09-21 10:24:45 +0200gary_borg(~gary_borg@144.6.194.76)
2024-09-21 10:24:21 +0200gary_borg(~gary_borg@144.6.194.76) (Quit: Leaving)
2024-09-21 10:21:22 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-21 10:20:02 +0200merijn(~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 +0200Inst(~Inst@user/Inst)
2024-09-21 10:18:26 +0200Inst(~Inst@user/Inst) (Leaving)
2024-09-21 10:18:19 +0200 <tomsmeding> that user here is ChanServ
2024-09-21 10:18:15 +0200 <tomsmeding> an "op" (not "opp") is an "operator", i.e. a user with admin rights on the channel
2024-09-21 10:18:00 +0200 <tomsmeding> gary_borg: ah lol
2024-09-21 10:17:59 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-09-21 10:17:31 +0200 <Inst> just in Haskell it's a lot more wonky
2024-09-21 10:17:25 +0200 <gary_borg> https://imgur.com/a/7GTqvrr this is what im referring to.
2024-09-21 10:17:23 +0200 <Inst> after touching julia, why yes, you can have an entire language made out of typeclasses (since implicitly in Julia every function is a typeclass)
2024-09-21 10:16:28 +0200 <tomsmeding> sometimes they are, sure, but when modelling data, they usually bring more harm than good