Learning OCaml: Verifying tail-recursion with @tailcall
How can you be sure that an OCaml function you wrote is actually tail-recursive? You can certainly compile the code and look at the generated assembly code, ...
Recent Posts
2023: The Year in Review
Life can only be understood backwards; but it must be lived forwards. – Søren Kierkegaard
A Bad Year for Blogging
Last year (2022) I celebrated a rather unexpected all time blogging record. As it often happens in such cases, however, there was a massive drop in my bloggi...
Fastmail: Year Two
Here’s a small follow-up to my usage of Fastmail that started in 2021. In a nutshell - little has changed since my previous update. Fastmail is still my favo...
Learning OCaml: Quoted String Literals
While learning OCaml I’ve noticed one curious feature - it has two types of string literals. The first type are the common and quite familiar “double-quoted ...