从可呼叫功能返回值

Question

# -*- coding: UTF-8 -*-
#Sentience

import typing

Ninf = typing.Callable[[int], bool]

Ninf_map = typing.Callable[[Ninf], bool]

def inj(k: int) -> Ninf:
    return lambda n: n < k

def eps(p : Ninf_map) -> Ninf:
    return lambda n: min(p(inj(k)) for k in range(n + 1))

def omniscience(p : Ninf_map) -> typing.Optional[Ninf]:
    return None if p(x := eps(p)) else x

inj
eps
omniscience

s = x
if s:
    print("XOXO")

如您在这里所见，X没有价值，但是在函数“无所不知”中，它已分配。

在这种情况下，我想知道如何检索“ X”…

Answer 1

只需用论点调用函数全知

omniscience(1)

Answer 2

简单的答案是“ Call Omniscience具有适当的参数”。在运行时，p可以是 ，因为您实际上没有使用它。如果您要执行静态类型检查，则p必须是一个函数（或更确切地说，您可以调用的内容），即使p从未被调用或使用。 （类型Checkers仅担心匹配签名，而不是运行时行为。）

让我们看一下ninf：它基本上是整数上的谓词。某些示例可以命名甚至，奇数，greate_than_zero等。 false基于数字的某些属性。

让我们看一下ninf_map。它是另一个谓词，但这一次是在谓词本身上。我们的抽象水平更难掌握。我们可以在谓词上定义什么样的谓词？我们不能真正“检查”谓词；我们所能做的就是在某些参数上称其为“它在每种情况下都返回的内容，

这都是一个微不足道的示例。

# satisfiable has type Ninf_map. It will return
# true if there is *some* number n for which p(n) is true.
def statisfiable(p: Ninf) -> bool:
    if p(0):
        return True
    for n in count(1):
        if p(n) or p(-n):
            return True
    return False

（请注意，令人满意的永远无法返回false;它返回true或它永远运行。但是， type 没关系，这就是我们这里关心的

。 /code>，不管omniscience是否使用它。

omniscience(satisfiable)  # This type checks; satisfiable has the correct type.