4 ms·
Coalton static typing doesn't actually work, there's an issue filed that it breaks as soon as you do any mutation.
by 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 agoi guess you need to learn more about static typing
- reikonomusha 3y agoIt 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