Perl 6 - the future is here, just unevenly distributed

IRC log for #marpa, 2018-01-13

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

All times shown according to UTC.

Time Nick Message
00:55 idiosyncrat joined #marpa
01:20 idiosyncrat joined #marpa
01:28 idiosyncrat Demat!
01:28 idiosyncrat left #marpa
02:20 idiosyncrat1 joined #marpa
02:58 ilbot3 joined #marpa
02:58 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
03:36 idiosyncrat1 Btw in background I've been studying Category Theory and Haskell.  Don't expect anything out of this for Marpa short term, but I'm beginning to suspect they might be important in the future.
15:42 amon_ joined #marpa
15:47 amon_ jk: Re https://irclog.perlgeek.de/marpa/2018-01-10#i_15672239
15:47 amon_ I do read the transcript regularly.
15:47 amon_ Thank you for the advance warning regarding ranking changes.
15:48 amon_ If there's a more intuitive ranking mechanism in the future, I'd obviously love that.
15:52 amon_ But please do ask for discussion on a proposed ranking mechanism early:
15:52 amon_ You are very good at mathematically precise solutions, but I can maybe contribute the perspective of a user.
15:52 amon_ The best mechanism isn't going to be used if it's difficult to use.
15:56 amon_ In the meanwhile, I've also read the Marpa::R3::Semantics::Rank document, sans the proof which is a bit over my head.
15:57 amon_ This was very helpful, I now have a clearer understanding of rule ranks. Thank you very much!
15:59 amon_ But I want to point out that “Reimplementation as pure BNF as an alternative to ranking” may be bad messaging.
16:00 amon_ One of the selling points of Marpa that you can feed the SLIF a BNF grammar with only syntactic changes, no structural rewrites needed. This is unlike fitting a BNF into a LALR grammar.
16:01 amon_ The suggested rewrites to avoid ranks do change the grammar considerably, and are therefore risky (in the sense that it's more difficult to see the connection with the original grammar).
16:03 amon_ I therefore consider ranking to narrow down a set of valid parse trees to be an important feature for a practical CFG parser.
16:34 amon_ left #marpa
22:43 ronsavage joined #marpa
23:20 ronsavage JK: In the new Semantics::Rank doc, this sentence 'Let the triple for for cuz be (cuz-dp, cuz-origin, cuz-current)' and the next both have a doubled 'for'.
23:28 ronsavage JK: Also, please add a sentence to the Rank doc specifying that a higher rank # represents a higher (more important?) rank.
23:29 ronsavage JK: That is, if that be the case!

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