search

FizzyElt / functional-programming

帶你探索 functional programming
https://fizzyelt.github.io/functional-programming/
MIT License
25 stars 0 forks source link

[數學] 全函數與部分函數 #28

Closed dannypsnl closed 11 months ago

dannypsnl commented 1 year ago

全函數

對所有輸入都有定義

部分函數

並未對所有輸入都有定義，最常見的就是除法 $x / y$ 在 $y = 0$ 時沒有定義

dannypsnl commented 11 months ago

System PCF: partial computations (Those that may not terminated even when well-typed)