3

在Monte编程语言及其祖先E中，存在用于单次定界延续的语法，称为“喷射器”，它们是在句法边界内有效地仅可使用一次的延续。例如，这里有一个没有调用的喷射器：

escape ej { 42 }

还有一个喷射器，称为：

escape ej { ej(42); "After 10,000 years, I'm free!" }

两者都评估为42。我们还可以在调用喷射器的情况下附加一个动作：

escape ej { ej(2) } catch result { result + 4 }

这就是所有这些语法。不难想象这如何模仿Maybe或Either。我将把Haskell Wiki on Maybe 上的例子转录成惯用的 Monte：

def f(x, ej):
    return if (x == 0) { ej() } else { x }

def g(x, ej):
    return if (x == 100) { ej() } else { x }

def h(x, ej):
    return g(f(x, ej), ej)

# Monte permits Unicode identifiers but not for free.
def ::"h´"(x, ej):
    def n := f(x, ej)
    return g(n, ej)

（注意我们必须承担传递的负担ej。Monte 缺少 do-notation 的“可编程分号”。）

我不会Either，但大体上是一样的；添加catch子句的能力提供了所需的类型区分。分隔延续是众所周知的组合，因此可以构建复杂的工具：

def trying(f, g, ej):
    return escape innerEj { f(innerEj) } catch _ { g(ej) }

例如，这些小工具在 Monte 中用于构建手写解析器组合器。因此，在《所有单子之母》中，丹·皮波尼解释说Cont，从某种意义上说，这是一个非常原始Monad的元素，许多其他元素Monad都可以在此基础上构建。我们也可以尝试在 Monte 中执行此操作。让我们使用 Moggi 的风格在基于对象的语言中编码 monad：

object identity:
    to unit(x):
        return x

    # "bind" is a Monte keyword; we may still use it, but not for free.
    # NB this is `x >>= f` in Haskell.
    to "bind"(x, f):
        return f(x)

让我们对绑定助手进行编码i，以了解它的外观：

def i(m, x, ej):
    return m."bind"(x, ej)

...这没有帮助。这看起来不像是好的语法。

# Haskell: runIdentity $ do { x <- return 32; return $ x // 4 }
escape ej { i(identity, i(identity, identity.unit(32), fn x { identity.unit(x // 4) }), ej) }

未来应该有很酷的机器人，而不是这个。但是，还有另一个问题。让我们编码另一个传统的Monad，List：

object list:
    to unit(x) { return [x] }

    to "bind"(action, f):
        var rv := []
        for x in (action) { rv += f(x) }
        return rv

让我们做一个传统的笛卡尔积。首先，让我们做一个直接的计算；我们将直接使用 list monad 直接绑定，而不是传递延续：

▲&gt; i(list, [1, 2, 3], fn x { i(list, [4, 5, 6], fn y { [x * y] }) })
Result: [4, 5, 6, 8, 10, 12, 12, 15, 18]

现在有了一个喷射器：

▲&gt; escape ej { i(list, i(list, [1, 2, 3], fn x { i(list, [4, 5, 6], fn y { [x * y] }) }), ej) }
Result: 4

所以！这很有趣。完整的列表单子计算正在运行，但弹出器只看到列表中的第一项。我怀疑，由于喷射器是可组合的，因此有一种方法可以构建更复杂的逻辑单子，它可以更好地不计算这么多中间结果。

那么，我的问题是：当我们将MaybeandEither转换为惯用的 Monte 时，我们可以清楚地看到喷射器语法优雅地应用。还有哪些其他单子会有像这样有趣的单次行为？不要觉得局限于 Haskell；Monte 是无类型的，所以没有人会因为难以键入的 monad 而回避你！

4

0 回答 0