Newest at the top
| 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) |
| 2025-12-01 17:35:59 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-12-01 17:35:39 +0100 | <lucabtz> | gtg thank you! |
| 2025-12-01 17:35:14 +0100 | <tomsmeding> | nope, that's not for me :p |
| 2025-12-01 17:34:49 +0100 | <fgarcia> | oh i should probably link the creator's site http://eastfarthing.com/luculent/ |
| 2025-12-01 17:33:07 +0100 | <tomsmeding> | (just found it by searching for "luculent font" :p) |
| 2025-12-01 17:32:42 +0100 | <fgarcia> | that is a cool site. finally a specimen i can look at! |
| 2025-12-01 17:31:54 +0100 | <fgarcia> | tomsmeding: ooo thank you! |
| 2025-12-01 17:31:05 +0100 | <tomsmeding> | that bold here looks very ugly, but the regular is decent https://online-fonts.com/fonts/luculent |
| 2025-12-01 17:30:32 +0100 | <tomsmeding> | fgarcia: font exchange time: mononoki |
| 2025-12-01 17:30:30 +0100 | <lucabtz> | i must be hallucinating |
| 2025-12-01 17:30:24 +0100 | <lucabtz> | didnt work earlier, im sure i typed [a] -> a -> Maybe a |