3 ms·
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
by 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 agoOne would say that static types has grown out of research in formal methods, and hence, is a consequence of formal methods.