F# 类型的组合。如何实例化和使用。

Question

我可以像这样创建和实例化简单类型：

type MyStr1 = MyStr1 of string
let myStr1 = MyStr1("aaa")

type MyStr2 = MyStr2 of string
let myStr2 = MyStr2("bbb")

然后我可以将它们组合成第三种类型：

type MyStr3 = MyStr1 -> MyStr2

如何实例化 MyStr3？这个对象将代表什么？有什么用？

Answer 1

这是type alias 函数类型：

type MyStr3 = MyStr1 -> MyStr2

这不是严格意义上的类型，只是你知道的别名:)

但您可以使用它来创建此别名的值：

let myFun : MyStr3 =
    fun (MyStr1 str) -> MyStr2 str

let result = myFun myStr1
printfn "%A" result //prints `MyStr2 "aaa"`

添加： 回答您的评论：

type MyStr4 = MyStr4 of string

type MyStr3 = MyStr1 -> MyStr2 -> MyStr4

let myFun : MyStr3 = 
    fun (MyStr1 str1) (MyStr2 str2) -> MyStr4 (str1 + str2)