Perl 6 - the future is here, just unevenly distributed

IRC log for #marpa, 2017-12-23

| Channels | #marpa index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
00:25 idiosyncrat Demat!
00:30 idiosyncrat amon: I just did a proof that my solution to your example for ranking is correct.  It will be part of the POD.
00:31 idiosyncrat others: Don't worry, I've been creating a "Details" ghetto in POD's for this kind of math-y stuff.  It goes at the end, just before the legalese, so it's easy to just stop reading when you get to it.
00:32 idiosyncrat I did the proof first for 2 reasons.
00:33 idiosyncrat 1.) It helps me confirm that my solution is indeed right, and to think out *why* it is right.
00:34 idiosyncrat 2.) I want to make the point to readers that, when you resort to PEG-ish techniques like ranking, you put yourself into treacherous territory -- you either work out proofs like I did, or pretend you know your code is correct because you've given up on creating new test cases.
00:35 idiosyncrat I also created a BNF version, to illustrate that ranking usually has an alternative.
00:37 idiosyncrat If you *are* going to use PEG-ish style ranking, Marpa is the safer way to do it, because Marpa never delivers a parse which is not correct according to the BNF, so that you always have a well-defined "superset" into which your language falls.
00:37 idiosyncrat With PEG your language could be anything -- all you really know is that your test cases pass.
02:57 ilbot3 joined #marpa
02:57 Topic for #marpa is now Start here: http://savage.net.au/Marpa.html - Code paste/run: https://f.perlbot.pl/#marpa - Jeffrey's Marpa site: http://jeffreykegler.github.io/Marpa-web-site/ - IRC log: http://irclog.perlgeek.de/marpa/today - Youtube channel: https://www.youtube.com/channel/UCYKVfGBtfTqbs1JdYq-dc5g
05:07 ceridwen joined #marpa
05:07 ceridwen joined #marpa
17:00 idiosyncrat joined #marpa
17:01 idiosyncrat amon: Many thanks!  I just did the 1st R2 push with Travis enabled, and it passed.
19:23 idiosyncrat left #marpa
21:53 ronsavage joined #marpa
22:14 idiosyncrat joined #marpa

| Channels | #marpa index | Today | | Search | Google Search | Plain-Text | summary