| 2024-11-01 00:01:19 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2024-11-01 00:01:30 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-01 00:04:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-01 00:05:49 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-11-01 00:05:58 +0100 | smtt | (smt@user/smtt) (Quit: WeeChat 4.4.2) |
| 2024-11-01 00:06:18 +0100 | smtt | (smt@user/smtt) smtt |
| 2024-11-01 00:15:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 00:19:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-01 00:25:19 +0100 | hgolden_ | (~hgolden@static-198-44-129-51.cust.tzulo.com) hgolden |
| 2024-11-01 00:28:27 +0100 | hgolden__ | (~hgolden@23.162.40.28) (Ping timeout: 276 seconds) |
| 2024-11-01 00:28:54 +0100 | xff0x | (~xff0x@2405:6580:b080:900:adf3:98f8:7ac2:6549) (Ping timeout: 260 seconds) |
| 2024-11-01 00:32:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 00:35:58 +0100 | xff0x | (~xff0x@2405:6580:b080:900:394c:a0ff:7b90:1a8c) |
| 2024-11-01 00:38:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-01 00:46:06 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-11-01 00:48:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 00:49:12 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-11-01 00:49:59 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-01 00:52:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-01 00:54:42 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-11-01 01:03:56 +0100 | son0p | (~ff@190.254.147.212) son0p |
| 2024-11-01 01:13:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 01:14:40 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-01 01:14:46 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f63e05ee1ad1cad2e54.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-11-01 01:19:04 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-11-01 01:21:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-01 01:25:21 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-01 01:27:08 +0100 | son0p | (~ff@190.254.147.212) (Remote host closed the connection) |
| 2024-11-01 01:27:36 +0100 | xff0x | (~xff0x@2405:6580:b080:900:394c:a0ff:7b90:1a8c) (Ping timeout: 276 seconds) |
| 2024-11-01 01:29:07 +0100 | Nixkernal | (~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-11-01 01:29:44 +0100 | son0p | (~ff@190.254.147.212) son0p |
| 2024-11-01 01:32:09 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f63a42f1e536c595cb6.dip0.t-ipconnect.de) |
| 2024-11-01 01:32:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 01:36:03 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 276 seconds) |
| 2024-11-01 01:36:09 +0100 | Square | (~Square@user/square) Square |
| 2024-11-01 01:36:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-01 01:47:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 01:47:51 +0100 | sprotte24_ | (~sprotte24@p200300d16f105500d15704183d531f13.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-01 01:54:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-01 01:55:33 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f63a42f1e536c595cb6.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2024-11-01 01:55:51 +0100 | euleritian | (~euleritia@176.2.142.161) (Remote host closed the connection) |
| 2024-11-01 01:56:09 +0100 | euleritian | (~euleritia@176.2.142.161) |
| 2024-11-01 01:59:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 02:04:15 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2024-11-01 02:04:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-01 02:07:22 +0100 | <haskellbridge> | <zwro> is (pure@IO . ($!!)) the same as (evaluate . force) ? |
| 2024-11-01 02:13:07 +0100 | <haskellbridge> | <zwro> * (pure @IO . ($!!)) equivalent to |
| 2024-11-01 02:13:33 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-11-01 02:14:32 +0100 | <dolio> | No. |
| 2024-11-01 02:15:02 +0100 | son0p | (~ff@190.254.147.212) (Remote host closed the connection) |
| 2024-11-01 02:15:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 02:15:11 +0100 | <EvanR> | :t force |
| 2024-11-01 02:15:12 +0100 | <lambdabot> | NFData a => a -> a |
| 2024-11-01 02:16:00 +0100 | <EvanR> | force evaluates to normal form, $! doesn't |
| 2024-11-01 02:16:17 +0100 | <dolio> | ($!!) does, but they're still not equivalent. |
| 2024-11-01 02:16:32 +0100 | <EvanR> | $!! wasn't a typo, dang |
| 2024-11-01 02:16:50 +0100 | <EvanR> | :t ($!!) |
| 2024-11-01 02:16:52 +0100 | <lambdabot> | NFData a => (a -> b) -> a -> b |
| 2024-11-01 02:16:57 +0100 | <int-e> | but the type is all wrong |
| 2024-11-01 02:17:14 +0100 | <int-e> | pure . <anything> won't force its argment |
| 2024-11-01 02:18:28 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-01 02:19:44 +0100 | spew | (~spew@201.141.99.170) (Quit: party time) |
| 2024-11-01 02:20:01 +0100 | <int-e> | (pure $!!) is still not equivalent though. |
| 2024-11-01 02:20:08 +0100 | <dolio> | Right. :) |
| 2024-11-01 02:20:43 +0100 | <int-e> | compare (evaluate undefined :: IO ()) `seq` () and (pure $! undefined :: IO ()) `seq` () |
| 2024-11-01 02:22:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-01 02:32:07 +0100 | <EvanR> | > pure $! undefined :: IO () |
| 2024-11-01 02:32:08 +0100 | <lambdabot> | <IO ()> |
| 2024-11-01 02:32:25 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-11-01 02:32:45 +0100 | <EvanR> | % pure $! undefined :: IO () |
| 2024-11-01 02:32:45 +0100 | <yahb2> | *** Exception: Prelude.undefined ; CallStack (from HasCallStack): ; undefined, called at <interactive>:27:9 in interactive:Ghci5 |
| 2024-11-01 02:32:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 02:32:59 +0100 | <EvanR> | % (pure $! undefined :: IO ()) `seq` () |
| 2024-11-01 02:32:59 +0100 | <yahb2> | *** Exception: Prelude.undefined ; CallStack (from HasCallStack): ; undefined, called at <interactive>:29:10 in interactive:Ghci5 |
| 2024-11-01 02:33:12 +0100 | <EvanR> | sus |
| 2024-11-01 02:37:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-01 02:39:21 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-11-01 02:41:32 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-01 02:43:19 +0100 | califax | (~califax@user/califx) califx |
| 2024-11-01 02:48:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 02:52:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-01 03:00:07 +0100 | mantraofpie | (~mantraofp@user/mantraofpie) (Remote host closed the connection) |
| 2024-11-01 03:00:07 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-11-01 03:00:27 +0100 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
| 2024-11-01 03:00:48 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-11-01 03:00:55 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-01 03:01:33 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-01 03:03:39 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-11-01 03:03:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 03:04:07 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-01 03:08:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-01 03:16:55 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:5054:ee1b:c12f:dd7d) k_hachig |
| 2024-11-01 03:17:15 +0100 | k_hachig_ | k_hachig |
| 2024-11-01 03:19:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 03:22:00 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Ping timeout: 252 seconds) |
| 2024-11-01 03:23:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-01 03:24:58 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-01 03:34:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 03:36:43 +0100 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-11-01 03:36:58 +0100 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2024-11-01 03:40:47 +0100 | lol_ | (~lol@2603:3016:1e01:b9c0:c43d:6fb:2607:cd8b) |
| 2024-11-01 03:41:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-01 03:44:43 +0100 | jcolanternpenter | (~lol@2603:3016:1e01:b9c0:d0c3:d4d0:7258:5a99) (Ping timeout: 252 seconds) |
| 2024-11-01 03:52:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 03:57:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-01 04:07:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 04:12:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-01 04:18:42 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-11-01 04:22:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 04:24:16 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-11-01 04:27:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-01 04:32:15 +0100 | Axma54801 | (~Axman6@user/axman6) Axman6 |
| 2024-11-01 04:33:00 +0100 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 248 seconds) |
| 2024-11-01 04:36:27 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-01 04:37:14 +0100 | habib | (~habib@185.195.232.169) (Ping timeout: 260 seconds) |
| 2024-11-01 04:38:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 04:38:53 +0100 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2024-11-01 04:40:49 +0100 | Axma74595 | (~Axman6@user/axman6) Axman6 |
| 2024-11-01 04:40:51 +0100 | Axma54801 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2024-11-01 04:41:05 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-11-01 04:43:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-01 04:43:27 +0100 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2024-11-01 04:53:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 04:56:18 +0100 | alphabitserial | (~alphabits@user/alphabitserial) alphabitserial |
| 2024-11-01 04:58:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-01 04:58:21 +0100 | td_ | (~td@i53870906.versanet.de) (Ping timeout: 252 seconds) |
| 2024-11-01 05:00:02 +0100 | td_ | (~td@i5387091D.versanet.de) |
| 2024-11-01 05:06:14 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-11-01 05:06:39 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-01 05:08:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 05:13:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-01 05:22:50 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-01 05:24:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 05:29:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-01 05:40:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 05:41:58 +0100 | alphabitserial | (~alphabits@user/alphabitserial) (Quit: goodnight!) |
| 2024-11-01 05:45:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-01 05:54:08 +0100 | libertyprime | (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) libertyprime |
| 2024-11-01 05:55:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 05:55:51 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-01 06:00:24 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-11-01 06:00:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-01 06:18:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 06:23:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-01 06:24:42 +0100 | alp | (~alp@2001:861:e3d6:8f80:b811:e433:6175:d950) (Ping timeout: 252 seconds) |
| 2024-11-01 06:26:05 +0100 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-11-01 06:28:57 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-01 06:29:22 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 2024-11-01 06:33:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 06:33:41 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 248 seconds) |
| 2024-11-01 06:34:45 +0100 | rvalue- | rvalue |
| 2024-11-01 06:35:35 +0100 | Axma74595 | Axman6 |
| 2024-11-01 06:36:45 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2024-11-01 06:38:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-01 06:41:53 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2024-11-01 06:44:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-01 06:48:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 06:50:00 +0100 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:5054:ee1b:c12f:dd7d) (Ping timeout: 276 seconds) |
| 2024-11-01 06:53:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-01 06:56:44 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-11-01 07:01:45 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:68da:2df0:a70f:fa91) k_hachig |
| 2024-11-01 07:05:40 +0100 | benkard | (~mulk@pd95146e9.dip0.t-ipconnect.de) mulk |
| 2024-11-01 07:06:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 07:07:33 +0100 | mulk | (~mulk@pd95146e9.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2024-11-01 07:07:34 +0100 | benkard | mulk |
| 2024-11-01 07:07:35 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2024-11-01 07:07:45 +0100 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 246 seconds) |
| 2024-11-01 07:08:19 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:68da:2df0:a70f:fa91) (Ping timeout: 260 seconds) |
| 2024-11-01 07:11:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-01 07:16:00 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-11-01 07:21:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 07:32:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-01 07:35:09 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-11-01 07:37:06 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-11-01 07:41:53 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) |
| 2024-11-01 07:43:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 07:47:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-01 07:58:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 08:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-01 08:00:42 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-01 08:04:09 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-01 08:04:29 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-11-01 08:05:47 +0100 | JamesMowery43 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Ping timeout (120 seconds)) |
| 2024-11-01 08:08:56 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-11-01 08:09:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-01 08:16:21 +0100 | mulk | (~mulk@pd95146e9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-11-01 08:20:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 08:21:47 +0100 | alp | (~alp@2001:861:e3d6:8f80:ad12:d0e9:d071:fba7) |
| 2024-11-01 08:22:52 +0100 | mulk | (~mulk@pd95146e9.dip0.t-ipconnect.de) mulk |
| 2024-11-01 08:25:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-01 08:28:30 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-11-01 08:32:19 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 2024-11-01 08:35:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 08:40:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-01 08:40:28 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-01 08:44:57 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-11-01 08:44:59 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-01 08:46:09 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2024-11-01 08:47:53 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-11-01 08:49:05 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-01 08:51:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 08:56:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-01 08:56:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-01 09:03:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 09:08:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-01 09:09:33 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-01 09:15:02 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-01 09:18:14 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-11-01 09:18:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 09:20:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-01 09:23:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-01 09:25:30 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-11-01 09:25:44 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2024-11-01 09:26:52 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-01 09:26:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2024-11-01 09:29:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-01 09:33:37 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f30213745c1d38acbc7.dip0.t-ipconnect.de) acidjnk |
| 2024-11-01 09:34:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 09:39:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-01 09:40:57 +0100 | CiaoSen | (~Jura@2a05:5800:487:0:ca4b:d6ff:fec1:99da) CiaoSen |
| 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:49:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 09:50:12 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 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:54:34 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-11-01 09:56:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-01 10:00:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 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:08:33 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2024-11-01 10:16:06 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-01 10:22:16 +0100 | Square2 | (~Square4@user/square) Square |
| 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:27:19 +0100 | <tomsmeding> | so use evaluate and be safe |
| 2024-11-01 10:34:05 +0100 | <c_wraith> | evaluate isn't magic. the documentation explains what does and why. |
| 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: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:36:15 +0100 | <tomsmeding> | it will work sometimes |
| 2024-11-01 10:49:12 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2024-11-01 10:59:52 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-01 11:00:32 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 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:12:00 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Ping timeout: 272 seconds) |
| 2024-11-01 11:14:14 +0100 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2024-11-01 11:15:22 +0100 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2024-11-01 11:16:18 +0100 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 248 seconds) |
| 2024-11-01 11:16:19 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 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:18:30 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-01 11:19:45 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 276 seconds) |
| 2024-11-01 11:21:49 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-01 11:22:06 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-01 11:22:45 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) absence |
| 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:25:37 +0100 | <mauke> | why without creating a binding? |
| 2024-11-01 11:25:38 +0100 | <tomsmeding> | you can create the binding locally |
| 2024-11-01 11:25:46 +0100 | <tomsmeding> | `let ?param = _ in f x y z` |
| 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:26:55 +0100 | <absence> | mauke: Less clutter, and clearer intent. |
| 2024-11-01 11:27:12 +0100 | <tomsmeding> | using a let-binding is the only way to set implicit parameters |
| 2024-11-01 11:27:26 +0100 | <absence> | I see, thanks! |
| 2024-11-01 11:32:18 +0100 | chele | (~chele@user/chele) chele |
| 2024-11-01 11:32:58 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |