1、if语句 , F#返回值不需要显式的写出返回类型，在写if等流程控制时，要控制好返回值信息，如if 语句块和 else 语句块的返回值类型要匹配；不能出现if有返回、else无返回；也不能只出现一个单条件返回，如只出现一个if语句并且有返回值信息，而没有else语句，这样在不满足if 情况时则可能不会有返回值。
let fun1 x = //定义一个返回字符串的方法fun1
if x > 10 then "输入的值大于10"
//当x > 10 返回大于10的信息
else "输入的值小于等于10"
//相反返回小于等于10 ，因为有返回值 else语句块不能缺失 ,否则可能出现满足if条件有返回，不满足无返回的情况
printfn "%s" (fun1 10)
let num1 = //定义一个无参的方法num1 ,返回类型为整型
let x = 10
if x > 10 then
10
else
x
printfn "%i" num1
let outPutNum x = //定义一个无返回值的方法
if x >= 10 then printfn "%i" 10
else printfn "%i" x
outPutNum 10
let outPutNum2 x = //定义一个无返回值的方法
if x >= 10 then printfn "%i" 10
outPutNum2 10
let checkNum x = //定义一个无返回值的方法，判断输入参数值是否等于10
if x = 10 then printfn "%s" "x的值和10相等" //（注意判断相等是单等于号）
else printfn "%s" "x的值和10不相等"
checkNum 10
2、类型约束（或类型注释） 将参数 或 标识符用括号括起来，在后面用: type的方式来声明具体的数据类型
let ( x : int ) = 1 // 申明整形标识符x
let hello ( name : string ) = //hello 方法的参数name是string类型
printfn "hello %s" name
let ( names : list<string>) = ["a";"b";"c";"d"]
let add (x : int) (y : int) = x + y
3、模式匹配 match 类似于 C# switch语句
let rec luc x =
match x with
| x when x <= 0 -> failwith "value must be greater than 0"
| 1 -> 1
| 2 -> 3
| x -> luc (x - 1) + luc ( x-1 - 2)
let printout x =
match x with
| x -> printf "%s" x
printout "a"
let getLanguage ( lId : int ) =
match lId with
| 1 -> "普通话"
| 2 -> "English"
| lId when lId <= 0 -> failwith "出错啦"
| lId -> "未知"
printfn "%s" (getLanguage -3)
let getMonthDays x = //当多个匹配项的结果都是一样的时候，可以连续用|来间隔多个 case情况 ，_ 类似sql的通配符表示其它匹配值情况
match x with
| 1 | 3 | 5 | 6 | 8 | 10 | 12 -> 31
| 4 | 7 | 9 | 11 -> 30
| 2 -> 28
| _ -> failwith "月份不正确" //x _都可以匹配
printfn "%i" (getMonthDays 2)
printfn "%i" (getMonthDays 5)
printfn "%i" (getMonthDays 7)
let getMonthDays2 m y =
let checkRun year =
(year % 4 = 0 || year % 100 = 0)&&( year % 400 <> 0)
match m with
| 1 | 3 | 5 | 6 | 8 | 10 | 12 -> 31
| 4 | 7 | 9 | 11 -> 30
| 2 when (checkRun y) = true -> 29
| 2 when (checkRun y) = false -> 28
| _ -> failwith "月份不正确" //x _都可以匹配
printfn "%i" (getMonthDays2 13 2000)
4、List和pattern match (列表和模式匹配) , 列表在进行模式匹配时可以用head 和 tail来表示列表头和列尾,理解时可以把列表看成是链表 head 表示头结点，tail表示除了头结点外的尾链s//如 [ 1 ; 2 ; 3 ; 4 ] head 是 1 , tail 是 [ 2 ; 3; 4 ] , 如 [ 1 ] head 是 1 , tail 是 [ ]
let outputListHead l =
match l with
| head :: tail -> printfn "%A" head //在匹配时,case 应该是个list,head::tail,head与tail连接成为list, (::连接符参考list元素与list连接返回新列表, @用来连接两个列表)
outputListHead [1;2;3;4] //输出 1
let rec outPutList (l : List<int>) = //递归输出列表中的元素,输出列表等于输出列表头再输出尾列表
match l with
| head :: tail -> printfn "%A" head ; outPutList tail ;
| [] -> printfn "%s" "结束";
outPutList [ for i in 1..2..9 -> i ]
