Violating memory safety with Haskell's value restriction (welltypedwit.ch)
A common issue in impure ML-style languages with polymorphism and mutable references is the possibility of polymorphic references.
Programming Languages, Haskell, Functional Programming, Memory Safety, Value Restriction
10 points by fanf2 1 day ago | 0 comments