topic: F#
Everything I’ve written on the subject, from the beginning of this version of the site.
-
2020
-
May
-
25
-
Making Illegal States Unrepresentable—In TypeScript—JOURNAL
Showing how Scott Wlaschin’s approach in F♯ translates to a language with a very different type system.
-
-
-
Sep
-
05
-
Data Constructors, Part 1: Understanding by Implementing —JOURNAL
Understanding an idea from Standard ML-like languages by implementing it in (boring) TypeScript.
-
-
-
That’s it for this topic… but there are many, many more!