Newest at the top
| 2025-12-03 15:10:22 +0100 | wbooze | Guest6657 |
| 2025-12-03 15:09:58 +0100 | wbooze | (~inline@cgn-195-14-221-120.nc.de) |
| 2025-12-03 15:08:15 +0100 | akegalj | (~akegalj@141-138-27-206.dsl.iskon.hr) (Ping timeout: 240 seconds) |
| 2025-12-03 15:07:17 +0100 | divlamir_ | divlamir |
| 2025-12-03 15:07:16 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 256 seconds) |
| 2025-12-03 15:07:12 +0100 | <lucabtz> | thank you again |
| 2025-12-03 15:07:09 +0100 | <lucabtz> | i will try |
| 2025-12-03 15:06:03 +0100 | <lucabtz> | great |
| 2025-12-03 15:05:38 +0100 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2025-12-03 15:05:18 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-03 15:05:06 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-12-03 15:04:01 +0100 | <merijn> | NoFieldSelectors is bae |
| 2025-12-03 15:03:40 +0100 | <Leary> | `NoFieldSelectors` might help |
| 2025-12-03 15:02:26 +0100 | <lucabtz> | but when importing the selector it will collide with the other thing named the same |
| 2025-12-03 15:01:44 +0100 | <lucabtz> | having colliding names does work as nicely because i need to import the record selectors for the construction to work |
| 2025-12-03 14:56:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) |
| 2025-12-03 14:54:35 +0100 | trickard_ | trickard |
| 2025-12-03 14:54:03 +0100 | <lucabtz> | actually i cant get it to work in construction |
| 2025-12-03 14:50:10 +0100 | <lucabtz> | i put NamedFieldPuns on the whole cabal project now |
| 2025-12-03 14:49:57 +0100 | <lucabtz> | yeah i realized |
| 2025-12-03 14:49:29 +0100 | <__monty__> | Is there a fold/mapAccum where you can shortcircuit the folding and return the tail unaltered? |
| 2025-12-03 14:48:28 +0100 | <Leary> | You can also use `NamedFieldPuns` in construction if you name your functions correspondingly. |
| 2025-12-03 14:45:46 +0100 | <lucabtz> | though i could initialize them with the brackets i guess |
| 2025-12-03 14:44:51 +0100 | <lucabtz> | now it is only the construction which looks ugly |
| 2025-12-03 14:44:41 +0100 | <lucabtz> | day03 = Day "2025-3" parseInput solve1 solve2 (testInput, testOutput) |
| 2025-12-03 14:43:43 +0100 | <lucabtz> | Leary: https://paste.tomsmeding.com/fuEJWIam looks great! |
| 2025-12-03 14:23:27 +0100 | akegalj | (~akegalj@141-138-27-206.dsl.iskon.hr) |
| 2025-12-03 14:20:09 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-03 14:20:04 +0100 | gawen | (~gawen@user/gawen) gawen |
| 2025-12-03 14:19:03 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 14:18:49 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-03 14:18:08 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-03 14:17:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-03 14:17:45 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-12-03 14:17:06 +0100 | AlexNoo_ | AlexNoo |
| 2025-12-03 14:14:23 +0100 | <lucabtz> | but yeah your idea seems good, at least for documentation purpose |
| 2025-12-03 14:14:10 +0100 | <lucabtz> | sorry i wasnt very clear |
| 2025-12-03 14:13:54 +0100 | <lucabtz> | yeah selectors dont work |
| 2025-12-03 14:12:07 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-03 14:09:59 +0100 | <tomsmeding> | ah |
| 2025-12-03 14:09:51 +0100 | <Leary> | lucabtz: I would still name the fields, then use `NamedFieldPuns` when pattern matching. It's just selectors that won't work. |
| 2025-12-03 14:09:19 +0100 | <tomsmeding> | what doesn't work about records? |
| 2025-12-03 14:07:29 +0100 | akegalj | (~akegalj@78-0-210-92.adsl.net.t-com.hr) (Ping timeout: 260 seconds) |
| 2025-12-03 14:04:48 +0100 | yin | (~zero@user/zero) zero |
| 2025-12-03 14:04:43 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-12-03 14:04:43 +0100 | arandombit | (~arandombi@2603:7000:4600:ffbe:28ad:499f:4e0e:de68) (Changing host) |
| 2025-12-03 14:04:43 +0100 | arandombit | (~arandombi@2603:7000:4600:ffbe:28ad:499f:4e0e:de68) |
| 2025-12-03 14:03:55 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 264 seconds) |
| 2025-12-03 14:03:38 +0100 | <lucabtz> | i dont like it has a lot of parameters with no names, but records dont seem to work with existential types (i can put them but i still need to pattern match it seems) |
| 2025-12-03 14:02:44 +0100 | <lucabtz> | is there a way i can improve the Day type here https://paste.tomsmeding.com/pO7MeUTu |