python - 可能是 Python 中的 "kind-of"monad-6ren

python - 可能是 Python 中的 "kind-of"monad

转载作者：IT老高更新时间：2023-10-28 22:09:51

25

4

试图找到一种方法来清理我的一些代码。

所以，我的 Python 代码中有这样的内容:

company = None
country = None

person = Person.find(id=12345)
if person is not None: # found        
    company = Company.find(person.companyId)

    if company is not None:
         country = Country.find(company.countryId)

return (person, company, country)

阅读了有关 Haskell 单子(monad)的教程(特别是 Maybe)，我想知道是否可以用另一种方式编写它。

最佳答案

company = country = None
try:
    person  =  Person.find(id=12345)
    company = Company.find(person.companyId)
    country = Country.find(company.countryId)
except AttributeError:
    pass # `person` or `company` might be None

EAFP

关于python - 可能是 Python 中的 "kind-of"monad，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/8507200/

25

4

0

文章推荐： python - 和/或运算符返回值

文章推荐： python - 如何检查一行是否有列表中的一个字符串？

文章推荐： python - 快速半正弦逼近(Python/Pandas)

monads - 为什么要为 monad 定义单位自然变换——这不是 monad 是内仿函数的定义所暗示的吗？
monad 被定义为类别 C 上的内仿函数。假设 C 具有类型 int 和 bool 以及其他构造类型作为对象。现在让我们考虑在这个类别上定义的列表 monad。根据它的定义，list 是一个内仿函
haskell - 整理 Monads - 将 monad 转换器的应用程序转变为新型 monad
我试图采取例如ExceptT a (StateT A M) , 对于某些具体类型 A和单子(monad)M ，并将它们包装到我的新自定义单子(monad)中。首先我确定StateT A M经常出现在
haskell - 使用 monad 转换器和恒等 monad 派生基础 monad
我读到(例如 here 和 here )所有基本单子(monad)(Mabye, Error, ...) 源自其相应的 monad 转换器(MaybeT, ErrorT, ...) 使用身份 mona
monads - 具有两种状态变量类型(输入和输出)的状态单子(monad)仍然是单子(monad)吗？
Haskell 的状态单子(monad) State s a迫使我保持相同类型的 s在整个做 block 期间。但是由于 state monad 实际上只是一个函数，如果我将它定义为 State
free-monad - 自由单子(monad)只是带有接口(interface)的单子(monad)吗？
我一直在阅读some materials on free monads而且我真的不认为我离实现更近了，但我认为我更接近于理解它们是什么! 鉴于上述大量资源，我的理解是自由单子(monad)从“计算”工
haskell - 如果其中一个 monad 包装在 monad 转换器内，是否可以重用 monad 组合函数？
假设我有一个由两个 monad 操作组成的函数: co::Monad m => m a -> m a -> m a 您可以将 co 视为一个高阶函数，它描述两个单子(monad)操作如何相互协作来完成
monads - 为什么验证会违反 monad 法则？
在 SO解释了为什么像 scalaz、cats (Scala) 或 Arrow (Kotlin) 中的 Validation 不能是 monad。据我所知，这是因为他们已经根据应用仿函数对 mona
monads - 我应该避免使用 Monad 失败吗？
我对 Haskell 还很陌生，并且慢慢地意识到 Monad fail 的存在有问题。真实世界的 Haskell warns against its use (“再一次，我们建议您几乎总是避免使用失败
monads - Monad 变压器 – 显式提升
我正在阅读现实世界 Haskell 中的 monad 转换器。在以下示例中，堆栈为 Writer在顶部State在Reader之上在IO之上。 {-# Language GeneralizedNewt
f# - Pause Monad - monadic 类型应该是什么样的？
我看到的典型 Pause monad 实现如下所示(基于 Giulia Costantini 和 Giuseppe Maggiore 编写的 Friendly F# 的第 5 章)。 open Sys
haskell - Monad 与 Monad 变压器
“Monads 允许程序员使用顺序构建 block 来构建计算”，因此它允许我们组合一些计算。如果是这样，那为什么下面的代码不能运行呢？ import Control.Monad.Trans.Stat
haskell - monad 变压器内 monad 的结果
这是我第一次认识 Monad Transformers，所以答案可能很明显。假设我在 StateT MyMonad MyType 类型的 do 块中，我想让另一个相同类型的函数修改状态并返回 MyM
scala - 类型构造函数是单子(monad)还是有单子(monad)？
人们通常说类型是单子(monad)。在某些函数式语言和库(如 Scala/Scalaz)中，您有一个类型构造函数，如 List 或 Option，您可以定义一个与原始类型分离的 Monad 实现。所
haskell - 在单子(monad)变压器类型类中使用列表单子(monad)？
我的目标是创建一个函数，该函数在 ReaderT WriterT 堆栈或 RWS 堆栈中使用 list monad。更一般地说，我如何在 mtl 类型类(如 MonadReader、MonadWrit
haskell - 是否有一个单子(monad)的术语也是一个共单子(monad)？
我只是想知道是否有一个简洁的术语来表示既是单子(monad)又是单子(monad)的东西。我做了一些搜索，我知道these structures exist ，但我还没有找到他们的名字。最佳答案在
haskell - 当两个单子(monad)都没有变压器时合并两个单子(monad)？
我正在玩写一个网络应用程序。在这种情况下，我使用 scotty和 redis ，但是这个问题出现在任何 web/db 组合中。在此之前我使用了 happstack，所以我也喜欢那里的一个例子。 Sco
haskell - 单子(monad)的自由单子(monad)
是 x >>= f相当于 retract (liftF x >>= liftF . f) ? 也就是说，从同样是 Monad 的 Functor 构建的自由 monad 的 monad 实例是否将具有
haskell - monad 和 monad 函数的类约束
我正在尝试编写一个只能包含 Num 的新 monad。当它失败时，它返回 0，就像 Maybe monad 在失败时返回 Nothing 一样。这是我到目前为止所拥有的: data (Num a)
haskell - 在任意 monad 中带有解释器的操作 monad
我正在使用 operational monad作者:海因里希·阿普菲尔姆斯。我想用结果类型的 monad 参数化解释器。我的代码的以下版本编译: {-# LANGUAGE GADTs #-} im
haskell - 如何使用自由单子(monad)来表达延续单子(monad)？
假设所有的 monad 都可以用 Free 来表示。 (如果这不是真的，什么是反例，为什么)？怎么可能the continuation monad或其对应的变压器用 Free 表示或 FreeT -

首页

博学

6Ren·AI

商城

python - 可能是 Python 中的 "kind-of"monad