????在上一篇專欄中我們研究了函數(shù)的基本屬性，現(xiàn)在我們可以開始研究一些具體的函數(shù)和函數(shù)的運(yùn)算。我們從空函數(shù)開始：A 類型到 B?類型的空函數(shù)為 fun _ : A => @None B，它的性質(zhì)如下：

????分段函數(shù)的定義與性質(zhì)：

????f_DL S f 表示將函數(shù) f 的定義域限制在 S 的范圍內(nèi)后所得的函數(shù)，它的定義與性質(zhì)如下：

????常數(shù)函數(shù)的定義與性質(zhì)：

????f_id S 表示定義域?yàn)?S 且定義域中的每個(gè)元素的函數(shù)值均為其本身的函數(shù)，它的定義與性質(zhì)如下：

????反函數(shù)的定義與性質(zhì)：

????復(fù)合函數(shù)的定義與性質(zhì)：