Newest at the top
| 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?!) |
| 2024-12-27 17:06:29 +0100 | hueso | (~root@user/hueso) hueso |
| 2024-12-27 17:04:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 17:01:31 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-27 17:00:46 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-27 17:00:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 16:55:08 +0100 | l_k | (~student@85.172.110.180) (Ping timeout: 265 seconds) |
| 2024-12-27 16:53:20 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-12-27 16:50:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-27 16:48:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 16:46:52 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 16:42:01 +0100 | alfiee | (alfiee@user/alfiee) alfiee |
| 2024-12-27 16:41:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 16:41:07 +0100 | sayurc | (~sayurc@169.150.203.34) sayurc |
| 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) |