New Language Thursday - Reloaded

Let’s be realistic and reduce the list to something manageable in the next couple of months.

  • OCaml (now that I started it I want to continue)

    • Getting started: Either add some features to mtail, or start a new one.
    • Project: Mirage OS sounds interesting. Alternatively, I would love to take a look at the formal verification tools available. But it seems that although OCaml advertises as industrial grade language (which I honestly believe now), the list of industrial

[...]


Mid-term Evaluation of New Language Thursday

Wow, it’s been more than two years since the original new language Thursday post. Back then, I wanted to learn the following languages by (a) following a tutorial of some sorts and (b) apply my knowledge to a small task that (in the best case) leverages the unique features of the language. Let’s see how far I got.

  • Erlang: I did quite some tasks on HackerRank.com using erlang, but my postfix mail address server turned out to be not that interesting

[...]


My first OCaml project

After I finished the MOOC on OCaml recently, I really wanted to use it in a real world scenario (as opposed to the web-based editor in the course). As it happens, I also required a command-line tool for disentangling log messages, so I went ahead and wrote it in Python first and reimplemented it in OCaml afterwards. It’s on GitHub. The python implementation took me about 1 hour (including tests and so forth) and was mainly to figure out what the software should do.

Main takeaway: OCaml is awesome, and the tools are as well. However, I spent most time on this project on getting oasis to run as I want it to

[...]