News for hackers. Stuff that matters.

A comment on Algebraic Data Types for C99. Parent comment

Re:Algebraic Data Types for C99 by Iceland_jack on Friday May 10, 2024 @08:31AM (#40318184)
By floating the forall., we get another representation type for Void (forall a. a) and `absurd' is one half of that isomorphism :)

    absurd :: Void -> (forall a. a)

    drusba :: (forall a. a) -> Void
    drusba void = void @Void
[ Parent | on HN ]

There are no comments on this comment yet.