Newest at the top
| 2024-12-27 16:39:17 +0100 | alfiee | (alfiee@user/alfiee) (Quit: WeeChat 4.5.0) |
| 2024-12-27 16:35:25 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-12-27 16:30:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 16:26:47 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) sprout |
| 2024-12-27 16:26:38 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2024-12-27 16:26:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 16:25:08 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-12-27 16:19:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 16:19:08 +0100 | hueso | (~root@user/hueso) hueso |
| 2024-12-27 16:15:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 16:08:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-27 16:07:30 +0100 | <hellwolf> | (I made an obvious mistake when dealing with the State monad) |
| 2024-12-27 16:07:10 +0100 | jathan | (~jathan@69.61.93.38) jathan |
| 2024-12-27 16:07:05 +0100 | <hellwolf> | But I wonder if anyone make similar assumption on IO's side effect behavior when using mapM/sequence would face a similar awakening moment when the implementation of IO requiring foldM interpretation instead. |
| 2024-12-27 16:07:05 +0100 | <hellwolf> | I think I get it. |
| 2024-12-27 16:03:08 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-27 16:02:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 15:57:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 15:54:13 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2024-12-27 15:51:28 +0100 | <hellwolf> | that makes sense. but what was wrong with other code, I still want to understand. |
| 2024-12-27 15:50:07 +0100 | <ncf> | replicateM (abi_type_count_vars @a) cg_next_var |
| 2024-12-27 15:47:38 +0100 | <hellwolf> | mapM ,or, sequence $ map, not |
| 2024-12-27 15:47:27 +0100 | <hellwolf> | (commented-out stupid code worked) |
| 2024-12-27 15:47:06 +0100 | <hellwolf> | I can't seem to make it work |
| 2024-12-27 15:46:57 +0100 | <hellwolf> | -- go n vars = cg_next_var >>= \var -> go (n - 1) (var:vars) |
| 2024-12-27 15:46:57 +0100 | <hellwolf> | -- where go 0 vars = pure vars |
| 2024-12-27 15:46:57 +0100 | <hellwolf> | -- cg_create_vars = reverse <$> go (abi_type_count_vars @a) [] |
| 2024-12-27 15:46:57 +0100 | <hellwolf> | cg_create_vars = sequence $ fmap (const cg_next_var) [0 .. abi_type_count_vars @a] |
| 2024-12-27 15:46:27 +0100 | <hellwolf> | I am feeling incredibly dumb atm |
| 2024-12-27 15:45:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-27 15:41:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 15:37:56 +0100 | <ncf> | traverse pure = pure |
| 2024-12-27 15:37:53 +0100 | <ncf> | traverse (f . g) = traverse f . fmap g |
| 2024-12-27 15:37:30 +0100 | <hellwolf> | sorry, I get it. But I won't be able to explain this to beginners. |
| 2024-12-27 15:37:08 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-27 15:37:04 +0100 | <lambdabot> | Identity [Just 1,Just 2,Just 3,Just 4] |
| 2024-12-27 15:37:02 +0100 | <hellwolf> | > traverse (pure . Just) [1..4] :: Identity [Maybe Int] |
| 2024-12-27 15:36:36 +0100 | <lambdabot> | <IO [Maybe Int]> |
| 2024-12-27 15:36:29 +0100 | <hellwolf> | > traverse (pure . Just) [1..4] :: IO [Maybe Int] |
| 2024-12-27 15:32:42 +0100 | <lambdabot> | Just [1,2,3,4] |
| 2024-12-27 15:32:41 +0100 | <hellwolf> | > traverse Just [1..4] |
| 2024-12-27 15:32:27 +0100 | <lambdabot> | prevents the constraint ‘(Show |
| 2024-12-27 15:32:27 +0100 | <lambdabot> | • Ambiguous type variable ‘f0’ arising from a use of ‘show_M826968458127... |
| 2024-12-27 15:32:27 +0100 | <lambdabot> | error: |
| 2024-12-27 15:32:25 +0100 | <hellwolf> | > traverse (pure . Just) [1..4] |
| 2024-12-27 15:29:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 15:28:14 +0100 | hueso | (~root@user/hueso) (Ping timeout: 260 seconds) |
| 2024-12-27 15:25:20 +0100 | visilii | (~visilii@213.24.125.237) |
| 2024-12-27 15:25:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 15:24:29 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) (Remote host closed the connection) |