2024/05/24

2024-05-24 00:01:23 +0200johnw_johnw
2024-05-24 00:02:44 +0200Square2(~Square4@user/square) (Read error: Connection reset by peer)
2024-05-24 00:03:01 +0200Square(~Square4@user/square)
2024-05-24 00:04:24 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 268 seconds)
2024-05-24 00:09:50 +0200pyooque(~puke@user/puke)
2024-05-24 00:09:50 +0200puke(~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services)))
2024-05-24 00:09:50 +0200pyooquepuke
2024-05-24 00:10:27 +0200off^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-05-24 00:11:26 +0200AlexNoo_(~AlexNoo@5.139.233.209)
2024-05-24 00:13:48 +0200AlexZenon(~alzenon@178.34.163.203) (Ping timeout: 260 seconds)
2024-05-24 00:14:38 +0200puke(~puke@user/puke) (Ping timeout: 252 seconds)
2024-05-24 00:14:59 +0200AlexNoo(~AlexNoo@178.34.163.203) (Ping timeout: 264 seconds)
2024-05-24 00:15:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-24 00:15:22 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216)
2024-05-24 00:19:32 +0200michalz(~michalz@185.246.207.205) (Quit: ZNC 1.9.0 - https://znc.in)
2024-05-24 00:21:52 +0200AlexZenon(~alzenon@5.139.233.209)
2024-05-24 00:26:29 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 240 seconds)
2024-05-24 00:28:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-24 00:29:53 +0200fizbin__(~fizbin@user/fizbin)
2024-05-24 00:32:46 +0200acidjnk(~acidjnk@p200300d6e714dc452882c161da5c5dc1.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-05-24 00:33:20 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2024-05-24 00:38:05 +0200fizbin__(~fizbin@user/fizbin) (Ping timeout: 240 seconds)
2024-05-24 00:42:24 +0200fizbin__(~fizbin@user/fizbin)
2024-05-24 00:43:57 +0200mailman(~mailman@192.210.255.35)
2024-05-24 00:47:33 +0200 <raehik> Hi folks. I'm writing a type-level string parser library. I want to compare my design before committing to writing lots of horrid singletons. Are there any super simple string parser combinator libs out there? Where the parser runner is extremely simple and conducive to reifying to type-level
2024-05-24 00:50:50 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-24 00:54:27 +0200 <raehik> oh my gosh it looks like I accidentally landed on Parsec's design. but the code isn't well documented at all :(
2024-05-24 00:55:17 +0200fizbin__(~fizbin@user/fizbin) (Ping timeout: 240 seconds)
2024-05-24 01:03:59 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-24 01:19:38 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2024-05-24 01:20:11 +0200mailman(~mailman@192.210.255.35) (Killed (ozone (No Spam)))
2024-05-24 01:20:13 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-05-24 01:21:53 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2024-05-24 01:22:46 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-05-24 01:28:50 +0200 <lisbeths> if this is a channel where it is against the rules to question the legitimacy of the University system then please ban me now
2024-05-24 01:32:07 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-05-24 01:34:31 +0200mei(~mei@user/mei)
2024-05-24 01:44:55 +0200xff0x(~xff0x@2405:6580:b080:900:a0c9:53ff:d03b:8aee) (Ping timeout: 268 seconds)
2024-05-24 01:53:23 +0200 <glguy> raehik: Super simple? there's https://hackage.haskell.org/package/yoctoparsec-0.1.0.0/docs/Control-Monad-Yoctoparsec.html
2024-05-24 01:53:57 +0200 <glguy> https://hackage.haskell.org/package/base-4.20.0.0/docs/Text-ParserCombinators-ReadP.html is simpler than parsec
2024-05-24 01:54:12 +0200 <geekosaur> lisbeths, it's not against the rules but it's probably a better fit for #haskell-offtopic
2024-05-24 01:54:24 +0200 <geekosaur> and you wouldn't be the first one to do so there
2024-05-24 01:54:33 +0200mailman(~mailman@116.71.182.98)
2024-05-24 01:55:26 +0200AlexNoo_(~AlexNoo@5.139.233.209) (Read error: Connection reset by peer)
2024-05-24 01:55:50 +0200AlexNoo_(~AlexNoo@5.139.233.209)
2024-05-24 01:57:46 +0200xff0x(~xff0x@2405:6580:b080:900:a0c9:53ff:d03b:8aee)
2024-05-24 02:06:03 +0200 <raehik> glguy: Thanks for those. ReadP is more complex than I thought, 5 different result constructors
2024-05-24 02:06:44 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 260 seconds)
2024-05-24 02:06:48 +0200 <raehik> yoctoparsec is a bit too abstract for me to consider how it would look type-level
2024-05-24 02:07:11 +0200shoggouth(uid607148@user/shoggouth) (Quit: Connection closed for inactivity)
2024-05-24 02:09:14 +0200 <glguy> If you're ready to do type-level parser combinators at the type-level, you're ready to inline some type definitions to see what a simple case of yoctoparsec expands to
2024-05-24 02:09:42 +0200 <glguy> (too many uses of type-level in that first fragment)
2024-05-24 02:10:47 +0200Square(~Square4@user/square) (Ping timeout: 264 seconds)
2024-05-24 02:10:58 +0200 <glguy> You could rip out ReadP's biased choice operator, which would make the whole thing simpler to implement; kind of depends on what you're trying to do
2024-05-24 02:11:52 +0200 <glguy> I did a version of ReadP a while back that had a nicer treatment of <++ that I think ReadP has https://github.com/glguy/breadth-first-parser-combinators/tree/master
2024-05-24 02:12:26 +0200mailman(~mailman@116.71.182.98) (Quit: Client closed)
2024-05-24 02:12:42 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
2024-05-24 02:13:09 +0200mailman(~mailman@116.71.182.98)
2024-05-24 02:17:36 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2024-05-24 02:18:14 +0200mailman83(~mailman@116.71.182.98)
2024-05-24 02:19:04 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-05-24 02:19:09 +0200mailman83(~mailman@116.71.182.98) (Client Quit)
2024-05-24 02:20:05 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 240 seconds)
2024-05-24 02:20:16 +0200tomboy64(~tomboy64@user/tomboy64)
2024-05-24 02:22:15 +0200 <raehik> glguy: true enough on yoctoparsec. I am lazy and was looking for concrete [Char] parsers
2024-05-24 02:23:27 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-05-24 02:23:44 +0200 <raehik> I'm trying to design a nice simple type-level parser combinator lib. I think I want simple parsers to be very boring, and complex ones (like decision) I don't mind being slow
2024-05-24 02:23:48 +0200mailman(~mailman@116.71.182.98) (K-Lined)
2024-05-24 02:28:49 +0200 <raehik> to be clear this already all exists I'm just reconsidering things https://github.com/raehik/symparsec
2024-05-24 02:29:37 +0200 <raehik> set on this design with a small tweak to improve singling parser
2024-05-24 02:29:46 +0200 <raehik> singling parsers*
2024-05-24 02:32:47 +0200mud(~mud@user/kadoban) (Ping timeout: 272 seconds)
2024-05-24 02:33:37 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:f314:a2aa:505f:509a)
2024-05-24 02:53:23 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds)
2024-05-24 03:01:54 +0200nickiminjaj(~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2024-05-24 03:27:29 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2024-05-24 03:31:26 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-24 03:41:41 +0200ystael(~ystael@user/ystael) (Ping timeout: 240 seconds)
2024-05-24 03:43:38 +0200nyc(~nyc@user/nyc) (Ping timeout: 252 seconds)
2024-05-24 03:47:17 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-24 03:48:03 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:f314:a2aa:505f:509a) (Quit: Leaving)
2024-05-24 03:55:39 +0200xff0x(~xff0x@2405:6580:b080:900:a0c9:53ff:d03b:8aee) (Ping timeout: 268 seconds)
2024-05-24 03:56:41 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com)
2024-05-24 03:58:44 +0200otto_s(~user@p5b044390.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-05-24 04:00:02 +0200fliife(~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)
2024-05-24 04:00:09 +0200otto_s(~user@p5de2f772.dip0.t-ipconnect.de)
2024-05-24 04:00:53 +0200fliife(~fliife@user/fliife)
2024-05-24 04:02:08 +0200apache2(apache2@anubis.0x90.dk)
2024-05-24 04:02:27 +0200quintasan_(~quassel@quintasan.pl) (Quit: No Ping reply in 180 seconds.)
2024-05-24 04:03:15 +0200philopsos1(~caecilius@user/philopsos)
2024-05-24 04:03:37 +0200quintasan(~quassel@quintasan.pl)
2024-05-24 04:04:37 +0200apache(apache2@anubis.0x90.dk) (Ping timeout: 272 seconds)
2024-05-24 04:06:49 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-24 04:36:53 +0200nyc(~nyc@user/nyc)
2024-05-24 04:43:39 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-05-24 04:51:47 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-24 04:54:59 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-24 04:59:52 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-05-24 05:00:53 +0200td_(~td@i53870925.versanet.de) (Ping timeout: 240 seconds)
2024-05-24 05:01:37 +0200kaol(~kaol@94-237-42-30.nl-ams1.upcloud.host) (Ping timeout: 272 seconds)
2024-05-24 05:03:01 +0200td_(~td@i53870918.versanet.de)
2024-05-24 05:03:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-24 05:07:41 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 240 seconds)
2024-05-24 05:08:22 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-05-24 05:11:00 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-24 05:16:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-24 05:17:44 +0200aforemny_(~aforemny@i59F516E8.versanet.de)
2024-05-24 05:19:11 +0200aforemny(~aforemny@i59F516C7.versanet.de) (Ping timeout: 264 seconds)