2024-05-24 00:01:23 +0200 | johnw_ | johnw |
2024-05-24 00:02:44 +0200 | Square2 | (~Square4@user/square) (Read error: Connection reset by peer) |
2024-05-24 00:03:01 +0200 | Square | (~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 +0200 | pyooque | (~puke@user/puke) |
2024-05-24 00:09:50 +0200 | puke | (~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services))) |
2024-05-24 00:09:50 +0200 | pyooque | puke |
2024-05-24 00:10:27 +0200 | off^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-05-24 00:11:26 +0200 | AlexNoo_ | (~AlexNoo@5.139.233.209) |
2024-05-24 00:13:48 +0200 | AlexZenon | (~alzenon@178.34.163.203) (Ping timeout: 260 seconds) |
2024-05-24 00:14:38 +0200 | puke | (~puke@user/puke) (Ping timeout: 252 seconds) |
2024-05-24 00:14:59 +0200 | AlexNoo | (~AlexNoo@178.34.163.203) (Ping timeout: 264 seconds) |
2024-05-24 00:15:19 +0200 | tromp | (~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 +0200 | michalz | (~michalz@185.246.207.205) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-05-24 00:21:52 +0200 | AlexZenon | (~alzenon@5.139.233.209) |
2024-05-24 00:26:29 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 240 seconds) |
2024-05-24 00:28:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-05-24 00:29:53 +0200 | fizbin__ | (~fizbin@user/fizbin) |
2024-05-24 00:32:46 +0200 | acidjnk | (~acidjnk@p200300d6e714dc452882c161da5c5dc1.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-05-24 00:33:20 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
2024-05-24 00:38:05 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 240 seconds) |
2024-05-24 00:42:24 +0200 | fizbin__ | (~fizbin@user/fizbin) |
2024-05-24 00:43:57 +0200 | mailman | (~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 +0200 | tromp | (~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 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 240 seconds) |
2024-05-24 01:03:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-24 01:19:38 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
2024-05-24 01:20:11 +0200 | mailman | (~mailman@192.210.255.35) (Killed (ozone (No Spam))) |
2024-05-24 01:20:13 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-05-24 01:21:53 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2024-05-24 01:22:46 +0200 | Tuplanolla | (~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 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-24 01:34:31 +0200 | mei | (~mei@user/mei) |
2024-05-24 01:44:55 +0200 | xff0x | (~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 +0200 | mailman | (~mailman@116.71.182.98) |
2024-05-24 01:55:26 +0200 | AlexNoo_ | (~AlexNoo@5.139.233.209) (Read error: Connection reset by peer) |
2024-05-24 01:55:50 +0200 | AlexNoo_ | (~AlexNoo@5.139.233.209) |
2024-05-24 01:57:46 +0200 | xff0x | (~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 +0200 | tomboy64 | (~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 +0200 | shoggouth | (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 +0200 | Square | (~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 +0200 | mailman | (~mailman@116.71.182.98) (Quit: Client closed) |
2024-05-24 02:12:42 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
2024-05-24 02:13:09 +0200 | mailman | (~mailman@116.71.182.98) |
2024-05-24 02:17:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
2024-05-24 02:18:14 +0200 | mailman83 | (~mailman@116.71.182.98) |
2024-05-24 02:19:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-05-24 02:19:09 +0200 | mailman83 | (~mailman@116.71.182.98) (Client Quit) |
2024-05-24 02:20:05 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 240 seconds) |
2024-05-24 02:20:16 +0200 | tomboy64 | (~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 +0200 | FinnElija | (~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 +0200 | mailman | (~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 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 272 seconds) |
2024-05-24 02:33:37 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:f314:a2aa:505f:509a) |
2024-05-24 02:53:23 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
2024-05-24 03:01:54 +0200 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-05-24 03:27:29 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2024-05-24 03:31:26 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-05-24 03:41:41 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 240 seconds) |
2024-05-24 03:43:38 +0200 | nyc | (~nyc@user/nyc) (Ping timeout: 252 seconds) |
2024-05-24 03:47:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-24 03:48:03 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:f314:a2aa:505f:509a) (Quit: Leaving) |
2024-05-24 03:55:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a0c9:53ff:d03b:8aee) (Ping timeout: 268 seconds) |
2024-05-24 03:56:41 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) |
2024-05-24 03:58:44 +0200 | otto_s | (~user@p5b044390.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-05-24 04:00:02 +0200 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
2024-05-24 04:00:09 +0200 | otto_s | (~user@p5de2f772.dip0.t-ipconnect.de) |
2024-05-24 04:00:53 +0200 | fliife | (~fliife@user/fliife) |
2024-05-24 04:02:08 +0200 | apache2 | (apache2@anubis.0x90.dk) |
2024-05-24 04:02:27 +0200 | quintasan_ | (~quassel@quintasan.pl) (Quit: No Ping reply in 180 seconds.) |
2024-05-24 04:03:15 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-24 04:03:37 +0200 | quintasan | (~quassel@quintasan.pl) |
2024-05-24 04:04:37 +0200 | apache | (apache2@anubis.0x90.dk) (Ping timeout: 272 seconds) |
2024-05-24 04:06:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-24 04:36:53 +0200 | nyc | (~nyc@user/nyc) |
2024-05-24 04:43:39 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-05-24 04:51:47 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-24 04:54:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-24 04:59:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
2024-05-24 05:00:53 +0200 | td_ | (~td@i53870925.versanet.de) (Ping timeout: 240 seconds) |
2024-05-24 05:01:37 +0200 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) (Ping timeout: 272 seconds) |
2024-05-24 05:03:01 +0200 | td_ | (~td@i53870918.versanet.de) |
2024-05-24 05:03:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-24 05:07:41 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 240 seconds) |
2024-05-24 05:08:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
2024-05-24 05:11:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-24 05:16:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-05-24 05:17:44 +0200 | aforemny_ | (~aforemny@i59F516E8.versanet.de) |
2024-05-24 05:19:11 +0200 | aforemny | (~aforemny@i59F516C7.versanet.de) (Ping timeout: 264 seconds) |
2024-05-24 05:19:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |