Re: Unlearning Lisp

George Neuner wrote:
The ML model discourages runtime compilation and most runtime type
checking.

You may be interested in F#, which is an ML with run-time types and typical
dynamic features including run-time compilation, dynamic loading and
reflection as well as compilation (via JIT) to native code.

--
Dr Jon D Harrop, Flying Frog Consultancy
The OCaml Journal
http://www.ffconsultancy.com/products/ocaml_journal/?usenet
.