《OCaml語言編程基礎教程》是2018年6月人民郵電出版社出版的圖書，作者是陳鋼、張靜。
基本介紹
- 中文名：OCaml語言編程基礎教程
- 作者：陳鋼、張靜
- 出版時間：2018年6月
- 出版社：人民郵電出版社
- 頁數：314 頁
- ISBN：9787115471215
- 定價：79 元
- 開本：16 開
- 裝幀：平裝
內容簡介,圖書目錄,
內容簡介
OCaml語言是一種函式式程式設計語言。
本書重點介紹函式式編程的基礎知識以及OCaml程式設計的技巧，同時兼顧套用軟體開發的需求。全書共8章，前5章講解OCaml語言的函式式控制結構、數據結構、模組化程式設計、命令式程式設計和圖形程式設計；第6章介紹如何把OCaml移植到F#，第7章介紹通過C#開發的用戶界面調用OCaml或F#程式，第8章介紹面向對象程式設計。
本書適合想要學習OCaml程式語言或者想要學習函式式編程的讀者閱讀參考。
圖書目錄
第 1章 函式式控制結構 1
1.1 OCaml解釋器 2
1.2 表達式和let定義 3
1.3 let局部定義 6
1.4 基本類型 8
1.4.1 整數類型int 9
1.4.2 浮點類型float 11
1.4.3 字元類型char 13
1.4.4 unit類型和簡單輸入輸出 14
1.4.5 字元串類型string與
printf函式 15
1.4.6 bool類型和if表達式 18
1.5 乘積類型和模式匹配初步 21
1.6 函式和函式類型 23
1.6.1 簡單函式 23
1.6.2 函式表達式 28
1.6.3 function和fun比較 30
1.6.4 高階函式 31
1.6.5 遞歸函式 33
1.6.6 相互遞歸函式 36
1.6.7 模式匹配表達式 36
1.7 多態類型 40
1.7.1 類型變數 40
1.7.2 類型推導 42
1.8 λ演算對函式式語言的影響 44
1.9 中綴操作符與前綴操作符 45
1.10 同構函式和柯里化 46
1.11 循環疊代函式 47
1.12 本章小結 51
1.13 練習 52
第 2章 函式式數據結構 55
2.1 函式式數據類型和自動存儲
管理 55
2.2 類型的顯式定義 59
2.3 記錄類型 61
2.3.1 記錄類型和記錄的創建 62
2.3.2 函式的記錄參數 63
2.3.3 記錄欄位的重名 63
2.3.4 記錄的部分重建 64
2.3.5 記錄欄位簡寫 65
2.3.6 多態記錄類型 65
2.4 聯合類型 65
2.4.1 帶參數的構造子 67
2.4.2 由單個構造子構成
的聯合類型 68
2.4.3 遞歸類型 68
2.4.4 帶多態變數的聯合類型 70
2.4.5 表 70
2.4.6 值的遞歸定義 71
2.4.7 多態變體 71
2.5 表的編程技術 73
2.5.1 表的基本操作 73
2.5.2 定義表處理函式 75
2.5.3 線性表的同態映射 78
2.5.4 快速排序算法 80
2.6 函式運行時間分析 83
2.7 程式檔案的解釋執行和編譯執行 85
2.8 和C語言比較執行效率 88
2.9 尾遞歸 90
2.10 option類型和關聯表 91
2.11 帶標籤的函式參數以及
可選參數 92
2.11.1 標籤參數 92
2.11.2 可選參數 93
2.11.3 標籤參數和可選參數
的顯式類型說明 94
2.11.4 高階函式與標籤參數
和可選參數 95
2.11.5 帶標籤的標準庫 96
2.12 延遲求值 96
2.13 本章小結 98
2.14 練習 99
第3章 模組化程式設計 102
3.1 基於無序表的集合 103
3.2 基於有序表的集合 105
3.3 模組和接口 106
3.4 函子 111
3.5 函子的接口 115
3.6 用Set庫構造專用集合模組 119
3.7 生成質數集合 121
3.8 異常處理 125
3.8.1 異常表達式 125
3.8.2 異常捕獲 126
3.8.3 幾個常見的異常 128
3.9 模組的層次結構 129
3.9.1 多層模組 129
3.9.2 模組和檔案 130
3.9.3 自動模組化編譯
ocamlbuild 132
3.9.4 多參數函子 133
3.9.5 模組局部打開和
模組包含 134
3.10 模組用做表達式 136
3.11 抽象類型 138
3.11.1 抽象類型的作用和限制 138
3.11.2 私有抽象類型 139
3.11.3 局部抽象類型 141
3.12 動態構造模組接口 142
3.12.1 用接口構造接口 143
3.12.2 從模組推導接口 144
3.13 本章小結 144
3.14 練習 146
第4章 命令式程式設計 149
4.1 引用變數和賦值語句 150
4.2 可更改的記錄分量 153
4.3 數組 155
4.4 字元串和位元組序列 160
4.5 弱類型變數和多態
函式的部分作用 163
4.6 Printf庫和格式化輸出 165
4.7 Scanf庫和格式化輸入 168
4.8 檔案輸入輸出 171
4.9 命令式控制結構 174
4.9.1 賦值語句 174
4.9.2 順序控制 175
4.9.3 操作符“|＞” 176
4.9.4 循環控制 177
4.9.5 修改輸入參數的函式 178
4.10 編程案例：四向鍊表 178
4.11 散列表、棧、佇列及
命令式模組 185
4.12 本章小結 189
4.13 練習 190
第5章 模組化圖形程式設計 192
5.1 生成帶圖形庫的OCaml解釋器 193
5.2 圖形視窗 193
5.3 圖形視窗初始化及參數設定 196
5.4 事件循環 198
5.5 顏色設定 199
5.6 模組化圖形編程 200
5.7 文本數字環及字元串繪製 204
5.8 端點小環及圖形填充 208
5.9 端點連線線及弧線繪製 212
5.10 命令行參數 217
5.11 電機接線圖的完整代碼 220
5.12 本章小結 225
5.13 練習 226
第6章 移植OCaml圖形程式到F# 229
6.1 打開窗體 230
6.2 窗體初始化 232
6.3 在窗體中間畫圓 234
6.4 基本作圖模組 235
6.5 文本數字環 239
6.6 端點小環 242
6.7 連線線 244
6.8 F#版電機接線圖完整代碼 245
6.9 怎樣提高OCaml代碼的
可移植性 252
6.10 本章小結 253
6.11 練習 254
第7章 多語言聯合程式設計 255
7.1 軟體總體架構 255
7.2 C#調用OCaml命令行作圖
程式 257
7.3 C#調用F#動態共享DLL
作圖程式庫 259
7.4 C#調用Access資料庫 261
7.5 本章小結 264
第8章 面向對象程式設計 265
8.1 類和對象 266
8.2 基於對象方法畫電機圓 268
8.3 類的繼承 269
8.4 多重繼承 271
8.5 多重繼承中的同名方法 272
8.6 同名方法的延遲綁定 275
8.7 私有方法 275
8.8 虛擬類和子類型 276
8.9 類中的多態類型 279
8.10 多態類的繼承 283
8.11 二元方法 287
8.12 子類型與子類 288
8.13 類的類型 292
8.14 對象之間的相等關係 293
8.15 面向對象的電動機接執行緒序 294
8.16 本章小結 303
8.17 練習 305
附錄 部分習題參考答案 307
參考文獻 315
