높은-kinded 제네릭

Question

나는 다음과 같은 클래스가 있다고 가정

public class FixExpr { 
    Expr<FixExpr> in; 
} 

가 지금은 EXPR의 사용에 추상화, 일반적인 인수를 소개합니다 :

public class Fix<F> { 
    F<Fix<F>> in; 
} 

을하지만 이클립스 '아무튼를 이런 식으로 :

유형 F는 일반적인 것이 아닙니다. <F> >

수정 < 인수와 함께이 전혀 가능 매개 변수화 할 수 없거나 나는이 특정 인스턴스가 중단됩니다 뭔가를 간과?

일부 배경 정보 : 하스켈에서는 일반적인 함수를 작성하는 일반적인 방법입니다. 나는 이것을 자바로 포팅하려고 노력하고있다. 위의 예제에서 type 인수 F는 일반적인 종류 * 대신 * -> *를 사용합니다. 하스켈 그것은 다음과 같다 : 타입 파라미터를 전달하기 위해

newtype Fix f = In { out :: f (Fix f) } 

Answer 1

나는 무엇을 당신이하려는 것은 단순히 아니라고 생각 Java generics가 지원합니다.

public class Foo<T> { 
    public T<String> bar() { return null; } 
} 

의 간단한 경우도 javac를 사용하여 컴파일하지 않습니다.

Java는 컴파일시에 T이 무엇인지 알지 못하기 때문에 T<String>이 모두 의미 있음을 보장 할 수 없습니다.당신이 Foo<BufferedImage>을 만든 경우 예를 들어, bar은 무의미 서명

public BufferedImage<String> bar() 

있을 것입니다. T을 사용하여 Foo을 인스턴스화하도록 강제하는 메커니즘이 없으므로 컴파일을 거부합니다.

Answer 2

는 타입 정의 (이것은일반이어야한다)가 하나를 수락 함을 선언한다. 분명히 F은 제네릭 유형이 아닙니다.

UPDATE : 라인

F<Fix<F>> in; 

자체 타입 파라미터를 수용 Fix되는 값하는 유형 파라미터를 수락 형 F의 변수를 선언하고,이 값은 어느 F이다. 귀하의 예에서는 F도 정의되어 있지 않습니다. 난 당신이 당신에게 유형 Fix (당신이 한 유형이 예에서 정의)이 값 F와 유형 매개 변수를 전달하는 수의 변수를 줄 것이다

Fix<F> in; 

을 할 수 있습니다 생각합니다. Fix이 유형 매개 변수를 허용하도록 정의되었으므로이 방법이 유용합니다.

업데이트 2 : 제목을 다시 읽으십시오. 이제 "Towards Equal Rights for Higher-Kinded Types" (PDF 알림)과 비슷한 방식으로 작업하려고 할 것입니다. 그렇다면 Java는이를 지원하지 않지만 Scala를 사용해보십시오.

Answer 3

그것은 당신이 같은 것을 할 수있는 것처럼 보인다 : (.의 제네릭에 대한 참조 열거 클래스 및 질문)

public class Fix<F extends Fix<F>> { 
    private F in; 
} 

을

Answer 4

아마도 JVM에서 실행되는 기능적 언어 인 스칼라 (Scala)를 사용해보십시오. 스칼라는 더 높은 종류의 제네릭을 지원합니다.

---

[Rahul G에 의해 편집]

여기에 특정 예를 대략 스칼라로 변환하는 방법은 다음과 같습니다

trait Expr[+A] 

trait FixExpr { 
    val in: Expr[FixExpr] 
} 

trait Fix[F[_]] { 
    val in: F[Fix[F]] 
} 

Answer 5

아직도, 자바 higer-kinded 제네릭을 인코딩하는 방법이 있습니다. 제발, higher-kinded-java project 좀 봐. 라이브러리로이 사용

,이 같은 코드를 수정할 수 있습니다

public class Fix<F extends Type.Constructor> { 
    Type.App<F, Fix<F>> in; 
} 

당신은 아마 당신의 Expr 클래스

@GenerateTypeConstructor 
public class Expr<S> { 
    // ... 
} 

이 주석이 ExprTypeConstructor 클래스를 생성에 @GenerateTypeConstructor 주석을 추가해야합니다. 지금 당신은 다음과 같이 EXPR의 당신의 수정을 처리 할 수 ​​있습니다 :

class Main { 
    void run() { 
     runWithTyConstr(ExprTypeConstructor.get); 
    } 

    <E extends Type.Constructor> void runWithTyConstr(ExprTypeConstructor.Is<E> tyConstrKnowledge) { 
     Expr<Fix<E>> one = Expr.lit(1); 
     Expr<Fix<E>> two = Expr.lit(2); 

     // convertToTypeApp method is generated by annotation processor 
     Type.App<E, Fix<E>> oneAsTyApp = tyConstrKnowledge.convertToTypeApp(one); 
     Type.App<E, Fix<E>> twoAsTyApp = tyConstrKnowledge.convertToTypeApp(two); 

     Fix<E> oneFix = new Fix<>(oneAsTyApp); 
     Fix<E> twoFix = new Fix<>(twoAsTyApp); 

     Expr<Fix<E>> addition = Expr.add(oneFix, twoFix); 
     process(addition, tyConstrKnowledge); 
    } 

    <E extends Type.Constructor> void process(
      Fix<E> fixedPoint, 
      ExprTypeConstructor.Is<E> tyConstrKnowledge) { 

     Type.App<E, Fix<E>> inTyApp = fixedPoint.getIn(); 

     // convertToExpr method is generated by annotation processor 
     Expr<Fix<E>> in = tyConstrKnowledge.convertToExpr(inTyApp); 

     for (Fix<E> subExpr: in.getSubExpressions()) { 
      process(subExpr, tyConstrKnowledge); 
     } 
    } 

}