2 ms·
Haskell's type system is unsound? I don't know about this and if it's true then it is some rarely used case. Don't throw away types altogether because of some r
by newen 7y ago
Haskell's type system is unsound? I don't know about this and if it's true then it is some rarely used case. Don't throw away types altogether because of some rarely used case... Types are very very useful.
- lidHanteyk 7y agoPick literally any type. The value `undefined` proves it, even if it shouldn't be provable. Magic~