Newest at the top
| 2024-11-01 11:32:18 +0100 | chele | (~chele@user/chele) chele |
| 2024-11-01 11:27:26 +0100 | <absence> | I see, thanks! |
| 2024-11-01 11:27:12 +0100 | <tomsmeding> | using a let-binding is the only way to set implicit parameters |
| 2024-11-01 11:26:55 +0100 | <absence> | mauke: Less clutter, and clearer intent. |
| 2024-11-01 11:26:19 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-11-01 11:25:46 +0100 | <tomsmeding> | `let ?param = _ in f x y z` |
| 2024-11-01 11:25:38 +0100 | <tomsmeding> | you can create the binding locally |
| 2024-11-01 11:25:37 +0100 | <mauke> | why without creating a binding? |
| 2024-11-01 11:25:15 +0100 | <absence> | Is it possible to pass an implicit parameter explicitly, without creating a binding in the calling scope? |
| 2024-11-01 11:22:45 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) absence |
| 2024-11-01 11:22:06 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-01 11:21:49 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-01 11:19:45 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 276 seconds) |
| 2024-11-01 11:18:30 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-01 11:16:45 +0100 | ubert | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-11-01 11:16:19 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-01 11:16:18 +0100 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 248 seconds) |
| 2024-11-01 11:15:22 +0100 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2024-11-01 11:14:14 +0100 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2024-11-01 11:12:00 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Ping timeout: 272 seconds) |
| 2024-11-01 11:09:52 +0100 | libertyprime | (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) (Ping timeout: 252 seconds) |
| 2024-11-01 11:00:32 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2024-11-01 10:59:52 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-01 10:49:12 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2024-11-01 10:36:15 +0100 | <tomsmeding> | it will work sometimes |
| 2024-11-01 10:36:10 +0100 | <tomsmeding> | if you want to benchmark an IO operation and are doing the timing manually for some reason, please, use `evaluate`. Using `return $! _` or something similar _will not work properly_ |
| 2024-11-01 10:35:43 +0100 | <tomsmeding> | right. In practice, though, not using `evaluate` comes to bite me not in the presence of exceptions but when benchmarking |
| 2024-11-01 10:34:05 +0100 | <c_wraith> | evaluate isn't magic. the documentation explains what does and why. |
| 2024-11-01 10:27:19 +0100 | <tomsmeding> | so use evaluate and be safe |
| 2024-11-01 10:27:16 +0100 | <tomsmeding> | my experience with this stuff is that IO seems to be strict in all your tests, but it fails if you actually want to use that for code correctness |
| 2024-11-01 10:22:16 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-11-01 10:16:06 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-01 10:08:33 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2024-11-01 10:01:27 +0100 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2024-11-01 10:00:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 09:56:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-01 09:54:34 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-11-01 09:51:53 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:901a:fefb:e87f:78b3) (Ping timeout: 265 seconds) |
| 2024-11-01 09:50:12 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-01 09:49:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 09:44:31 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:901a:fefb:e87f:78b3) k_hachig |
| 2024-11-01 09:40:57 +0100 | CiaoSen | (~Jura@2a05:5800:487:0:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-11-01 09:39:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-01 09:34:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 09:33:37 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f30213745c1d38acbc7.dip0.t-ipconnect.de) acidjnk |
| 2024-11-01 09:29:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-01 09:26:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2024-11-01 09:26:52 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-01 09:25:44 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2024-11-01 09:25:30 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |