4 ms·
> No language will prevent you from misimplementing the specs If the spec is written in the language itself, then some languages certainly will. See Lean, Roc
by formalspec 2y ago
> No language will prevent you from misimplementing the specs
If the spec is written in the language itself, then some languages certainly will.
See Lean, Rocq, Isabelle, etc
- svieira 2y agoUnfortunately we do not yet have a way to write reality in any of these languages, so there is always at-least-one-level of translation where errors in representation may creep in.