主题 · 领域
编程语言
语言、类型系统、编译器，以及可执行的意图如何被写下来。
- 页面
- 7
地图上 7 个页面及其周边主题
2026
- 13 分钟
The Proof You Only Have to Write Once
Generation is cheap, so verification is the bottleneck — and we throw the verification away every time. What if a proof, once written, could be named, shared, and vouched for? A content-addressed commons for verified Haskell, and the move I left for after the semantic-artifact trilogy.
- 7 分钟
The Field Exists Now
Alasdair Allan's agentlanguages.dev catalogue turns AI-oriented programming languages from a loose set of experiments into a field with camps, disagreements, and testable claims.
- 27 分钟
Source Code Is the New Assembly
Closing the trilogy. The artifact you author is no longer source code. It is a typed, verifiable object that carries meaning. Code becomes a lowering target.
- 23 分钟
What Comes After the Last Programming Language
If AI generates machine code directly, why are we still running operating systems designed for humans? The answer might be an inference-native OS.
- 19 分钟
Why We Built a Haskell Package Manager in Rust
hx is a fast, opinionated Haskell toolchain built in Rust, following the playbook astral.sh used to modernize Python.
- 26 分钟
The Last Programming Language Might Not Be for Humans
Three futures for programming languages as AI becomes the primary author of code, and why I bet on Haskell.
2023
- 10 分钟
All beginning is Haskell
How Haskell shaped the way I think about building systems, and why I am still building Haskell tooling years after writing my first monad.