Newest at the top
| 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) |
| 2025-03-12 10:08:29 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-12 10:06:54 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-03-12 10:03:47 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-03-12 10:00:27 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-03-12 10:00:06 +0100 | stilgart | (~Christoph@chezlefab.net) stilgart |
| 2025-03-12 09:57:49 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-12 09:48:53 +0100 | tusko | (uid478376@user/tusko) (Quit: Connection closed for inactivity) |
| 2025-03-12 09:41:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-12 09:40:16 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-03-12 09:37:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-12 09:31:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-12 09:31:05 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-03-12 09:28:32 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-03-12 09:24:40 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f52ecd38ce1a7966a67.dip0.t-ipconnect.de) acidjnk |
| 2025-03-12 09:22:35 +0100 | ft | (~ft@p508db291.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-03-12 09:18:58 +0100 | <kaol> | Not unless I flip it. |