3 ms·
So Ada / SPARK? It has a pretty neat type system.
by johnisgood 2y ago
So Ada / SPARK? It has a pretty neat type system.
- ghuntley 2y agoI’ve stumbled across folks using TLA+ / LEAN / COQ. Instead of ramming TypeScript/Whatever into the context window, they just stuff the formal proofs into the context window. Then code generate off em… That’s most Chad pattern I’ve discovered so far…