f# - 类型别名和函数签名 F#

Question

我是 F# 语言的新手，我的专业背景主要是 C#/SharePoint，最近我参加了 Haskell 课程，这是一种可爱的函数式语言。

我的问题是关于类型别名（同义词）和函数签名的使用，在 Haskell 中是一种很好且直接的方法，如下所示：

type Person = (String,Int)
type Address = (Person, String,Int)

getPerson :: Address -> Person
getPerson n = first n ...

当我在 F# 中尝试相同的方法时，我有点失败：

type Person = (int,int)
type Address = (Person, String, Int)

let getPerson (n:Address) =
    n.first ...

我做错了什么？或者当我有带有签名 (int, int) -> String -> int -> String -> (int, int) 的函数时，提高可读性的最佳实践是什么？

下面的解决方案等同于上面提到的 Haskell 类型同义词：

type Person = int*int
type Address = Person * string * int

let first (n,_,_) = n

let getPerson (n:Address) : Person =
    first n

score 6 · Accepted Answer

对的 F# 语法是T1 * T2，您可以使用该函数（或使用模式匹配）获取第一个元素fst，因此您的代码的语法有效版本如下所示：

type Person = int * int
type Address = Person * string * int

let getPerson (n:Address) : Person =
    fst n

看看F# for Fun and Profit - 它是一个很棒的 F# 源代码，您可以在那里找到所有语法。

另外，请注意 F# 中的类型别名实际上只是别名 - 因此编译器不区分Person和int * int。这也意味着您可能会在 IntelliSense 中看到它们。如果您想更强烈地区分它们，我建议使用记录或单例区分联合（以便该类型实际上是不同的类型）。

1 回答 1