4 ms·

Check out Coalton.

• dataangel 3y ago
  Coalton static typing doesn't actually work, there's an issue filed that it breaks as soon as you do any mutation.
  • medo-bear 3y ago
    i guess you need to learn more about static typing
  • reikonomusha 3y ago
    It is not true that "any mutation" causes issues. In fact, most idiomatic usage of mutation is problem-free and completely sound. One can find out more about polymorphic mutation as a "counterexample" to Hindley-Milner type inference on Wikipedia [1]. It's a well-studied problem with space of solutions. Purity, weak references, the value restriction, etc. are all ways of dealing with this shortcoming of Hindley-Milner. Interestingly, one of the first proposed solutions to this problem was suggested by Wright in the journal "LISP and Symbolic Computation" [2]. [1] https://en.wikipedia.org/wiki/Value_restriction#A_Counter_Example_to_Type_Safety https://en.wikipedia.org/wiki/Value_restriction#A_Counter_Ex... [2] https://link.springer.com/article/10.1007/BF01018828 https://link.springer.com/article/10.1007/BF01018828