Skip to content
Advertisement

Tag: polymorphism

Higher-kinded generics in Java

Suppose I have the following class: Now I want to introduce a generic argument, abstracting over the use of Expr: But Eclipse doesn’t like this: The type F is not generic; it cannot be parametrized with arguments <Fix<F>> Is this possible at all or have I overlooked something that causes this specific instance to break? Some background information: in Haskell

Advertisement