3 ms·

> ...statically-typed languages are better for large projects than dynamically-typed languages... > Formal methods will never be mainstream... Say what? these

• yakshaving_jgt 5y ago
  What’s confusing about it? In this context, “statically-typed languages” refers to things like Haskell, and “formal methods” refers to things like TLA+. The two are not at all the same, nor are they intended to be.
  • madsbuch 5y ago
    One would say that static types has grown out of research in formal methods, and hence, is a consequence of formal methods.