Newest at the top
| 2025-03-12 12:11:17 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-03-12 12:10:51 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-03-12 12:07:02 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:b341:438:8f09:aa92) ubert |
| 2025-03-12 12:03:17 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-03-12 12:00:27 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-03-12 11:55:39 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-12 11:54:02 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 272 seconds) |
| 2025-03-12 11:51:32 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7a6d:e986:6f30:4a1b) |
| 2025-03-12 11:49:09 +0100 | fp | (~Thunderbi@wireless-86-50-140-47.open.aalto.fi) fp |
| 2025-03-12 11:48:34 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-03-12 11:47:49 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-03-12 11:35:33 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.1) |
| 2025-03-12 11:34:54 +0100 | pata | (~pata@185.57.29.142) (Ping timeout: 240 seconds) |
| 2025-03-12 11:32:57 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-03-12 11:14:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-12 11:09:35 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-12 11:07:10 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-12 11:01:45 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-03-12 10:59:02 +0100 | <dminuoso> | Right in the middle I was exploring all the type level tricks, dependent typing, effects, had it all. :-) |
| 2025-03-12 10:58:19 +0100 | <dminuoso> | Heh. |
| 2025-03-12 10:57:59 +0100 | <__monty__> | dminuoso: -x^2 or x^2? : > |
| 2025-03-12 10:57:19 +0100 | Clint | (~Clint@user/clint) Clint |
| 2025-03-12 10:56:51 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2025-03-12 10:55:48 +0100 | Clint | (~Clint@user/clint) (Ping timeout: 245 seconds) |
| 2025-03-12 10:54:48 +0100 | preflex_ | preflex |
| 2025-03-12 10:54:33 +0100 | preflex | (~preflex@user/mauke/bot/preflex) (Ping timeout: 252 seconds) |
| 2025-03-12 10:53:43 +0100 | Guest71 | (~Guest3056@fixed-187-189-0-231.totalplay.net) |
| 2025-03-12 10:53:05 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-12 10:52:58 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-03-12 10:51:33 +0100 | <kaol> | traverse @Maybe |
| 2025-03-12 10:51:28 +0100 | <dminuoso> | Over all my Haskell time, my code complexity/tricky has followed a parabola. |
| 2025-03-12 10:51:16 +0100 | Guest30566 | (~Guest3056@fixed-187-189-0-231.totalplay.net) |
| 2025-03-12 10:51:01 +0100 | pata | (~pata@185.57.29.142) |
| 2025-03-12 10:51:00 +0100 | preflex_ | (~preflex@user/mauke/bot/preflex) preflex |
| 2025-03-12 10:50:24 +0100 | <dminuoso> | Especially for using Traversable/Foldable instances that are not immediately clear |
| 2025-03-12 10:50:02 +0100 | <yahb2> | <no output> |
| 2025-03-12 10:50:02 +0100 | <dminuoso> | % withJust :: Maybe a -> (a -> IO b) -> IO (); withJust = for_ |
| 2025-03-12 10:49:59 +0100 | <yahb2> | <interactive>:343:57: error: [GHC-88464] ; Variable not in scope: for_b :: Maybe a -> (a -> IO b) -> IO () ; Suggested fix: Perhaps use ‘for_’ (imported from Data.Foldable) |
| 2025-03-12 10:49:59 +0100 | <dminuoso> | % withJust :: Maybe a -> (a -> IO b) -> IO (); withJust = for_b |
| 2025-03-12 10:49:55 +0100 | <dminuoso> | Also, you can just locally rename/constraint its type |
| 2025-03-12 10:49:15 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-03-12 10:48:00 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-03-12 10:44:19 +0100 | <mauke> | rule of thumb: it's always traverse |
| 2025-03-12 10:40:38 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-03-12 10:40:16 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-03-12 10:36:32 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-12 10:34:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-03-12 10:27:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-03-12 10:23:10 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-12 10:13:51 +0100 | izzyfalco | (~jake_pers@user/izzyfalco) (Ping timeout: 252 seconds) |