News for hackers. Stuff that matters.

A comment on A meta approach to implementing programming languages (2018).

Re:A meta approach to implementing programming languages (2018) by Davidbrcz on Sunday February 24, 2019 @03:40PM (#19240493)
If you are interested by uncommon approach to implementing programming language, toy should have a look at the K framework (http://www.kframework.org/index.php/Main_Page)

The idea is to write the spec (is grammar and semantics) only once and have for free a compiler as well as some formal tools (model checker,...)

C had been formalized with it for instance.

[ Parent | on HN ]
Re:A meta approach to implementing programming languages (2018) by tom_mellior on Monday February 25, 2019 @12:10PM (#19247188)
K is really cool, but does really give you a compiler? That's the first I heard of that. Do you have (a link to) more information about how it does compilation?
[ Parent | on HN ]
Re:A meta approach to implementing programming languages (2018) by Davidbrcz on Thursday February 28, 2019 @04:28AM (#19270128)
No sorry, I thought it was a compiler but it's "only" an interpreter.
[ Parent | on HN ]