Newest at the top
| 2025-11-12 12:13:18 +0100 | <bwe> | (I am trying to write a parser that runs two parsers on the same input and it should return only if both parsers are successful) |
| 2025-11-12 12:12:21 +0100 | <bwe> | `try` in Megaparsec backtracks on failure, how can I backtrack on succeeding? https://hackage.haskell.org/package/megaparsec-9.7.0/docs/Text-Megaparsec.html#v:try |
| 2025-11-12 12:11:16 +0100 | acidjnk | (~acidjnk@p200300d6e717198650058a5e82e156ef.dip0.t-ipconnect.de) acidjnk |
| 2025-11-12 12:07:10 +0100 | xff0x | (~xff0x@2405:6580:b080:900:bad6:34c9:62ae:89f7) |
| 2025-11-12 12:03:29 +0100 | <merijn> | BS/LBS/T and M/IM/S/IS for Map, IntMap, Set, and IntSet from containers are all pretty widely used |
| 2025-11-12 12:00:37 +0100 | <haskellbridge> | <Morj> I prefer a way like tоmsmeding said, and using ByteString, LazyByteString, Text instead of abbreviations |
| 2025-11-12 12:00:33 +0100 | <__monty__> | So you litter your code with expletives instead?! : > |
| 2025-11-12 12:00:11 +0100 | <merijn> | Fully written out qualification is for mad men |
| 2025-11-12 11:59:54 +0100 | <merijn> | I always import ByteString/lazy ByteString as BS and LBS respectictively, T for Data.Text, etc. |
| 2025-11-12 11:59:25 +0100 | <merijn> | Morj: I mean some modules are explicitly intended for qualified imports, but generally people use abbreviations |
| 2025-11-12 11:58:06 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-12 11:56:11 +0100 | <tomsmeding> | Morj: HLS even manages to auto-add the qualified import sometimes if you write `Lazy.fromStrict` |
| 2025-11-12 11:53:26 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-12 11:52:29 +0100 | <haskellbridge> | <Morj> Though you remind me that I wrote this piece of code yesterday: "mimeRender _ = Data.ByteString.Lazy.fromStrict . Data.Text.Encoding.encodeUtf8" - and then made HLS auto-add the qualified import, and it was nice |
| 2025-11-12 11:51:31 +0100 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-12 11:51:06 +0100 | <haskellbridge> | <Morj> Actually a based opinion if he were writing rust |
| 2025-11-12 11:48:48 +0100 | <merijn> | I guess we're still talking Henning's naming? He's a believer you should always use everything qualified and his naming scheme basically forces you too, but it also results in completely unreadable hackage docs >.> |
| 2025-11-12 11:47:29 +0100 | <haskellbridge> | <Morj> Yeah, ocaml-style. I thought that maybe not because there are other datatype definitions in the same module |
| 2025-11-12 11:46:27 +0100 | <__monty__> | Meant to be used fully qualified? |
| 2025-11-12 11:40:45 +0100 | fp | (~Thunderbi@130.233.70.206) fp |
| 2025-11-12 11:30:49 +0100 | Googulator38 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 11:30:39 +0100 | Googulator38 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 11:29:56 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-12 11:28:24 +0100 | acidjnk | (~acidjnk@p200300d6e71719864df0570ed0b0e3ba.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-11-12 11:25:51 +0100 | <haskellbridge> | <Morj> Nah, doesn't look like it |
| 2025-11-12 11:25:25 +0100 | <haskellbridge> | <Morj> Maybe it's just ocaml-style! |
| 2025-11-12 11:25:07 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-12 11:24:25 +0100 | <mauke> | Enrico63: https://hackage.haskell.org/package/unique-logic-0.4.0.1/docs/doc-index.html count the number of classes named 'C' and types named 'T' |
| 2025-11-12 11:18:01 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-12 11:15:37 +0100 | ubert1 | (~Thunderbi@178.165.182.105.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2025-11-12 11:14:29 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-12 11:12:37 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-12 11:12:04 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-12 11:11:01 +0100 | <Enrico63> | merijn, ahahah, like what? In the list at https://hackage.haskell.org/user/HenningThielemann I see ... "toilet", but not much strange names |
| 2025-11-12 11:09:22 +0100 | deptype_ | (~deptype@2406:b400:3a:73c2:9a6c:1796:18b4:82bc) |
| 2025-11-12 11:09:03 +0100 | deptype_ | (~deptype@2406:b400:3a:73c2:aa6f:3f10:cf62:53ea) (Remote host closed the connection) |
| 2025-11-12 11:08:35 +0100 | <merijn> | Enrico63: That would certainly match his...ecclectic...naming habits |
| 2025-11-12 11:08:16 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-11-12 11:07:56 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-12 11:05:23 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-12 11:02:29 +0100 | ubert1 | (~Thunderbi@178.165.182.105.wireless.dyn.drei.com) ubert |
| 2025-11-12 11:00:48 +0100 | Googulator38 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 11:00:40 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 11:00:14 +0100 | <haskellbridge> | <Morj> In some of my old projects you can find a custom prelude named morjlude. A bit more obvious with this one |
| 2025-11-12 10:55:40 +0100 | Googulator54 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 10:55:39 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-12 10:55:37 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 10:51:22 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-12 10:48:57 +0100 | acidjnk | (~acidjnk@p200300d6e71719864df0570ed0b0e3ba.dip0.t-ipconnect.de) acidjnk |
| 2025-11-12 10:46:02 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |