F 入門學習（十三） 選項

選項表示有兩種取值的狀態：有值或者無值。

有值用some()取值。我終於知道前面的學習some是什麼意思了……

無值用關鍵字none表示。

定義選項常量

let x1 : int option = some(2)

let x2 : int option = none

val x1 : int option = some 2

val x2 : int option = none

int選項的函式特徵是：int option.

定義函式型別的選項

let keepifpositive (a:int) = if a>0 then some(a) else none

let x1 = keepifpositive 12
let x2 = keepifpositive 0
let x3 = keepifpositive -12

val keepifpositive : a:int -> int option

val x1 : int option = some 12

val x2 : int option = none

val x3 : int option = none

選項模式匹配

let exists (x : int option) = 

match x with
| some(x) -> true
| none -> false
let x1 = exists (some(22))
let x2 = exists none

val exists : x:int option -> bool

val x1 : bool = true

val x2 : bool = false

這種結構通常被用來實現異常控制。

F 入門 十三 Record 記錄

record在f 中是一種很重要的用來存貯資料的結構.它與元組和f 中的列舉 discriminatedunions 差不多，但是又有比他們更方便的地方，如 我們可以很輕鬆的訪問record中的每個元素的值，而不需要如元組那樣做更多的操作才可取得。下面我們看看record的定義及與之相關的操作 re...

F 入門學習（一）

開啟專案 6 3 6.0 3.0 6 3.0 會有波浪線，預能感知，藍色警告可以執行 字元型let x1 財 val x1 char 財 注釋let x1 財 一行注釋 哈哈 我是多行 注釋 串型別 f 是強型別語言 必須把型別分的清清楚楚的意思。val it string f 是強型別語言 用來幹...

Django入門學習（6） 元選項

元選項 在模型類中第一類meta，用於設定元資訊 元資訊db table 定義資料表名稱，推薦使用小寫字母，資料表的預設名稱 ordering 物件的預設排序字段，獲取物件的列表時使用，接收屬性構成的列表 class boolinfo models.model class meta ordering...