topic: OCaml
Everything I’ve written on the subject, from the beginning of this version of the site.
-
2020
-
Sep
-
05
-
Data Constructors, Part 1: Understanding by Implementing —JOURNAL
Understanding an idea from Standard ML-like languages by implementing it in (boring) TypeScript.
-
-
-
-
2022
-
Jan
-
28
-
Announcement: Speaking at TypeVille 2022 —ELSEWHERE
On the subject of “Types as Tools for Thought”
-
-
-
That’s it for this topic… but there are many, many more!