Newest at the top
2024-09-20 16:42:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-20 16:40:53 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-09-20 16:31:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-20 16:31:02 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-09-20 16:26:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-20 16:26:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-20 16:25:56 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 255 seconds) |
2024-09-20 16:22:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 16:21:37 +0200 | ystael | (~ystael@user/ystael) |
2024-09-20 16:15:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-20 16:13:38 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 248 seconds) |
2024-09-20 16:10:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-20 16:09:53 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
2024-09-20 16:08:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-20 16:03:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 16:01:55 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
2024-09-20 16:00:23 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-09-20 15:59:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-20 15:56:03 +0200 | weary-traveler | (~user@user/user363627) |
2024-09-20 15:54:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-20 15:52:53 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
2024-09-20 15:48:57 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) |
2024-09-20 15:43:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-20 15:39:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-20 15:36:30 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
2024-09-20 15:35:55 +0200 | joeyh | (~joeyh@kitenet.net) |
2024-09-20 15:33:12 +0200 | <tomsmeding> | (for (>=>) that depends on the monad instance) |
2024-09-20 15:33:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
2024-09-20 15:33:02 +0200 | <tomsmeding> | hence, at least for (.), GHC will be able to beta-reduce the (.) chain very easily |
2024-09-20 15:32:33 +0200 | <tomsmeding> | the fixity of (.) and (>=>) only influences the nesting order of manually written chains of (.) or (>=>), which are by construction bounded length (your source file is not infinitely long) and GHC can see all of them together |
2024-09-20 15:31:48 +0200 | youthlic | (~Thunderbi@user/youthlic) |
2024-09-20 15:31:36 +0200 | <tomsmeding> | in practice it's more like `a >>= \x -> b >>= \y -> c`, which is associated perfectly well |
2024-09-20 15:31:21 +0200 | <tomsmeding> | `a >>= b >>= c` is exceedingly rare |
2024-09-20 15:30:59 +0200 | <tomsmeding> | Inst: _does_ (>>=) leak? |
2024-09-20 15:29:43 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-09-20 15:28:30 +0200 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
2024-09-20 15:28:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 15:28:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-20 15:20:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-20 15:14:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-20 15:09:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-20 15:00:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-20 15:00:21 +0200 | <kuribas> | Inst: which instance? |
2024-09-20 14:58:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-20 14:56:05 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 14:53:09 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-09-20 14:52:48 +0200 | rvalue | (~rvalue@user/rvalue) (Remote host closed the connection) |
2024-09-20 14:49:36 +0200 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) |
2024-09-20 14:47:15 +0200 | srazkvt | (~sarah@user/srazkvt) |
2024-09-20 14:41:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |