F#。是否为元组

Question

我刚刚开始学习 F#。

我想知道如何确定函数的参数是否是元组？

let tuple = (1, 2)
let notTuple = 3

let isTuple t =  // returns 'true' if t is a tuple, 'false' otherwise

printfn "%b" isTuple tuple      // true
printfn "%b" isTuple notTuple   // false

Answer 1

FSharpType.IsTuple^[MSDN]这样做。

let isTuple value = 
  match box value with
  | null -> false
  | _ -> FSharpType.IsTuple(value.GetType())

Answer 2

从技术上讲，可能有一种方法可以做到这一点，因为 CLR 支持运行时类型检查。但您不应该想要这样做。它违背了 ML 系列的多态性理念——如果您需要这样的检查，则表明您的算法和/或数据结构设计不太适合该编程语言。 （例外情况是，如果您需要与不遵循此理念的现有 .net 库进行交互）。

更具体地说，参数多态性基于这样的概念：每当你有一些你还不知道它是什么类型的东西，这是因为你想要以相同的方式处理所有内容，而不是查看数据内部看看它是什么。不遵循此规则相当于违背编程语言的原则，并且会使您的代码更难以理解，因为类型不会携带有关函数如何处理数据的常用信息。

如果您想创建一些可以传递元组或单个数字的代码，并且让该代码了解差异，您应该定义一个显式的变体类型，以便您可以告诉可能性除了使用模式匹配之外，它们为调用者提供这样的选择的函数类型将是明确的。