Conversation

Notices

1. Christine Lemmer-Webber (cwebber@octodon.social)'s status on Friday, 28-Jul-2017 14:20:13 UTC Christine Lemmer-Webber

   • Arun Isaac (அருண் ஐசக்)

   @arunisaac It's not so complicated! Four points to think about:

   1) How do you compile a compiler?
   2) The compiler you compile it with could possibly secretly insert hidden malware into the compiled compiler, which is propagated into the future by all later compilers.
   3) Mes is very small and pretty easy to audit. And how does mutual self-hosting help?
   4) Guix right now requires an initial set of binaries to "bootstrap" the system. Could we get rid of that with Mes?

   • Hallå Kitteh likes this.
   • Hallå Kitteh repeated this.
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Saturday, 05-Aug-2017 03:00:53 UTC Hallå Kitteh

     • Arun Isaac (அருண் ஐசக்)
     • Craig Maloney ☕
     @cwebber @arunisaac @craigmaloney
     
     What's the relation between mescc and nyacc?
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Saturday, 05-Aug-2017 14:35:52 UTC Hallå Kitteh

     • Arun Isaac (அருண் ஐசக்)
     • Craig Maloney ☕
     @cwebber @arunisaac @craigmaloney Ok, will have to look at what that means and what mescc and mes are adding that nyacc doesn't already do.
   • Christine Lemmer-Webber (cwebber@octodon.social)'s status on Saturday, 05-Aug-2017 15:14:09 UTC Christine Lemmer-Webber

     in reply to

     • Arun Isaac (அருண் ஐசக்)
     • Hallå Kitteh
     • Craig Maloney ☕

     @clacke @craigmaloney @arunisaac I asked in #guile, janneke says:

     - nyacc is used by mes, but is now unbundled from it.
     - nyacc is a C99 parser, ie C99 -> AST
     - mescc is a C99 compiler, ie AST -> M
     - mes is a scheme interpreter that can run mescc
     - nyacc in an amazing parser generator framework that comes with an almost complete c99 parser and preprocessor

     (Thanks janneke!)

     Hallå Kitteh likes this.
     Hallå Kitteh repeated this.
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Sunday, 06-Aug-2017 12:02:00 UTC Hallå Kitteh

     in reply to

     • Arun Isaac (அருண் ஐசக்)
     • Craig Maloney ☕
     @cwebber @arunisaac @craigmaloney
     
     Thanks!
     
     #lazyweb
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Sunday, 06-Aug-2017 12:43:15 UTC Hallå Kitteh

     in reply to

     • Arun Isaac (அருண் ஐசக்)
     • Craig Maloney ☕
     @cwebber @arunisaac @craigmaloney But they also mentioned some guile PEG thing. Maybe that's what nyacc is implemented in. Or maybe it was just an arbitrary example of what mes can run.
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Sunday, 06-Aug-2017 12:47:14 UTC Hallå Kitteh

     in reply to

     • Arun Isaac (அருண் ஐசக்)
     • Hallå Kitteh
     • Craig Maloney ☕
     @arunisaac @cwebber @craigmaloney
     
     Ah, sounds here like the PEG was just something they experimented with before going nyacc.
     
     https://www.mail-archive.com/guile-user@gnu.org/msg09171.html
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Sunday, 06-Aug-2017 14:24:04 UTC Hallå Kitteh

     • Arun Isaac (அருண் ஐசக்)
     • Craig Maloney ☕
     @cwebber @arunisaac @craigmaloney Aha, it's included even. I assumed it was an external package.
     
     #PEG is the latest hotness in grammars and parser generators, there are implementations in all kinds of languages. I haven't looked into it, but it supposedly has a lot of advantages over good old LALR(1) and LL(*) parsers.