<story><title>A meta approach to implementing programming languages (2018)</title><url>http://rickardlindberg.me/writing/rlmeta/</url></story><parent_chain></parent_chain><comment><author>jimmy_ruska</author><text>Some links worth mentioning&lt;p&gt;&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;www.colm.net&amp;#x2F;open-source&amp;#x2F;ragel&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;www.colm.net&amp;#x2F;open-source&amp;#x2F;ragel&amp;#x2F;&lt;/a&gt;&lt;p&gt;&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;beautifulracket.com&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;beautifulracket.com&amp;#x2F;&lt;/a&gt;&lt;p&gt;&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;www.jetbrains.com&amp;#x2F;mps&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;www.jetbrains.com&amp;#x2F;mps&amp;#x2F;&lt;/a&gt;&lt;p&gt;&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;kotlinlang.org&amp;#x2F;docs&amp;#x2F;reference&amp;#x2F;type-safe-builders.html&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;kotlinlang.org&amp;#x2F;docs&amp;#x2F;reference&amp;#x2F;type-safe-builders.htm...&lt;/a&gt;&lt;p&gt;&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;en.wikipedia.org&amp;#x2F;wiki&amp;#x2F;ANTLR&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;en.wikipedia.org&amp;#x2F;wiki&amp;#x2F;ANTLR&lt;/a&gt;&lt;p&gt;&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;llaisdy&amp;#x2F;beam_languages&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;llaisdy&amp;#x2F;beam_languages&lt;/a&gt;</text></comment>
<story><title>A meta approach to implementing programming languages (2018)</title><url>http://rickardlindberg.me/writing/rlmeta/</url></story><parent_chain></parent_chain><comment><author>Davidbrcz</author><text>If you are interested by uncommon approach to implementing programming language, toy should have a look at the K framework (&lt;a href=&quot;http:&amp;#x2F;&amp;#x2F;www.kframework.org&amp;#x2F;index.php&amp;#x2F;Main_Page&quot; rel=&quot;nofollow&quot;&gt;http:&amp;#x2F;&amp;#x2F;www.kframework.org&amp;#x2F;index.php&amp;#x2F;Main_Page&lt;/a&gt;)&lt;p&gt;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,...)&lt;p&gt;C had been formalized with it for instance.</text></comment>