plzoo
plzoo copied to clipboard
andrejbauer
Programming Languages Zoo
- Simpler to understand, more declarative - Probably better integration with ocaml-lsp-server and editors in general due to dune's capabilities - Auto-generate an opam file for more explicit dependencies _Please...
There is broken link on http://plzoo.andrej.com/language/miniml_error.html page leading to a http://plzoo.andrej.com/miniml which I believe should be http://plzoo.andrej.com/language/miniml.
Hi, I happened to be experimenting with using call by push value as part of a compiler IR for my own lazy functional language. I still don't really understand call...
This add the language "hm", which is a direct implementation of an hindley milner type system for an impure ml-like language. This supports references, first class function, fixpoint and type...
We still have some other languages in various stages of development laying around: - `calc+var` (which I guess is an older version of `calc_var`, but I did not look exactly...
As the title suggest, `minscheme` (we should rename it to `minischeme`) is a miniature version of scheme. Once added, we could also extend it with `call/cc`, though one will have...
I explained in three blog posts (parts [one](http://math.andrej.com/2012/11/08/how-to-implement-dependent-type-theory-i/), [two](http://math.andrej.com/2012/11/11/how-to-implement-dependent-type-theory-ii/), [three](http://math.andrej.com/2012/11/29/how-to-implement-dependent-type-theory-iii/)) how to implement a small dependent type theory. The language `tt` is suitable for the PL zoo (and in fact,...
