1. OCaml from zero. It is an amazing language with amazing types and modules system. The biggest problems so far - Windows support and gaps in the libraries uni

1. OCaml from zero. It is an amazing language with amazing types and modules system. The biggest problems so far - Windows support and gaps in the libraries universe. 2. Incremental computation (Adapton)[1][2]. Very time and resource-saving technology in some applications. [1] https://en.wikipedia.org/wiki/Incremental_computing https://en.wikipedia.org/wiki/Incremental_computing [2] http://adapton.org/ http://adapton.org/