3 ms·
The only compile time guarantee you'd have by making changes is that it would run, not it being correct nor functional.
by justmarc 2y ago
The only compile time guarantee you'd have by making changes is that it would run, not it being correct nor functional.
- nextos 2y agoStatic types do provide some guarantees as they rule out an entire class of runtime errors. In case of XMonad, since Haskell's type system is more expressive, the class of runtime errors ruled out at compile-time is broader.