Bruno De Fraine did an excellent job answering a question I posted about using camlp4 to statically differentiate an OCaml expression:
Didn't occur to me to get familiar with camlp4's representation of OCaml's AST by playing with it in the top level. It's actually really easy... :-)
A modular SNUSP interpreter - The F# Journal just published an article: *"SNUSP is a simple programming language that navigates a two-dimensional code space using an instruction point...
2 weeks ago