30、F编程入门与实践

F#编程入门与实践

一、F#语言概述

F#是一种属于ML家族的编程语言，该家族还包括1978年的经典ML、1986年的标准ML、1985年的CAML、1990年的Caml Light以及1996年的OCaml，F#与OCaml最为相似。这些语言都是严格的、主要为函数式的，并且具有参数多态类型推断的静态类型。F#最初在Windows上开发，也可在MacOS和Linux上使用，例如通过CLI/.NET的Mono实现。

二、F#学习资源

有一个名为 Intro/Appendix.fs 的文件包含了本章所有示例，可作为学习F#的参考资料。

三、F#入门操作

要进入F#交互式提示符，可在命令行启动 fsharpi 。示例如下：

F# Interactive for F# 4.1
For help type #help;;
> let rec fac n = if n=0 then 1 else n * fac(n-1);;
val fac : n:int -> int
> fac 10;;
val it : int = 3628800
> #q;;

以 > 开头的文本是用户输入，其他行是F#系统的响应。也可以在Microsoft Visual Studio中运行F# Interactive，但使用F#词法分析器和解析器工具时可能会有挑战。

四、F#表达式、声明和类型