News for hackers. Stuff that matters.

A comment on Löb and möb: strange loops in Haskell. Parent comment

Re:Löb and möb: strange loops in Haskell by gowld on Wednesday February 01, 2023 @05:57PM (#34619279)
That's impossible, but that's not what's happening here. There is no "-> b" at the end of the type signature upthread.

The example in the thread is more like

   foo :: Either (b -> Int) b
which is much easier:

   foo = Left (const 1) :: Either (b -> Int) b
[ Parent | on HN ]

There are no comments on this comment yet.