Newest at the top
| 2024-11-01 03:19:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 03:17:15 +0100 | k_hachig_ | k_hachig |
| 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:08:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-01 03:04:07 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-01 03:03:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 03:03:39 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-11-01 03:01:33 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-01 03:00:55 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-01 03:00:48 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-11-01 03:00:27 +0100 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
| 2024-11-01 03:00:07 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-11-01 03:00:07 +0100 | mantraofpie | (~mantraofp@user/mantraofpie) (Remote host closed the connection) |
| 2024-11-01 02:52:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-01 02:48:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 02:43:19 +0100 | califax | (~califax@user/califx) califx |
| 2024-11-01 02:41:32 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-01 02:39:21 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-11-01 02:37:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-01 02:33:12 +0100 | <EvanR> | sus |
| 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:32:59 +0100 | <EvanR> | % (pure $! undefined :: IO ()) `seq` () |
| 2024-11-01 02:32:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 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:45 +0100 | <EvanR> | % pure $! undefined :: IO () |
| 2024-11-01 02:32:25 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-11-01 02:32:08 +0100 | <lambdabot> | <IO ()> |
| 2024-11-01 02:32:07 +0100 | <EvanR> | > pure $! undefined :: IO () |
| 2024-11-01 02:22:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-01 02:20:43 +0100 | <int-e> | compare (evaluate undefined :: IO ()) `seq` () and (pure $! undefined :: IO ()) `seq` () |
| 2024-11-01 02:20:08 +0100 | <dolio> | Right. :) |
| 2024-11-01 02:20:01 +0100 | <int-e> | (pure $!!) is still not equivalent though. |
| 2024-11-01 02:19:44 +0100 | spew | (~spew@201.141.99.170) (Quit: party time) |
| 2024-11-01 02:18:28 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-01 02:17:14 +0100 | <int-e> | pure . <anything> won't force its argment |
| 2024-11-01 02:16:57 +0100 | <int-e> | but the type is all wrong |
| 2024-11-01 02:16:52 +0100 | <lambdabot> | NFData a => (a -> b) -> a -> b |
| 2024-11-01 02:16:50 +0100 | <EvanR> | :t ($!!) |
| 2024-11-01 02:16:32 +0100 | <EvanR> | $!! wasn't a typo, dang |
| 2024-11-01 02:16:17 +0100 | <dolio> | ($!!) does, but they're still not equivalent. |
| 2024-11-01 02:16:00 +0100 | <EvanR> | force evaluates to normal form, $! doesn't |
| 2024-11-01 02:15:12 +0100 | <lambdabot> | NFData a => a -> a |
| 2024-11-01 02:15:11 +0100 | <EvanR> | :t force |
| 2024-11-01 02:15:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-01 02:15:02 +0100 | son0p | (~ff@190.254.147.212) (Remote host closed the connection) |
| 2024-11-01 02:14:32 +0100 | <dolio> | No. |
| 2024-11-01 02:13:33 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-11-01 02:13:07 +0100 | <haskellbridge> | <zwro> * (pure @IO . ($!!)) equivalent to |
| 2024-11-01 02:07:22 +0100 | <haskellbridge> | <zwro> is (pure@IO . ($!!)) the same as (evaluate . force) ? |
| 2024-11-01 02:04:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |