Newest at the top
| 2025-12-01 19:51:07 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-01 19:50:31 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-01 19:47:37 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-12-01 19:46:01 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-01 19:43:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-01 19:41:53 +0100 | ski | nods |
| 2025-12-01 19:20:09 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9c00:2cdd:fe3f:e613) |
| 2025-12-01 19:15:46 +0100 | Googulator76 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-12-01 19:15:37 +0100 | RMSBach | (~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) RMSBach |
| 2025-12-01 19:15:34 +0100 | Googulator76 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 19:15:34 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-01 19:14:07 +0100 | <tomsmeding> | I use 'where' essentially only for local function definitions (where it actually makes sense to have the definitions _below_ the code using them), and occasionally if those local definitions and the main function need to share some variable definitions |
| 2025-12-01 19:13:26 +0100 | <tomsmeding> | 'let' just works |
| 2025-12-01 19:13:21 +0100 | <tomsmeding> | sure. It's more that with 'where' I have to think -- sometimes it works, sometimes it doesn't, sometimes I can write the code differently to make it work |
| 2025-12-01 19:12:25 +0100 | <ski> | tomsmeding : yea, just saying it would be possible to use `where', and have the scope restricted to that branch |
| 2025-12-01 19:08:47 +0100 | <tomsmeding> | ski: `let' also works in function applications :p |
| 2025-12-01 19:07:36 +0100 | <tomsmeding> | glguy: if I'm still on there and you need space, feel free to remove me, too busy this year |
| 2025-12-01 19:06:46 +0100 | finsternis | (~X@23.226.237.192) (Remote host closed the connection) |
| 2025-12-01 19:05:43 +0100 | <__monty__> | Wouldn't call that dumb. Can't figure out how you dealt with direction changes, and going left from the start. |
| 2025-12-01 19:05:28 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-12-01 19:03:46 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 256 seconds) |
| 2025-12-01 18:57:51 +0100 | tomboy65 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-12-01 18:57:45 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2025-12-01 18:54:23 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9c00:2cdd:fe3f:e613) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-01 18:44:37 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-01 18:42:11 +0100 | <iqubic> | Yeah, I just did a dumb replicate solution. |
| 2025-12-01 18:41:37 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-12-01 18:32:04 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-01 18:31:37 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-12-01 18:30:33 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-01 18:24:45 +0100 | <glguy> | oh, thanks! |
| 2025-12-01 18:24:06 +0100 | <__monty__> | glguy: Such an elegant part 2. |
| 2025-12-01 18:23:49 +0100 | <__monty__> | Potentially relevant factor is that it's only 12 days this year! |
| 2025-12-01 18:20:54 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9c00:2cdd:fe3f:e613) |
| 2025-12-01 18:19:41 +0100 | <glguy> | 38 people from previous years #haskell leaderboard have started adventofcode - there are 8 slots open at the time of this message. I'll try and clean up stale entries if it happens to fill |
| 2025-12-01 18:18:03 +0100 | https://www.reddit.com/r/haskell | Admin: #haskell-ops | Offtopic: #haskell-offtopic | https://downloads.haskell.org | https://play.haskell.org/ | Paste code/errors: https://paste.tomsmeding.com | Logs: https://ircbrowse.tomsmeding.com/browse/lchaskell | Adventofcode Leaderboard: 43100-84040706 | |
| 2025-12-01 18:16:37 +0100 | <ski> | tomsmeding : `where' also does attach to `case'-`of' branches |
| 2025-12-01 18:15:47 +0100 | Googulator76 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-01 18:15:44 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-12-01 18:15:39 +0100 | Googulator76 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 18:14:42 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-12-01 18:14:15 +0100 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-12-01 18:09:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9c00:2cdd:fe3f:e613) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-01 18:08:11 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-01 18:00:26 +0100 | trickard_ | trickard |
| 2025-12-01 17:56:12 +0100 | Pixi` | Pixi |
| 2025-12-01 17:54:39 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-01 17:51:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-01 17:46:54 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-01 17:36:36 +0100 | spew | (~spew@user/spew) (Remote host closed the connection) |