Newest at the top
| 2026-04-18 09:38:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 09:37:52 +0000 | PickChea | (~PickChea@user/pickchea) Pickchea |
| 2026-04-18 09:35:17 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-18 09:33:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 09:25:51 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2026-04-18 09:22:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-18 09:21:41 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 09:18:53 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-18 09:18:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 09:11:34 +0000 | cawfee | (root@2401:c080:3800:3460::babe) qjqqyy |
| 2026-04-18 09:11:17 +0000 | cawfee | (root@2401:c080:3800:3460::babe) (Quit: WeeChat 4.8.1) |
| 2026-04-18 09:10:27 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-18 09:09:10 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-04-18 09:06:08 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-18 09:00:11 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 265 seconds) |
| 2026-04-18 08:57:54 +0000 | raelie | (~raelie@user/raelie) raelie |
| 2026-04-18 08:57:29 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2026-04-18 08:55:26 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 08:55:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-18 08:55:19 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-18 08:51:08 +0000 | <gentauro> | yushyin: :o |
| 2026-04-18 08:50:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 08:41:12 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2026-04-18 08:39:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-18 08:36:44 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 08:36:11 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-18 08:32:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 08:30:42 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-18 08:30:11 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5141894a807bc2030f5.dip0.t-ipconnect.de) |
| 2026-04-18 08:27:43 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-18 08:27:31 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-18 08:23:52 +0000 | <haskellbridge> | <maerwald> you can create a record "{ mapKey = SomeUnionType, mapValue = "foo" }" but it seems it won't recognize it as an actual Map then |
| 2026-04-18 08:21:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 08:17:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 08:14:35 +0000 | <haskellbridge> | <maerwald> yes it expects Text |
| 2026-04-18 08:14:32 +0000 | <haskellbridge> | <maerwald> https://store.dhall-lang.org/Prelude-v23.1.0/Map/keyValue.dhall.html |
| 2026-04-18 08:13:46 +0000 | <haskellbridge> | <maerwald> so it seems to expect Text |
| 2026-04-18 08:13:40 +0000 | <haskellbridge> | <maerwald> This is what I get when using "keyValue" with a sum type |
| 2026-04-18 08:13:28 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/uAHVWSKXlolUhvmlYrnhpPBa/dt9xjbb6wZM (3 lines) |
| 2026-04-18 08:13:28 +0000 | <haskellbridge> | <maerwald> Error: Wrong type of function argument |
| 2026-04-18 08:12:49 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-04-18 08:11:24 +0000 | <haskellbridge> | <maerwald> hm, maybe I did something wrong then |
| 2026-04-18 08:11:03 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 265 seconds) |
| 2026-04-18 08:04:32 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-04-18 08:01:19 +0000 | <haskellbridge> | <ozkutuk> maerwald: I am confused by this though, the Prelude functions seem to be general over the key type? |
| 2026-04-18 08:00:49 +0000 | <haskellbridge> | <maerwald> I don't need a turing complete language for that |
| 2026-04-18 08:00:32 +0000 | <haskellbridge> | <maerwald> What I'm trying to do is to have a flat description of data that gets turned into a deeply nested map... but you have to handle value updates for collisions |
| 2026-04-18 07:57:29 +0000 | <haskellbridge> | <ozkutuk> maerwald: yeah this gets annoying super fast. There is a function to do function composition ("compose"), but it is pretty much useless because you need to explicitly provide the type of both sides and also the return type... |
| 2026-04-18 07:56:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 07:53:42 +0000 | xff0x | (~xff0x@2405:6580:b080:900:73ce:e440:32fb:1d76) |