[Haskell-cafe] Safe Haskell?
bertram.felgenhauer at googlemail.com
Tue Apr 20 13:19:44 UTC 2021
Bertram Felgenhauer via Haskell-Cafe wrote:
> Unless the use case for which SafeHaskell was designed is common
> (and the replies here indicate that it's not), this is hard to
The feedback here is not wholly representative.
There's a reddit thread  where djdlc points out
This is interesting because it demonstrates that the notion of safety
can be *refined* from its use by the `base` library in the context of
DSLs, because one can express which notion of safety applies through
types, and confine the code that is ultimately executed through the
Obviously this will still break down when the type system is subverted
which Richard pointed out, or
which wz1000 demonstrated on IRC. But these are terrible bugs anyway;
it's just that SafeHaskell boosts their implact from code that people
shouldn't write to a potential security issue. Is anybody maintaining
a list of these type system unsoundness issues?
Apparently some people also enjoy the extra code discipline that
producing Safe code requires (link by gentauro (=djdlc) on Freenode):
More information about the Haskell-Cafe