News for hackers. Stuff that matters.

A comment on The Y Combinator in Go with generics. Parent comment

Re:The Y Combinator in Go with generics by octachron on Sunday June 12, 2022 @11:04AM (#31715016)
The Y-combinator require (equi)recursive types for the intermediary step `x x` where `x` has type `('a -> 'b as 'a) -> 'b` using OCaml notation.
[ Parent | on HN ]

There are no comments on this comment yet.