Systems-Programming
OCaml and the ML Lineage: What Survived, What Broke, and Why It Still Matters
The ML family is one of the most influential yet consistently misunderstood lineages in programming language history. OCaml stands at the center of this tradition as a rare example of a language that preserved conceptual clarity while evolving toward real world practicality. Many modern languages borrow from ML without acknowledging the source. Others attempt reinvention and rediscover solutions ML had decades earlier.
Designing a Language with a VM Model but without Runtime Bloat
Many developers want the clarity and control that comes from designing a language around a custom virtual machine, but they do not want to ship a heavy runtime, a slow interpreter, or a dependency that resembles Java or the .NET framework. A language can use a virtual machine internally while still producing very small native binaries. The VM becomes the semantic core, not a component that must be delivered to the end user. This article explains how such a system can be designed, how to structure the toolchain, and how to keep native executables small and portable.