4

问题：

  • 这是单子吗？
  • 这是否表明对错误单子的合理理解？
  • 我错过了什么？
  • 我还能用这段代码做什么来更多地弯曲单子？
  • 我对成功/失败与“返回”/“结果”/“提升”的关系感到困惑（我认为这些都是相同的概念）。
  • 我们怎样才能让问题变得更复杂，这样 monad 才能帮助我们解决我们的痛点？monad 在这里有帮助，因为我们抽象了if result != None管道，我还想抽象哪些其他类型的管道，以及 monad（或“monad 组合器”）如何帮助这种痛苦？

我有点不知所措。

# helpers for returning error codes
def success(x): return (True, x)
def fail(x): return (False, x)

# bind knows how to unwrap the return value and pass it to
# the next function
def bind(mv, mf):
    succeeded = mv[0]
    value = mv[1]

    if (succeeded): return mf(value)
    else: return mv

def lift(val): return success(val)

def userid_from_name(person_name):
    if person_name == "Irek": return success(1)
    elif person_name == "John": return success(2)
    elif person_name == "Alex": return success(3)
    elif person_name == "Nick": return success(1)
    else: return fail("No account associated with name '%s'" % person_name)

def balance_from_userid(userid):
    if userid == 1: return success(1000000)
    elif userid == 2: return success(75000)
    else: return fail("No balance associated with account #%s" % userid)

def balance_qualifies_for_loan(balance):
    if balance > 200000: return success(balance)
    else: return fail("Insufficient funds for loan, current balance is %s" % balance)

def name_qualifies_for_loan(person_name):
    "note pattern of lift-bind-bind-bind, we can abstract further with macros"
    mName =    lift(person_name)
    mUserid =  bind(mName, userid_from_name)
    mBalance = bind(mUserid, balance_from_userid)
    mLoan =    bind(mBalance, balance_qualifies_for_loan)

    return mLoan

for person_name in ["Irek", "John", "Alex", "Nick", "Fake"]:
    qualified = name_qualifies_for_loan(person_name)
    print "%s: %s" % (person_name, qualified)

输出：

Irek: (True, 1000000)
John: (False, 'Insufficient funds for loan, current balance is 75000')
Alex: (False, 'No balance associated with account #3')
Nick: (True, 1000000)
Fake: (False, "No account associated with name 'Fake'")
4

1 回答 1

2

这是单子吗？见单子定律：

Monad 类的所有实例都应该遵守：

  1. “左身份”：返回 a >>= f ≡ fa
  2. “正确的身份”： m >>= return ≡ m
  3. “关联性”： (m >>= f) >>= g ≡ m >>= (\x -> fx >>= g)

（return表示成功，>>=表示绑定）

  1. 留下身份。在您的实施中，这可能是：

    bind(success(x), balance_qualifies_for_loan) == balance_qualifies_for_loan(x)

    其中x是一些值并且f是一元函数。

  2. 正确的身份。同样，这可能是：

    bind(m, success) == m

    哪里m是一元值。

  3. 关联性。这可能是：

    bind(bind(m,  userid_from_name), balance_from_userid)) ==
  bind(m, lambda x: bind(userid_from_name(x), balance_from_userid))

所有这些都可以编写为单元测试，以快速检查这些属性是否适用于许多输入值。

什么不见​​了？

  • 每个 monad 都需要不同的successand实现bind。将这些放入接口将允许您在所有已实现的 monad 上编写通用代码。
  • 基于Haskell 方法，您可能想要实现一些通用的 monad 组合子，例如>>,sequence和mapM. 这些使 monad 使用起来非常方便。
于 2012-04-04T02:12:33.347 回答