.net - 如何在函数的元组中定义类型

Question

我刚刚开始使用 F# 和函数式编程。我想知道如何制作一个采用元组的函数，我定义第一个值必须是字符串，而不是标准的 int。

例子:

一个函数，它复制一个字符串，s，n 次并返回它。我现在拥有的是:

let rec pow2 = function
    | (s:string,0) -> ""
    | (s:string,n) -> s + pow2(s,n-1)

这行得通，但我认为有一种比在每种情况下都定义 s:string 更好的方法。

(我知道String.replicate，这不是为了效果，而是学习)

Answer 1

其实这里不需要类型注解。第一个模式匹配中的 "" 返回值对编译器来说已经足够提示了:

> let rec pow2 = function
    | (s,0) -> ""
    | (s,n) -> s + pow2(s,n-1);;

val pow2 : string * int -> string