Media Summary: My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ... Compilers translate code from one language to another. Interpreters execute code. Virtual machines and just-in-time Correctness (hopefully...) It sometimes goes faster It never goes slower ...
Ocaml Tutorial 19 33 Compiling - Detailed Analysis & Overview
My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ... Compilers translate code from one language to another. Interpreters execute code. Virtual machines and just-in-time Correctness (hopefully...) It sometimes goes faster It never goes slower ... Compose NYC 2019 Speaker: Sebastien Mondet Genspio is a typed EDSL based on GADTs to generate shell scripts from The `option` type, which represents optional data. It's a principled way to avoid the plague of `null`. Textbook: ...
