Newest at the top
2024-10-18 14:19:06 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b1c9:c57e:b0f1:f862) |
2024-10-18 14:18:38 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3207-4943-78cd-36ef-c506-b3d4.rev.sfr.net) alexherbo2 |
2024-10-18 14:18:18 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3207-4943-78cd-36ef-c506-b3d4.rev.sfr.net) (Remote host closed the connection) |
2024-10-18 14:10:15 +0200 | euleritian | (~euleritia@dynamic-176-000-004-113.176.0.pool.telefonica.de) |
2024-10-18 14:07:28 +0200 | euleritian | (~euleritia@dynamic-176-004-236-188.176.4.pool.telefonica.de) (Ping timeout: 245 seconds) |
2024-10-18 14:00:53 +0200 | ChanServ | +v haskellbridge |
2024-10-18 14:00:53 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
2024-10-18 14:00:31 +0200 | ljdarj1 | ljdarj |
2024-10-18 14:00:31 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2024-10-18 14:00:12 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
2024-10-18 13:57:42 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-18 13:48:14 +0200 | euleritian | (~euleritia@dynamic-176-004-236-188.176.4.pool.telefonica.de) |
2024-10-18 13:45:09 +0200 | euleritian | (~euleritia@ip-185-104-138-55.ptr.icomera.net) (Ping timeout: 276 seconds) |
2024-10-18 13:38:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-18 13:35:40 +0200 | Flow | (~none@gentoo/developer/flow) flow |
2024-10-18 13:33:59 +0200 | rosco | (~rosco@175.136.23.238) rosco |
2024-10-18 13:33:27 +0200 | ljdarj1 | ljdarj |
2024-10-18 13:33:27 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
2024-10-18 13:33:08 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2024-10-18 13:32:27 +0200 | euleritian | (~euleritia@ip-185-104-138-55.ptr.icomera.net) |
2024-10-18 13:32:07 +0200 | euleritian | (~euleritia@dynamic-176-004-236-188.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-18 13:30:58 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-18 13:29:41 +0200 | Digitteknohippie | Digit |
2024-10-18 13:22:45 +0200 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
2024-10-18 13:20:24 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
2024-10-18 13:20:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 13:18:52 +0200 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 272 seconds) |
2024-10-18 13:18:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-18 13:18:10 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2024-10-18 13:17:50 +0200 | <Inst> | i still blame Eric Normand for not understanding what a -> a means when he should know better for having worked at Scrive on a Haskell project |
2024-10-18 13:17:44 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-10-18 13:17:34 +0200 | <Inst> | i should read up on parametricity and how bang patterns actually work, i guess |
2024-10-18 13:16:40 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-18 13:13:49 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) ft |
2024-10-18 13:13:36 +0200 | euleritian | (~euleritia@dynamic-176-004-236-188.176.4.pool.telefonica.de) |
2024-10-18 13:09:56 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
2024-10-18 13:09:54 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2024-10-18 13:05:55 +0200 | leah2 | (~leah@vuxu.org) leah2 |
2024-10-18 13:04:12 +0200 | euleritian | (~euleritia@tmo-125-85.customers.d1-online.com) (Ping timeout: 246 seconds) |
2024-10-18 13:03:08 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3207-4943-78cd-36ef-c506-b3d4.rev.sfr.net) alexherbo2 |
2024-10-18 13:00:25 +0200 | <tomsmeding> | and at that point you also evaluate the argument to id |
2024-10-18 13:00:14 +0200 | <tomsmeding> | "id' = id" is true because sure, id' is strict in its argument, but that strictness only comes into play if you actually use the result of the id' call |
2024-10-18 13:00:06 +0200 | euleritian | (~euleritia@tmo-125-85.customers.d1-online.com) |
2024-10-18 12:59:38 +0200 | <tomsmeding> | id = force is not true, but is true in the world of "total haskell" |
2024-10-18 12:59:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 12:59:20 +0200 | <tomsmeding> | id' = id is actually true |
2024-10-18 12:59:04 +0200 | <Inst> | but in general, we pretend that id' = id, or for that matter, let id'' = force, then again, force has an NFData constraint |
2024-10-18 12:58:47 +0200 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
2024-10-18 12:58:37 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb56e90e8e53bb556001.dip0.t-ipconnect.de) acidjnk |
2024-10-18 12:57:58 +0200 | <Inst> | an unused value |