News for hackers. Stuff that matters.

A comment on Is Haskell a good choice for software security?. Parent comment

Re:Is Haskell a good choice for software security? by juxtapose on Saturday December 18, 2021 @01:09AM (#29602154)
> modulo bottom

Since GHC 9.2, with UnliftedDatatypes you can define real uninhabited types!

    {-# LANGUAGE UnliftedDatatypes #-}
    import GHC.Exts
    data Void :: TYPE UnliftedRep where
      Void :: { absurd :: forall a. a } -> Void
[ Parent | on HN ]
Re:Is Haskell a good choice for software security? by whateveracct on Saturday December 18, 2021 @02:41PM (#29607838)
Resplendent!
[ Parent | on HN ]