Observed arrival · 2026-09-09
Lex makes software permissions part of the type system
Lex is an effect-typed language and runtime for constraining, sandboxing, and auditing software whose behavior cannot be fully trusted.
Field notes
Lex makes permissions visible in function types, using examples such as a [net] function that cannot touch the filesystem. Its runtime adds sealed execution, capability grants, command supervision, and kill or reprovision controls, while lex-trail records content-addressed, hash-chained events for replay. The homepage lists a broad stack around the language, including an LLM-agent runtime, MCP bridges, durable jobs, cryptography, device identity, and finance-oriented packages; lex-os-manifest and lex-crypto are marked beta.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
One card from the complete issue