Logs: liberachat/#haskell
| 2025-11-14 19:44:07 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-11-14 19:52:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-14 19:53:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-14 19:53:27 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-11-14 19:55:44 | → | ZLima12_ joins (~zlima12@user/meow/ZLima12) |
| 2025-11-14 19:56:19 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
| 2025-11-14 19:57:57 | × | deptype__ quits (~deptype@124.123.128.236) (Ping timeout: 256 seconds) |
| 2025-11-14 19:58:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-14 20:00:12 | → | deptype joins (~deptype@2406:b400:3a:73c2:10ea:4f19:b27b:3bbc) |
| 2025-11-14 20:03:32 | <EvanR> | tracking memory usage in the type system is a possibility. Probably not in haskell which relies heavily on allocating willy nilly |
| 2025-11-14 20:04:12 | <EvanR> | a simple version would simply not run a program known to need X memory if you can't reserve X memory at startup |
| 2025-11-14 20:05:20 | <EvanR> | it sounds infeasible until you think about how a web service handler is defacto designed with a whole page of limits and guardrails |
| 2025-11-14 20:06:26 | <EvanR> | maximum request body, maximum numeric field values, assuming the body can be decoded, which itself has limits baked into the parser |
| 2025-11-14 20:06:31 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) |
| 2025-11-14 20:06:47 | <EvanR> | maximum number of elements submitted in the request |
| 2025-11-14 20:07:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-14 20:08:42 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-11-14 20:11:47 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-14 20:13:03 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-14 20:13:53 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 2025-11-14 20:14:12 | → | shr\ke joins (~shrike@user/paxhumana) |
| 2025-11-14 20:14:12 | × | shr\ke quits (~shrike@user/paxhumana) (Changing host) |
| 2025-11-14 20:14:12 | → | shr\ke joins (~shrike@user/shrke:31298) |
| 2025-11-14 20:16:06 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 256 seconds) |
| 2025-11-14 20:16:06 | polykernel_ | is now known as polykernel |
| 2025-11-14 20:16:13 | × | Square3 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-11-14 20:20:35 | × | deptype quits (~deptype@2406:b400:3a:73c2:10ea:4f19:b27b:3bbc) (Remote host closed the connection) |
| 2025-11-14 20:20:50 | → | deptype joins (~deptype@2406:b400:3a:73c2:566e:3c9f:8ac3:f831) |
| 2025-11-14 20:29:53 | <haskellbridge> | <Zemyla> Yeah, it'd definitely be a different language, one more like Rust. |
| 2025-11-14 20:34:42 | × | eron quits (~eron@187.56.155.181) (Quit: Client closed) |
| 2025-11-14 20:35:41 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-11-14 20:40:40 | × | deptype quits (~deptype@2406:b400:3a:73c2:566e:3c9f:8ac3:f831) (Remote host closed the connection) |
| 2025-11-14 20:40:53 | → | deptype joins (~deptype@2406:b400:3a:73c2:cdc4:150f:4f12:1dd1) |
| 2025-11-14 20:44:51 | → | karenw joins (~karenw@user/karenw) |
| 2025-11-14 20:47:49 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) (Quit: fp) |
| 2025-11-14 20:47:52 | fgarcia | causes a thunk |
| 2025-11-14 20:48:48 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2025-11-14 20:49:04 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-14 20:51:12 | → | djspacewhale joins (~djspacewh@user/djspacewhale) |
| 2025-11-14 20:51:23 | tomsmeding | forces fgarcia's thunk |
| 2025-11-14 20:52:45 | → | humasect_ joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-14 20:52:58 | × | humasect_ quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-14 20:54:09 | <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 20:54:37 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-11-14 20:55:11 | × | td_ quits (~td@i53870933.versanet.de) (Ping timeout: 256 seconds) |
| 2025-11-14 20:55:37 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-14 20:56:46 | → | Fijxu_ joins (~Fijxu@user/fijxu) |
| 2025-11-14 20:56:53 | <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 20:57:07 | → | td_ joins (~td@i5387092A.versanet.de) |
| 2025-11-14 20:57:11 | gentauro_ | is now known as gentauro |
| 2025-11-14 20:57:54 | <davean> | loonycyborg: We *already lack referential transparency* because of the non-determinism of exceptions. |
| 2025-11-14 20:57:56 | × | gentauro quits (~gentauro@91.226.144.99) (Changing host) |
| 2025-11-14 20:57:56 | → | gentauro joins (~gentauro@user/gentauro) |
| 2025-11-14 20:58:16 | <dolio> | Like, if bounds checked array access causes the result to be a Maybe, that's extra bad. |
| 2025-11-14 20:58:28 | <davean> | We only have referntial transparency in a few respects, not all. |
| 2025-11-14 20:58:48 | <davean> | Thats litterly how they're a problem |
| 2025-11-14 21:01:12 | × | deptype quits (~deptype@2406:b400:3a:73c2:cdc4:150f:4f12:1dd1) (Remote host closed the connection) |
| 2025-11-14 21:01:25 | → | deptype joins (~deptype@2406:b400:3a:73c2:6877:dc6f:cb6b:d011) |
| 2025-11-14 21:03:51 | × | djspacewhale quits (~djspacewh@user/djspacewhale) (Remote host closed the connection) |
| 2025-11-14 21:14:28 | × | michalz quits (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2025-11-14 21:15:58 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 2025-11-14 21:17:13 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-11-14 21:21:14 | × | deptype quits (~deptype@2406:b400:3a:73c2:6877:dc6f:cb6b:d011) (Remote host closed the connection) |
| 2025-11-14 21:21:26 | → | deptype joins (~deptype@2406:b400:3a:73c2:bf7a:ffa7:efb4:9422) |
| 2025-11-14 21:23:24 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-14 21:27:47 | × | fgarcia quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-11-14 21:34:13 | → | acidjnk joins (~acidjnk@p200300d6e717192040ac95c287188d84.dip0.t-ipconnect.de) |
| 2025-11-14 21:35:45 | → | Googulator53 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-14 21:39:58 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-14 21:41:16 | × | deptype quits (~deptype@2406:b400:3a:73c2:bf7a:ffa7:efb4:9422) (Remote host closed the connection) |
| 2025-11-14 21:41:52 | → | deptype joins (~deptype@2406:b400:3a:73c2:6d41:ff93:4f91:8353) |
| 2025-11-14 21:42:32 | → | notzmv joins (~umar@user/notzmv) |
| 2025-11-14 21:44:50 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 2025-11-14 21:47:23 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 244 seconds) |
| 2025-11-14 21:47:23 | polykernel_ | is now known as polykernel |
| 2025-11-14 21:49:41 | → | foul_owl joins (~kerry@94.156.149.94) |
| 2025-11-14 21:50:56 | <c_wraith> | We just declare referential transparency only applies to non-bottom values because pure code can't distinguish between bottoms anyway. |
| 2025-11-14 21:53:02 | <c_wraith> | (and then quietly admit that your Haskell program *can* distinguish between them as soon as you get IO involved, and unsafePerformIO exists, and oh god. What have we done?) |
| 2025-11-14 21:59:09 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-14 22:00:51 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-14 22:01:18 | × | deptype quits (~deptype@2406:b400:3a:73c2:6d41:ff93:4f91:8353) (Remote host closed the connection) |
| 2025-11-14 22:01:31 | → | deptype joins (~deptype@2406:b400:3a:73c2:8cd7:cdeb:acf0:2831) |
| 2025-11-14 22:03:01 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-11-14 22:03:17 | <int-e> | c_wraith: we've made the language more useful :P |
| 2025-11-14 22:03:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 22:03:53 | <c_wraith> | technically it's unsafePerformIO breaking referential transparency there anyway. And that's basically half of the reason it even exists. |
| 2025-11-14 22:04:18 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-14 22:05:47 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-14 22:06:27 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-14 22:08:25 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-14 22:09:07 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-14 22:10:15 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-14 22:10:38 | × | Googulator53 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-14 22:10:39 | → | Googulator16 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-14 22:12:41 | <haskellbridge> | <loonycyborg> And compiler can never prove that unsafePerformIO doesn't do something that makes everything else lack any sense |
| 2025-11-14 22:12:52 | <haskellbridge> | <loonycyborg> with great power comes great responsibility |
| 2025-11-14 22:14:47 | → | looking joins (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) |
| 2025-11-14 22:15:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-14 22:16:50 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-11-14 22:17:34 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
All times are in UTC.