【PL理论】(3) F# 数据类型：变量类型 | F# 操作符 | 定义函数 | 使用定义的函数 | if-then-else 表达式：绝对不能省略 else 部分，除非表达式是 unit 类型

 

• 💭 写在前面：本章我们继续学习 F#，上一节我们创建了简单的 F# 程序，现在我们开始介绍变量类型、if-then-else 表达式、操作符以及定义函数。

📜 本章目录：

0x00 F# 的变量类型

0x01 F# 的操作符

0x02 定义函数（Defining Function）

0x03 使用定义的函数（Using Defined Function）

0x04 另一种函数的语法

---

0x00 F# 的变量类型

你应该发现了，我们写的示例并没有直接写出值的类型：

let i = 1
let s = "F#"
let _ = printfn "%d %s" i s   // Newline is appended
(* _ 表示我们不给该变量取名，匿名变量 *)

因为根本不用写，F# 也可以自动推导类型，它会在运行时之前报告代码中的类型错误。

你可以选择再变量名后加上