4 ms·

I'm a little behind times on Haskell (haven't used it for some years) – there always were extensions that made it unsound, but the core language was pretty soli

by IsTom 2y ago

I'm a little behind times on Haskell (haven't used it for some years) – there always were extensions that made it unsound, but the core language was pretty solid.

g15jv2dp 2y ago
Look at the last example in there: https://counterexamples.org/polymorphic-references.html https://counterexamples.org/polymorphic-references.html
- IsTom 2y ago
  Well, it does use unsafePerformIO. It's not particularly horrible most of the time, but in this case it obviously is.