Hacker News new | ask | show | jobs
by tome 405 days ago
Yes, although it can be violated by unsafePerformIO and friends. Haskell's is not an "assured" system.