7 ms·

> In Haskell exceptions are unsafe and can trivially be used to subvert the type system. That's news to me. Could you post a proof?

• fpoling 10y ago
  https://existentialtype.wordpress.com/2012/08/14/haskell-is-exceptionally-unsafe/ https://existentialtype.wordpress.com/2012/08/14/haskell-is-...
  • tome 10y ago
    Firstly, it's been fixed. Secondly, it wasn't to do with exceptions but with Typeable.