partial function

T 是一个偏函数（Partial Function），即 T 的定义域是 Q x O 的子集。如果 T 在 (q, o) 有定义，即存在 q ’ = T(q, o)，我们称状 …

信息英语词汇(P) ... partial carry 部分进位 partial function 部分函数 partial matching 部分匹配 ...

Scala 学习笔记 ... 密封类别（ Sealed class） 部份函式（ Partial function） 路径相依型态（ Path-dependent type） ...