Thread
Stories related to "M-expression" across the full archive.
If you are working on a programming language VM or a compiler, please consider submitting an abstract, and giving a talk at MoreVMs.
Thanks
Katahdin - a programming language where the syntax and semantics are mutable at runtime
(chrisseaton.com)
From 2007, but still quite relevant in its usage of PEGs/Packrat to compose very different grammars into a single language. The runtime mutability aspect is also a fairly major departure from the traditional offline compiler approach.
This example form the documentation sums how powerful it can b...
I have been working forwards from [MLsub][mlsub] type inferencing. I gave it a typeclass-inspired mechanism that allows overloading the arithmetic operators.
I can give it `fibonacci` as an input:
fibonacci(n)
if gt(n, 2) then
add(fibonacci(sub(n,1)), fibonacci(sub(n,...
Recently I read somewhere that people tried to provide
special characters into unicode that'd be available for markup.
Reportedly the symbols are deprecated and no longer available.
I'm thinking about using some of the below-0x20 utf-8 characters
for the purpose of markup.
Every once in a whi...
Abstract: "Optimizing compilers, including those in virtual machines,
commonly utilize Static Single Assignment Form as their
intermediate representation, but interpreters typically im-
plement stack-oriented virtual machines. This paper intro-
duces an easily interpreted variant of Static Singl...
C++ Compile-Time Exceptions -- Debugging C++ templates should be less surreal and horrible
(blog.esciencecenter.nl)
The first part is ["Study into exact real arithmetic"](http://boxbase.org/entries/2019/mar/18/exact-real-arithmetic/)