Perl 6 - the future is here, just unevenly distributed

IRC log for #marpa, 2015-09-17

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

All times shown according to UTC.

Time Nick Message
01:49 idiosyncrat joined #marpa
01:50 * idiosyncrat is working on a new Marpa theory paper
01:50 idiosyncrat My previous paper relied a lot of citing previous work, for several reasons ...
01:51 idiosyncrat first, it saves space, and so is the way papers were written when publishing meant killing trees ...
01:52 idiosyncrat second, while Marpa is original with me, many thought it was invented more or less from scratch ...
01:52 idiosyncrat (a lot of people try to come up with new parsers exactly that way)
01:53 idiosyncrat and I wanted to emphasis that Marpa grows out of lineage of parsers, and in the important respects follows its traditions more closely than most modern academics ...
01:55 idiosyncrat who will often skip many of the things like complexity & correctness proofs, which in the tradition are absolutely central.
01:56 idiosyncrat thirdly, I didn't think people were interested in a proof of Earley's results from 1st principles from me
01:58 idiosyncrat But, that first Marpa paper turned out to be the way many people came to understand Leo's algorithm, at least.
01:59 idiosyncrat This new paper will explain Earley's algorithm from 1st principles -- from basic parsing theory, not relying on any other sources.
01:59 idiosyncrat And it will present it in a new way.
02:00 idiosyncrat It will also contain a new way of presenting Leo's algorithm, which many of those experimenting with parsers are trying to avoid.
02:01 idiosyncrat Leo's algorithm, I guess, seems forbidding, but I hope my presentation will make it seem quite natural.
02:06 idiosyncrat By the way, this new paper will *still* be very math-y -- it's not a tutorial, but I perhaps a place from which the tutorials can draw inspiration.
16:57 djns joined #marpa
20:34 idiosyncrat left #marpa
20:49 MerittClarksdale joined #marpa
20:49 MerittClarksdale hi

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