为什么这行得通?
def exists(s: Set, p: Int => Boolean): Boolean = { forall(s, !p(_)) }
这不是吗?
def exists(s: Set, p: Int => Boolean): Boolean = { forall(s, !p()) }
whereforall
是一个函数,并且p
是谓词。
为什么这行得通?
def exists(s: Set, p: Int => Boolean): Boolean = { forall(s, !p(_)) }
这不是吗?
def exists(s: Set, p: Int => Boolean): Boolean = { forall(s, !p()) }
whereforall
是一个函数,并且p
是谓词。