3

一部の Haskell コードを F# に移植しようとしていますが、回避方法がわからないという奇妙なエラーが発生します。以下のように定義された関数を持つ識別共用体があります。

type OtherType =
    OtherType1 of string
    | OtherType2 of string
type MyType<'a> = 
    MySub1 of DateTime * string * (float -> MyType<'a>)
    | MySub2 of 'a
    | MySub3 of DateTime * string * (bool -> MyType<'a>)

後で、このタイプ自体で機能する関数があります

let fun1 date myType (myFun2: ('b -> MyType<'a>)) = 
    match myType with
    | OtherType1(string1) -> MySub1(date, string1, myFun2)
    | OtherType2(string1) -> MySub3(date, string1, myFun2)

これにより、myFun2 が型 (float -> MyType<'a>) に制約されます。これが起こらないようにして k をジェネリックにしておく方法はありますか?

その結果、2 番目のパターン マッチが落ちます。

ありがとうございました。

アップデート：

私が複製しようとしている Haskell コードを見ると、問題は Haskell バージョンで OtherType が GADT で、OtherType1 が OtherType Double になり、OtherType2 が OtherType Bool になることだと思います。その場合、myFun2 はこれらの両方の機能を実行できます。誰かが興味を持っている場合は、ここにコードがあります。

data OtherType a where
    OtherType1 :: String -> OtherType Double
    OtherType2 :: String -> OtherType Bool 

data MyType a = MySub1 UTCTime String (Double -> MyType a)
    | MySub2 a
    | MySub3 UTCTime String (Bool -> MyType a)

myFun1 :: UTCTime -> OtherType a -> MyType a
myFun1 time o = myFun1' o MySub2
    where
        myFun1' :: OtherType b-> (b -> MyType a) -> MyType a
        myFun1' (OtherType1 name) k = MySub1 time name k
        myFun1' (OtherType2 name) k = MySub3 time name k

そこで質問したいのは、GADT を F# で複製できるかということです。

4

2 に答える 2