Logs: liberachat/#haskell
| 2025-12-01 16:29:52 | <tomsmeding> | works for me (tm) |
| 2025-12-01 16:29:55 | <lucabtz> | yeah |
| 2025-12-01 16:29:56 | <fgarcia> | you didn't ask but i recommend the font 'Luculent'. it is lovely. i think people who write haskell will appreciate it |
| 2025-12-01 16:29:58 | <lucabtz> | also for me now |
| 2025-12-01 16:30:24 | <lucabtz> | didnt work earlier, im sure i typed [a] -> a -> Maybe a |
| 2025-12-01 16:30:30 | <lucabtz> | i must be hallucinating |
| 2025-12-01 16:30:32 | <tomsmeding> | fgarcia: font exchange time: mononoki |
| 2025-12-01 16:31:05 | <tomsmeding> | that bold here looks very ugly, but the regular is decent https://online-fonts.com/fonts/luculent |
| 2025-12-01 16:31:54 | <fgarcia> | tomsmeding: ooo thank you! |
| 2025-12-01 16:32:42 | <fgarcia> | that is a cool site. finally a specimen i can look at! |
| 2025-12-01 16:33:07 | <tomsmeding> | (just found it by searching for "luculent font" :p) |
| 2025-12-01 16:34:49 | <fgarcia> | oh i should probably link the creator's site http://eastfarthing.com/luculent/ |
| 2025-12-01 16:35:14 | <tomsmeding> | nope, that's not for me :p |
| 2025-12-01 16:35:39 | <lucabtz> | gtg thank you! |
| 2025-12-01 16:35:59 | × | lucabtz quits (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-12-01 16:36:36 | × | spew quits (~spew@user/spew) (Remote host closed the connection) |
| 2025-12-01 16:46:54 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-01 16:51:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-01 16:54:39 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-01 16:56:12 | Pixi` | is now known as Pixi |
| 2025-12-01 17:00:26 | trickard_ | is now known as trickard |
| 2025-12-01 17:08:11 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-12-01 17:09:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:9c00:2cdd:fe3f:e613) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-01 17:14:15 | × | Square quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-12-01 17:14:42 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-12-01 17:15:39 | × | Googulator76 quits (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 17:15:44 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-12-01 17:15:47 | → | Googulator76 joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-01 17:16:37 | <ski> | tomsmeding : `where' also does attach to `case'-`of' branches |
| 2025-12-01 17:18:03 | ChanServ | sets topic to "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 17:19:41 | <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 17:20:54 | → | tromp joins (~textual@2001:1c00:3487:1b00:9c00:2cdd:fe3f:e613) |
| 2025-12-01 17:23:49 | <__monty__> | Potentially relevant factor is that it's only 12 days this year! |
| 2025-12-01 17:24:06 | <__monty__> | glguy: Such an elegant part 2. |
| 2025-12-01 17:24:45 | <glguy> | oh, thanks! |
| 2025-12-01 17:30:33 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-12-01 17:31:37 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-12-01 17:32:04 | → | Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 2025-12-01 17:41:37 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-12-01 17:42:11 | <iqubic> | Yeah, I just did a dumb replicate solution. |
| 2025-12-01 17:44:37 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-01 17:54:23 | × | tromp quits (~textual@2001:1c00:3487:1b00:9c00:2cdd:fe3f:e613) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-01 17:57:45 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2025-12-01 17:57:51 | → | tomboy65 joins (~tomboy64@user/tomboy64) |
| 2025-12-01 18:03:46 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 256 seconds) |
| 2025-12-01 18:05:28 | → | sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-12-01 18:05:43 | <__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 18:06:46 | × | finsternis quits (~X@23.226.237.192) (Remote host closed the connection) |
| 2025-12-01 18:07:36 | <tomsmeding> | glguy: if I'm still on there and you need space, feel free to remove me, too busy this year |
| 2025-12-01 18:08:47 | <tomsmeding> | ski: `let' also works in function applications :p |
| 2025-12-01 18:12:25 | <ski> | tomsmeding : yea, just saying it would be possible to use `where', and have the scope restricted to that branch |
| 2025-12-01 18:13:21 | <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 18:13:26 | <tomsmeding> | 'let' just works |
| 2025-12-01 18:14:07 | <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 18:15:34 | → | spew joins (~spew@user/spew) |
| 2025-12-01 18:15:34 | × | Googulator76 quits (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 18:15:37 | → | RMSBach joins (~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) |
| 2025-12-01 18:15:46 | → | Googulator76 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-12-01 18:20:09 | → | tromp joins (~textual@2001:1c00:3487:1b00:9c00:2cdd:fe3f:e613) |
| 2025-12-01 18:41:53 | ski | nods |
| 2025-12-01 18:43:29 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-01 18:46:01 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-01 18:47:37 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-12-01 18:50:31 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-01 18:51:07 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-12-01 18:54:55 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-12-01 18:54:55 | ljdarj1 | is now known as ljdarj |
| 2025-12-01 18:58:48 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-01 19:05:51 | × | larsivi quits (~larsivi@2a01:563:99:a400:1cc0:4d50:b9e7:edd1) (Quit: WeeChat 4.7.2) |
| 2025-12-01 19:06:58 | × | Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 255 seconds) |
| 2025-12-01 19:07:15 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-12-01 19:15:42 | → | Googulator60 joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-01 19:17:11 | × | skum quits (~skum@user/skum) (Quit: WeeChat 4.7.2) |
| 2025-12-01 19:17:37 | × | Googulator76 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 19:20:07 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-12-01 19:29:35 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2025-12-01 19:30:08 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-01 19:33:45 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 2025-12-01 19:36:35 | → | Digitteknohippie joins (~user@user/digit) |
| 2025-12-01 19:36:55 | × | Digit quits (~user@user/digit) (Ping timeout: 264 seconds) |
| 2025-12-01 19:47:13 | → | pavonia joins (~user@user/siracusa) |
| 2025-12-01 19:49:30 | <haskellbridge> | <sm> I find that bothersome too, I wish where worked everywhere |
| 2025-12-01 19:50:16 | <haskellbridge> | <sm> when using it, the code feels/appears more modular than when using let |
| 2025-12-01 19:56:11 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-12-01 19:56:33 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-01 19:56:57 | <[exa]> | I had "substitution brackets" abused for doing `where` in one testing language to kinda streamline the parsing, was cool. You could write [ x := this that ] anywhere. |
| 2025-12-01 19:57:11 | <[exa]> | (Then I killed the project and continued elsewhere) |
| 2025-12-01 19:57:53 | <[exa]> | anyway |
| 2025-12-01 19:58:15 | <EvanR> | whereanywhere |
| 2025-12-01 19:58:41 | <monochrom> | I like substitution brackets. But only the [var:=expr] kind, not the [x/y] or [y/x] kind. |
| 2025-12-01 19:58:58 | <[exa]> | is there anyone who's using vim heavily and would volunteer/have time for maintaining the haskell syntax in there? ref https://github.com/vim/vim/pull/18776#issuecomment-3564110323 |
| 2025-12-01 19:59:47 | <[exa]> | monochrom: the slashes are confusing me, if there's just 2 variables I never know which of them gets replaced |
| 2025-12-01 19:59:54 | <monochrom> | Hey thanks for the idea! I have been looking for interesting syntax for parser homework. :) |
| 2025-12-01 19:59:55 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-12-01 20:00:11 | <monochrom> | Yeah my reason too. |
| 2025-12-01 20:00:12 | × | ljdarj1 quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-12-01 20:00:21 | <[exa]> | lol makes me wonder why this didn't get to my homeworks |
| 2025-12-01 20:00:23 | <[exa]> | good point |
| 2025-12-01 20:00:25 | <[exa]> | :D |
| 2025-12-01 20:02:36 | <EvanR> | [x/y] makes no sense to me |
All times are in UTC.