Newest at the top
| 2024-12-27 18:00:09 +0100 | <lambdabot> | Expected type: State s (t a) |
| 2024-12-27 18:00:09 +0100 | <lambdabot> | • Couldn't match type ‘[]’ with ‘StateT s Identity’ |
| 2024-12-27 18:00:09 +0100 | <lambdabot> | error: |
| 2024-12-27 18:00:07 +0100 | <kuribas> | > runState $ sequence (traverse (\x -> state $ \y -> (x + y, x + y)) [1, 2, 3]) |
| 2024-12-27 17:59:53 +0100 | <lambdabot> | (Traversable t, MonadState a t, Num a) => [t a] |
| 2024-12-27 17:59:43 +0100 | <kuribas> | :t sequence (traverse (\x -> state $ \y -> (x + y, x + y)) [1, 2, 3]) |
| 2024-12-27 17:59:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 17:58:14 +0100 | <kuribas> | What's *wrong* about sequence . traverse ? |
| 2024-12-27 17:58:02 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-12-27 17:57:25 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-12-27 17:55:06 +0100 | litharge | -bo *!*@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net litharge |
| 2024-12-27 17:55:05 +0100 | ChanServ | +o litharge |
| 2024-12-27 17:51:01 +0100 | sayurc | (~sayurc@169.150.203.34) (Ping timeout: 252 seconds) |
| 2024-12-27 17:48:00 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/qbFUoFrAFuCPVSQFnYhWTBqZ/WEGsG3OErzA (3 lines) |
| 2024-12-27 17:48:00 +0100 | <haskellbridge> | <hellwolf> sequence . mapM state monads is wrong. |
| 2024-12-27 17:47:38 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-12-27 17:47:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 17:46:43 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-27 17:46:24 +0100 | sawilagar_ | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-12-27 17:42:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 17:40:23 +0100 | <kuribas> | haskellbridge: what was the mistake? |
| 2024-12-27 17:40:04 +0100 | <kuribas> | (-> r a) |
| 2024-12-27 17:39:50 +0100 | <kuribas> | For example, the newtype-less reader Monad should not exist IMO. |
| 2024-12-27 17:39:33 +0100 | <geekosaur> | Agda or Idris2 would get you closer, but still not there |
| 2024-12-27 17:39:18 +0100 | <kuribas> | I find "unintended behaviour" is often a result of too much Polymorphism. |
| 2024-12-27 17:38:36 +0100 | <haskellbridge> | <hellwolf> I agree. It only makes me think how it is possible to make such a mistake unrepresentable, without bringing all the bazookas in. |
| 2024-12-27 17:36:59 +0100 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2024-12-27 17:36:42 +0100 | <kuribas> | I don't have this experience with Python, even if I write the code and use types etc... |
| 2024-12-27 17:36:00 +0100 | <kuribas> | Still, haskell is my favourite for expressing intent. |
| 2024-12-27 17:35:19 +0100 | <geekosaur> | despite the meme, Haskell has never really been "if it compiles, it works", and I think that state of affairs is impossible. No programming language can ensure that a program acts according to an unstated intent |
| 2024-12-27 17:35:16 +0100 | <kuribas> | Why silly? |
| 2024-12-27 17:34:28 +0100 | <haskellbridge> | <hellwolf> the gist is currently you can do silly things with State monad with mapM, sequence, etc. |
| 2024-12-27 17:34:20 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 2024-12-27 17:34:16 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2024-12-27 17:31:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-27 17:27:33 +0100 | <haskellbridge> | <hellwolf> not very haskellisk experience |
| 2024-12-27 17:27:28 +0100 | haver | (~Enviosity@2.219.56.221) |
| 2024-12-27 17:27:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 17:26:51 +0100 | <haskellbridge> | <hellwolf> no errors. compiled, but with unintended behaviour |
| 2024-12-27 17:25:39 +0100 | <kuribas> | hellwolf: what's the error? |
| 2024-12-27 17:20:13 +0100 | l_k | (~student@213.24.127.88) |
| 2024-12-27 17:19:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-27 17:19:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-27 17:15:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 17:15:08 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-12-27 17:12:10 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 17:10:39 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-27 17:10:04 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 17:09:15 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 17:08:24 +0100 | haver | (~Enviosity@2.219.56.221) (Quit: Connection error?!) |