GADTs in OCaml: The Type-Level Superpower Your Other Languages Wish They Had
·5269 words·25 mins
As someone with a standing interest in languages, I find myself perpetually on the lookout for the features that belong to one language alone. Every language has its flagship concepts - words that resist translation, and that frequently cannot be mapped one-to-one onto any other.