Tag: 也许

究竟是什么让选项在斯卡拉monad？

我知道monads是什么以及如何使用它们。 我不明白的是，让我们说， Option一个monad？ 在Haskell中，一个monad Maybe是一个monad，因为它是从Monad类实例化的（至less有两个必要的函数return并bind ，使得Monad类实际上是一个monad）。 但在斯卡拉我们有这样的： sealed abstract class Option[+A] extends Product with Serializable { … } trait Product extends Any with Equals { … } 没有关系到monad。 如果我在Scala中创build自己的类，默认情况下会是monad吗？ 为什么不？

为什么在Clojure中使用Maybe / Option没有这么普遍？

为什么Clojure尽pipe如此强调function范例，却不使用Maybe / Option monad来表示可选值？ Scala是一个我经常使用的函数式编程语言，它的使用相当普遍。

Haskell中的undefined和Java中的null有什么区别？

两者都是术语的types是所有types的交集（无人居住）。 两者都可以在代码中传递，而不会失败，直到试图评估它们。 我可以看到的唯一区别是，在Java中，有一个漏洞，允许null被评估为一个操作，这是参考相等比较（ == ） – 而在哈斯克尔undefined根本不能被评估没有投掷一个例外。 这是唯一的区别吗？ 编辑 我真正想要解决这个问题的是，为什么在Java中包含null这样一个显然很差的决定，Haskell如何逃避它呢？ 在我看来，真正的问题是你可以用null做一些有用的事情，即你可以检查它是否为null 。 因为您可以这样做，所以在代码中传递null值并使它们指示“无结果”而不是“此程序中存在逻辑错误”已成为标准惯例。 而在Haskell中，没有办法检查一个术语是否评估到底而没有对它进行评估，程序是否爆炸，所以它永远不能用来表示“没有结果”。 相反，我们不得不使用像Maybe这样的东西。 对不起，如果看起来我玩的是“评估”这个词，那么我就玩得很快，而且我也试图在这里作一个比喻，并且无法精确地expression出来。 我想这是一个类比不精确的迹象。

在一个包含“Just”的Maybe中返回，

我有一个algorithm返回->Maybe ([(Int,Int)],(Int,Int)) 我想从另一个方法调用此方法，并对数据执行操作。 但是，返回值包含关键字Just因为它可能是。 第二种方法需要([(Int,Int)],(Int,Int)) ，因此不会除Just ([(Int,Int)],(Int,Int)) 。 有没有一种方法可以在应用第二种方法之前修剪？ 我不完全理解在Just的使用 – 但是，我被告知第一个Method的返回types必须是Maybe 。