Newest at the top
| 2025-11-14 22:42:32 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-11-14 22:41:52 +0100 | deptype | (~deptype@2406:b400:3a:73c2:6d41:ff93:4f91:8353) |
| 2025-11-14 22:41:16 +0100 | deptype | (~deptype@2406:b400:3a:73c2:bf7a:ffa7:efb4:9422) (Remote host closed the connection) |
| 2025-11-14 22:39:58 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-14 22:35:45 +0100 | Googulator53 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-14 22:34:13 +0100 | acidjnk | (~acidjnk@p200300d6e717192040ac95c287188d84.dip0.t-ipconnect.de) acidjnk |
| 2025-11-14 22:27:47 +0100 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-11-14 22:23:24 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-14 22:21:26 +0100 | deptype | (~deptype@2406:b400:3a:73c2:bf7a:ffa7:efb4:9422) |
| 2025-11-14 22:21:14 +0100 | deptype | (~deptype@2406:b400:3a:73c2:6877:dc6f:cb6b:d011) (Remote host closed the connection) |
| 2025-11-14 22:17:13 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-11-14 22:15:58 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-14 22:14:28 +0100 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2025-11-14 22:03:51 +0100 | djspacewhale | (~djspacewh@user/djspacewhale) (Remote host closed the connection) |
| 2025-11-14 22:01:25 +0100 | deptype | (~deptype@2406:b400:3a:73c2:6877:dc6f:cb6b:d011) |
| 2025-11-14 22:01:12 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cdc4:150f:4f12:1dd1) (Remote host closed the connection) |
| 2025-11-14 21:58:48 +0100 | <davean> | Thats litterly how they're a problem |
| 2025-11-14 21:58:28 +0100 | <davean> | We only have referntial transparency in a few respects, not all. |
| 2025-11-14 21:58:16 +0100 | <dolio> | Like, if bounds checked array access causes the result to be a Maybe, that's extra bad. |
| 2025-11-14 21:57:56 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-11-14 21:57:56 +0100 | gentauro | (~gentauro@91.226.144.99) (Changing host) |
| 2025-11-14 21:57:54 +0100 | <davean> | loonycyborg: We *already lack referential transparency* because of the non-determinism of exceptions. |
| 2025-11-14 21:57:11 +0100 | gentauro_ | gentauro |
| 2025-11-14 21:57:07 +0100 | td_ | (~td@i5387092A.versanet.de) |
| 2025-11-14 21:56:53 +0100 | <dolio> | Anyhow, the point isn't really to catch those kind of exceptions. The point is that some pure-ish code wants to use exceptions, but having them return `Either` or `Maybe` for that is a bad implementation. |
| 2025-11-14 21:56:46 +0100 | Fijxu_ | (~Fijxu@user/fijxu) fijxu |
| 2025-11-14 21:55:37 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-14 21:55:11 +0100 | td_ | (~td@i53870933.versanet.de) (Ping timeout: 256 seconds) |
| 2025-11-14 21:54:37 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-11-14 21:54:09 +0100 | <dolio> | If you handle an OOM error in pure code, maybe some memory has already been freed so it's no longer a problem. :) |
| 2025-11-14 21:52:58 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-14 21:52:45 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-14 21:51:23 +0100 | tomsmeding | forces fgarcia's thunk |
| 2025-11-14 21:51:12 +0100 | djspacewhale | (~djspacewh@user/djspacewhale) djspacewhale |
| 2025-11-14 21:49:04 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-14 21:48:48 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2025-11-14 21:47:52 +0100 | fgarcia | causes a thunk |
| 2025-11-14 21:47:49 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) (Quit: fp) |
| 2025-11-14 21:44:51 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-14 21:40:53 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cdc4:150f:4f12:1dd1) |
| 2025-11-14 21:40:40 +0100 | deptype | (~deptype@2406:b400:3a:73c2:566e:3c9f:8ac3:f831) (Remote host closed the connection) |
| 2025-11-14 21:35:41 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-14 21:34:42 +0100 | eron | (~eron@187.56.155.181) (Quit: Client closed) |
| 2025-11-14 21:29:53 +0100 | <haskellbridge> | <Zemyla> Yeah, it'd definitely be a different language, one more like Rust. |
| 2025-11-14 21:20:50 +0100 | deptype | (~deptype@2406:b400:3a:73c2:566e:3c9f:8ac3:f831) |
| 2025-11-14 21:20:35 +0100 | deptype | (~deptype@2406:b400:3a:73c2:10ea:4f19:b27b:3bbc) (Remote host closed the connection) |
| 2025-11-14 21:16:13 +0100 | Square3 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-11-14 21:16:06 +0100 | polykernel_ | polykernel |
| 2025-11-14 21:16:06 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 256 seconds) |
| 2025-11-14 21:14:12 +0100 | shr\ke | (~shrike@user/shrke:31298) shr\ke |