Logs: liberachat/#haskell
| 2025-12-10 11:47:51 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-10 11:47:51 | ljdarj1 | is now known as ljdarj |
| 2025-12-10 12:03:34 | → | comerijn joins (~merijn@77.242.116.146) |
| 2025-12-10 12:05:08 | × | ephemient quits (uid407513@user/ephemient) (Quit: Connection closed for inactivity) |
| 2025-12-10 12:06:37 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-10 12:14:23 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-12-10 12:25:25 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-12-10 12:29:20 | × | tromp quits (~textual@2001:1c00:3487:1b00:9873:8ff7:840:18a8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-10 12:52:57 | × | AlexZenon quits (~alzenon@85.174.180.40) (Quit: ;-) |
| 2025-12-10 12:58:41 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-10 12:59:15 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-10 13:10:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-10 13:22:23 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-10 13:26:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-10 13:28:18 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-10 13:34:42 | → | AlexZenon joins (~alzenon@85.174.180.40) |
| 2025-12-10 13:35:59 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-12-10 13:36:48 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-12-10 13:40:52 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-12-10 13:40:52 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-12-10 13:40:52 | → | haritz joins (~hrtz@user/haritz) |
| 2025-12-10 13:41:42 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2025-12-10 13:44:09 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-10 13:44:43 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-10 13:45:38 | Wanderer_ | is now known as wanderer |
| 2025-12-10 13:52:29 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 2025-12-10 13:52:57 | → | tromp joins (~textual@2001:1c00:3487:1b00:fc9c:738b:219c:bafe) |
| 2025-12-10 13:57:07 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-10 14:00:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-10 14:01:15 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 240 seconds) |
| 2025-12-10 14:03:23 | → | trickard__ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 14:04:13 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-12-10 14:09:29 | × | trickard__ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 14:12:06 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-10 14:14:19 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 14:15:49 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 246 seconds) |
| 2025-12-10 14:16:02 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-12-10 14:16:49 | oppili- | is now known as oppili |
| 2025-12-10 14:16:50 | × | oppili quits (~oppili@lewi-27-b2-v4wan-165682-cust505.vm4.cable.virginm.net) (Changing host) |
| 2025-12-10 14:16:50 | → | oppili joins (~oppili@user/nerdypepper) |
| 2025-12-10 14:17:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-10 14:17:52 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-10 14:18:36 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-10 14:23:10 | × | merijn quits (~merijn@77.242.116.146) (Read error: Connection reset by peer) |
| 2025-12-10 14:23:52 | → | rekahsoft joins (~rekahsoft@70.51.99.245) |
| 2025-12-10 14:26:53 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 14:27:06 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 14:37:25 | → | mooon joins (~mooon@user/mooon) |
| 2025-12-10 14:37:30 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-10 14:38:20 | → | spew joins (~spew@user/spew) |
| 2025-12-10 14:38:31 | × | spew quits (~spew@user/spew) (Client Quit) |
| 2025-12-10 14:38:51 | → | spew joins (~spew@user/spew) |
| 2025-12-10 14:47:55 | × | tromp quits (~textual@2001:1c00:3487:1b00:fc9c:738b:219c:bafe) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-10 14:52:39 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-10 14:52:41 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2025-12-10 14:56:05 | → | Enrico63 joins (~Enrico63@host-212-171-79-170.pool212171.interbusiness.it) |
| 2025-12-10 15:00:12 | <bwe> | What's the proper way to pass in an argument via Reader Monad for a Megaparsec parser? https://paste.tomsmeding.com/kyjewT46 |
| 2025-12-10 15:00:33 | <bwe> | (of course, `import Control.Monad.Reader`) |
| 2025-12-10 15:05:45 | <mauke> | wouldn't it be ReaderT Config Parser Result? |
| 2025-12-10 15:08:15 | × | Enrico63 quits (~Enrico63@host-212-171-79-170.pool212171.interbusiness.it) (Quit: Client closed) |
| 2025-12-10 15:09:04 | <haskellbridge> | <Morj> Either that or ParsecT e s (Reader Config) |
| 2025-12-10 15:10:05 | × | bggd_ quits (~bgg@2a01:e0a:fd5:f510:804a:51a5:a5:4c32) (Remote host closed the connection) |
| 2025-12-10 15:10:24 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-12-10 15:12:43 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2025-12-10 15:13:26 | <haskellbridge> | <Morj> Looking at the megaparsec types, what mаuke has written is a better option: it has a MonadParsec instance and it allows you to use ReaderT without any lifts too |
| 2025-12-10 15:19:57 | → | larsivi joins (~larsivi@user/larsivi) |
| 2025-12-10 15:26:28 | <larsivi> | Hello folks! I'm an oldhat dev that suddenly decided to check out Haskell. I'm starting with the essentials, getting neovim to work properly ... The only issue so far, is getting the bikeshed colored properly. The haskell-vim has been installed (tried both lazy and manually), but I only get the default colors. I do have haskell-tools installed (and apparently works), in case that can cause some |
| 2025-12-10 15:26:30 | <larsivi> | conflicts. My neovim is recent and with not much installed in terms of plugins.Doing all this on Arch. Did anyone here have similar issues that got it working? |
| 2025-12-10 15:31:11 | → | Enrico63 joins (~Enrico63@host-212-171-79-170.pool212171.interbusiness.it) |
| 2025-12-10 15:34:07 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 250 seconds) |
| 2025-12-10 15:34:44 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-10 15:37:52 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-12-10 15:38:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-10 15:40:57 | → | poscat joins (~poscat@user/poscat) |
| 2025-12-10 15:43:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-12-10 15:43:55 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-12-10 15:44:10 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 15:44:14 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-10 15:47:03 | × | wickedjargon quits (~user@64.114.24.74) (Remote host closed the connection) |
| 2025-12-10 15:47:12 | <haskellbridge> | <Morj> larsivi I don't remember the issues I had with haskell-vim, but at some point I forked it and made some changes |
| 2025-12-10 15:47:21 | <haskellbridge> | <Morj> Gosh it's been so long |
| 2025-12-10 15:47:50 | <haskellbridge> | <Morj> Are there no haskell colors in vim by default nowadays? Afair the haskell-vim just does them differently |
| 2025-12-10 15:48:12 | <haskellbridge> | <Morj> But if you're using neovim with lsp, you can get the colors from the lsp server itself (though I personally turn it off all the time) |
| 2025-12-10 15:54:57 | <haskellbridge> | <Zemyla> Hmm, would making some internal data structures boxed unlifted help performance over strictness annotations? |
| 2025-12-10 15:55:18 | <haskellbridge> | <Zemyla> Or are they a solution looking for a problem? |
| 2025-12-10 15:59:29 | <bwe> | Morj: Can I still combine multiple `ReaderT Config Parser Result` into a new parser / with non ReaderT `Parser Result` parsers? |
| 2025-12-10 15:59:38 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-12-10 16:01:16 | <merijn> | bwe: `Parser` is just `ParserT () Identity` iirc |
| 2025-12-10 16:01:47 | <merijn> | tbh you probably want `ParserT () Reader` |
| 2025-12-10 16:02:06 | <bwe> | my definition of Parser currently is `type Parser = Parsec Void Text` |
| 2025-12-10 16:02:24 | <merijn> | bwe: Yeah, but `Parsec` is a transformer under the hood |
| 2025-12-10 16:02:49 | <merijn> | bwe: https://hackage.haskell.org/package/parsec-3.1.18.0/docs/Text-Parsec.html#t:Parsec |
| 2025-12-10 16:02:56 | <haskellbridge> | <Zemyla> Also, ReaderT is just r -> m a. You combine them with non Reader monads by running it. |
| 2025-12-10 16:02:58 | <bwe> | I see. |
| 2025-12-10 16:03:43 | <bwe> | https://hackage.haskell.org/package/megaparsec-9.7.0/docs/Text-Megaparsec.html#t:Parsec |
| 2025-12-10 16:04:32 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-10 16:09:09 | → | qqe joins (~qqq@185.54.20.98) |
| 2025-12-10 16:10:52 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-12-10 16:12:33 | × | Enrico63 quits (~Enrico63@host-212-171-79-170.pool212171.interbusiness.it) (Quit: Client closed) |
| 2025-12-10 16:16:13 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
All times are in UTC.