函數(shù)式編程語(yǔ)言、編程和程序驗(yàn)證(編輯修改稿)
2024-11-24 21:04 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 type student = { name : string。 age : int。 score : real } type student 記錄是具有標(biāo)簽的元組 函數(shù)式語(yǔ)言 SML及編程簡(jiǎn)介 ? 例 4（多態(tài)類型） fun gcd(m, n) = if m = 0 then n else gcd(n mod m, m)。 其中的 if … then …else 是一個(gè)內(nèi)部定義的多態(tài)函數(shù) if … then …else = fn : bool ? ?a ? ?a ? ?a 其中 a是類型變量，類型變量以撇號(hào)開(kāi)始 函數(shù)式語(yǔ)言 SML及編程簡(jiǎn)介 ? 例 4（多態(tài)函數(shù)）取二元組的第 1元和第 2元 fun fst(x, y) = x。 val fst = fn : ?a ? ?b ? ?a fun snd(x, y) = y。 val snd = fn : ?a ? ?b ? ?b 函數(shù)式語(yǔ)言 SML及編程簡(jiǎn)介 ? 表的簡(jiǎn)介 – 表（ list）是相同類型元素的有限序列 – 如： [3, 5, 9], [ (1, “one”), (2, “two”), (3, “three”) ] – 表的構(gòu)造符 空表： [ ] 在已有的表前加入一個(gè)元素： :: 9 :: [ ] = [9], 5 :: [9] = [5, 9] – 基本的表函數(shù) null（測(cè)試空表）、 hd（返回表頭元素）、 tl（返回非空表的表尾）、 length（返回表長(zhǎng)） 函數(shù)式語(yǔ)言 SML及編程簡(jiǎn)介 ? 例 5（表類型）計(jì)算表的長(zhǎng)度 fun length [ ] = 0 | length (x :: xs) = 1 + length xs。 val length = fn : ?a list int length [3, 5, 9] length [“one”, “two”, “three”] 3 : int 3 : int – 豎線“ | ”將函數(shù)聲明分成兩子句，各處理一個(gè)模式 – length是一個(gè)多態(tài)類型的函數(shù) – list相當(dāng)于一個(gè)類型構(gòu)造符 函數(shù)式語(yǔ)言 SML及編程簡(jiǎn)介 ? 例 6（表類型）插入排序 fun insert(x, [ ]) : real list = [ x ] | insert(x, y :: ys) = if x = y then x :: y :: ys else y :: insert(x, ys)。 val insert = fn : real ? real list real list – 排序需要用到兩個(gè)變?cè)谋容^運(yùn)算，關(guān)系運(yùn)算“ =”不是多態(tài)的，因此 insert不是多態(tài)函數(shù) – 在第 1行上給出函數(shù)的結(jié)果類型就是為了避免類型推斷出現(xiàn)錯(cuò)誤 函數(shù)式語(yǔ)言 SML及編程簡(jiǎn)介 ? 例 7（表類型）基于表的一個(gè)高階函數(shù) fun map f [ ] = [ ] | map f (x :: xs) = (f x) :: map f xs。 val map = fn : (?a ?b) (?a list ?b list) – 算子 map把函數(shù) f 應(yīng)用到表的每個(gè)元素上，即 map f [x1, …, x n] = [f x1, …, f x n] – map f的結(jié)果是一個(gè)新函數(shù) 函數(shù)式語(yǔ)言 SML及編程簡(jiǎn)介 ? 例 8 靜態(tài)作用域（靜態(tài)綁定） let val x = 2 fun f y = x + y /* x是函數(shù) f的非局部變
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1