| 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) |