Jus*_*ier 4 scheme predicate
在Scheme中,术语"谓词"使用如下:
谓词是一个始终返回布尔值(#t或#f)的过程.
为什么方案使用"谓词"来引用这样的函数？如果用法来自以前的语言,那么首先选择这个术语的动机是什么？
NOt*_*Dev 12
嗯,这来自数学逻辑,正如维基百科所说,谓词是一阶逻辑中的一个基本概念.在逻辑的每个"实现"中,谓词都是一个真或假的句子 - 因此它非常适合编程语言.
归档时间：
14 年，8 月 前
查看次数：
197 次
最近记录：