Newest at the top
2024-09-21 06:34:36 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
2024-09-21 06:34:20 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
2024-09-21 06:30:26 +0200 | neuroevolutus | (~neuroevol@146.70.211.110) |
2024-09-21 06:28:14 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
2024-09-21 06:28:11 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-21 06:23:46 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-21 06:21:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-21 06:17:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-21 06:06:12 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
2024-09-21 06:06:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-21 06:04:23 +0200 | xff0x | (~xff0x@2405:6580:b080:900:64be:ce6a:a0a8:1563) |
2024-09-21 06:04:05 +0200 | xff0x | (~xff0x@2405:6580:b080:900:64be:ce6a:a0a8:1563) (Ping timeout: 248 seconds) |
2024-09-21 06:01:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-21 05:58:50 +0200 | troojg | (~troojg@user/troojg) |
2024-09-21 05:54:58 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-21 05:50:27 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-21 05:50:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-09-21 05:46:49 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
2024-09-21 05:45:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-21 05:41:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-09-21 05:37:14 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-09-21 05:35:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
2024-09-21 05:34:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-21 05:29:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-21 05:29:17 +0200 | bilegeek | (~bilegeek@227.sub-174-208-228.myvzw.com) (Quit: Leaving) |
2024-09-21 05:27:20 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-09-21 05:26:55 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-09-21 05:26:36 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
2024-09-21 05:21:24 +0200 | <geekosaur> | even used monochrom's quote to demonstrate 🙂 |
2024-09-21 05:21:12 +0200 | <geekosaur> | I provided a more specific rule earlier |
2024-09-21 05:21:05 +0200 | <dolio> | Boxed values of different types, that is. |
2024-09-21 05:20:45 +0200 | <dolio> | unsafeCoercing between boxed values, even if you think they should be represented 'the same' is not something you can generally get away with, in my experience. |
2024-09-21 05:20:43 +0200 | <geekosaur> | (this is not the problem I have with effect systems. the problem I have with them is that they will happily let you "algebraically" combine effects that mtl will rightly reject because they're not safe to combine) |
2024-09-21 05:19:34 +0200 | <geekosaur> | for example, switching logging frameworks |
2024-09-21 05:19:29 +0200 | <Inst> | i realize i had a large chunk of code, and it was problematic because i couldn't redirect stdout trivially |
2024-09-21 05:19:16 +0200 | <geekosaur> | swapping out effect providers |
2024-09-21 05:19:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-21 05:18:48 +0200 | <Inst> | iirc it was mentioned it's useful for mocking, but i can't figure out other contexts where the effect polymorphism is useful |
2024-09-21 05:18:36 +0200 | <geekosaur> | beats me 🙂 |
2024-09-21 05:18:24 +0200 | <Inst> | what's the exact name for constraint-based polymorphic effects? |
2024-09-21 05:16:16 +0200 | <geekosaur> | effect systems do the same thing, they just get there via a different path |
2024-09-21 05:14:20 +0200 | <Inst> | also I guess I was talking about mtl style |
2024-09-21 05:14:10 +0200 | <Inst> | and that's sort of a giveaway :( |
2024-09-21 05:14:01 +0200 | <Inst> | i'm sorry to hear :( |
2024-09-21 05:13:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-21 05:13:53 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-21 05:12:33 +0200 | <geekosaur> | gotta wait for my nighttime drugs to kick in (in particular the painkillers, sigh) |
2024-09-21 05:12:00 +0200 | <Inst> | i'm blathering at all times, go to bed, geekosaur, it's friday :) |
2024-09-21 05:09:51 +0200 | <geekosaur> | that said, I'm operating on 3h of sleep and it's getting late here so I may be blathering at this point 😞 |
2024-09-21 05:09:11 +0200 | <geekosaur> | which is a subset of monads |