Perl 6 - the future is here, just unevenly distributed

IRC log for #marpa, 2015-07-29

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

All times shown according to UTC.

Time Nick Message
00:04 djns joined #marpa
00:26 djns hi
01:17 Idiosyncrat joined #marpa
01:18 Idiosyncrat mveuts: Sounds like the 1st two stops of a Toki Pano / Marpa world tour :-)
01:35 Idiosyncrat joined #marpa
01:48 ilbot3 joined #marpa
01:48 Topic for #marpa is now Start here: http://savage.net.au/Marpa.html - Pastebin: http://scsys.co.uk:8002/marpa - Jeffrey's Marpa site: http://jeffreykegler.github.io/Marpa-web-site/ - IRC log: http://irclog.perlgeek.de/marpa/today
03:11 Idiosyncrat joined #marpa
03:18 ronsavage joined #marpa
05:27 jdurand joined #marpa
05:27 jdurand Re http://irclog.perlgeek.de/marpa/2015-07-28#i_10968814 - I dont think so, unfortunately
06:21 ronsavage joined #marpa
08:07 pczarn joined #marpa
14:46 koo7 joined #marpa
16:10 djns joined #marpa
16:12 djns hi
18:57 pczarn ah, of course putting grammar into simpler theoretical form makes less sense without strict distinction between terminals and nonterminals, e.g. in Libmarpa
19:20 pczarn why is there a new start rule added by SLIF?
22:14 ronsavage joined #marpa
23:53 jeffreykegler joined #marpa
23:54 jeffreykegler pczarn -- Actually, the SLIF does enforce the terminal/non-terminal distinction, collapsing it in Libmarpa is now discouraged, and Kollos will restore it.
23:55 jeffreykegler It's convenient in implementation to be able to assume that a symbol cannot be both, but in Marpa I went to some extra trouble on the idea that someone would find a use for "LHS terminals"
23:56 jeffreykegler For example, in debugging, you could "hot wire" a higher level symbol, instead of having to specify an actual terminal string.
23:57 jeffreykegler But nobody every came close to using Libmarpa in that way, and I now think there are better ways to accomplish any hacks that having "LHS terminals" could accomplish.
23:57 jeffreykegler Re the new start rule: that's very standard in parsing -- so standard there's a term for it -- "augmenting the grammar".
23:58 jeffreykegler If the grammar is augmented, so that the start symbol is unique and in particular does not appear on a RHS you can assume
23:58 jeffreykegler 1.) it's not part of a cycle.
23:58 jeffreykegler 2.) in fact, it's not part of any recursion
23:59 jeffreykegler 3.) and a long list of other things that make life easier for both implementation and paper writing.

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