1

私は次のようなデータ型を持っています:

data MyType a b = Something a b | .....

そして、私はタイプを持っています:

type SomethingElse = MyType a b -> AnotherThing

ただし、型定義に a および b パラメーターを含めると問題が発生しますが、それらを除外すると問題も発生します。

エラー メッセージ (型定義内) は、変数 a と b がスコープ内にないことです。

4

1 に答える 1

6

aとの具体的な型を提供していない限り、bそれらの型シノニムもパラメーター化する必要があります。

type SomethingElse a b = MyType a b -> AnotherThing
于 2012-09-21T21:54:05.867 に答える