F#函数中两种参数类型使用方式的差异是什么？

先明确前提：你定义的type Age = Age of int是F#的区分联合类型，用Age构造器包裹整数来表示年龄类型。下面是两种写法的核心差异：

第一种：模式匹配解构参数 #

fun (Age value) -> value // 返回int类型

这种写法是对传入的Age实例做模式匹配解构——用区分联合的构造器Age匹配参数，把构造器内部包裹的int值绑定到value变量上，最终返回这个原始整数。

比如传入Age 30，函数会直接返回30（int类型）。

第二种：类型标注参数 #

fun (value: Age) -> value // 返回Age类型

这种写法只是给参数value做了类型标注，明确指定它的类型是Age，但没有对实例做解构操作，函数最终直接返回传入的Age实例本身。

比如传入Age 30，函数返回的还是Age 30（Age类型）。

内容的提问来源于stack exchange，提问作者Gnu