Perl 6 - the future is here, just unevenly distributed

IRC log for #marpa, 2017-12-04

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

All times shown according to UTC.

Time Nick Message
01:39 idiosyncrat joined #marpa
01:39 idiosyncrat Demat!
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
04:45 ronsavage joined #marpa
10:10 Cheery the paper isn't self-contradictory after all. The ideas presented there should work just fine.
10:16 ronsavage joined #marpa
13:48 Cheery did think about the problems in the paper
13:49 Cheery to implement indentation like that, it will smear annotations all across the grammar
13:50 Cheery I did think about my model as well and realised it has some problems.
13:53 Cheery but I did came up with an idea that could be tried.
13:54 Cheery lets say that you'd represent newline sensitive syntax with. block(statement)
13:56 Cheery the block(statement) would be roughly expressed as [line beginning, statement]
13:56 Cheery valid block would consists of consecutive line beginnings of same indentation, such that there is not a line beginning with that indentation level in the middle of the block
14:03 Cheery in the same system you would define production rules that are not allowed to have line breaks in them.
14:07 Cheery though that would still probably not express the language correctly.
14:12 Cheery whee! Now I see it. :)
14:18 Cheery So. the point is.
14:19 Cheery if you do indentation aesthetically right, you aren't going to rag something from within parentheses under the current indentation level
14:23 Cheery https://bpaste.net/show/869ef975a96e
14:23 Cheery Every {+} in here denotes a start of new indentation range.
14:26 Cheery the idea is that block must capture all newlines, and end to a point where indentation drops.
14:27 Cheery if it fails to capture one, the parsing of a block ceases
14:39 Cheery it's still quite awfully reading-direction biased though..
21:50 ronsavage joined #marpa

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