2026 · keynote
The Clef Programming Language - A Ship of Theseus Story
This talk follows up my presentation from last year where I showed the Fidelity Framework. It brought together F# and FStar among other elements, toward hardware-software co-design using MLIR and other technologies. This made a clear break from the .NET ecosystem while having a “long shared edge” with .NET and Fable ecosystems. Over the past year, the Clef language emerged from that thesis, and while the shared edges with .NET and Fable are at greater length, the end result is a more flexible and more capable systems programming environment. This presentation is an overview of that journey from “F# native” to a new ML-family language with its own syntax and semantics.