maybe

5热度

2回答

我们正试图在F＃中构建来自http://www.haskell.org/all_about_monads/html/maybemonad.html的Haskell-MaybeMonad示例。这个想法是在两本字典中搜索一个mailaddress。如果其中一个查找返回结果，我们将查看第三个。 let bindM x k = match x with | Some value ->

37热度

6回答

为什么在Clojure中Maybe/Option的使用不那么普遍？

为什么Clojure尽管如此强调功能范例，却不使用monad来表示可选值？在我经常使用的函数式编程语言Scala中，使用Option相当普遍。

9热度

1回答

函数返回“无解”而不是“无”

我有一个标准的数据类型表示谓词逻辑的公式。代表的脱节自然演绎排除规则的函数可能看起来像： d_el p q = if p =: (Dis r s) && q =: (Neg r) then Just s else if q =: (Dis r s) && p =: (Neg r) then Just s else Nothing where r,s free x

4热度

1回答

iSynaptic.Commons和也许单子

我一直在试图找出我怎么能使用在iSynaptic.Commons也许单子的情况下在我的价值猎犬可能抛出一个异常：例如： dynamic expando = new Expando(); expando.Name = "John Doe"; var maybe = Maybe.Defer(()=>(string)expando.NonExistingProperty); //In thi

4热度

3回答

哈斯克尔 - 只使用或不只是做区别，但我不知道为什么

我发现这样的代码在书中“真实世界哈斯克尔”，P68 data Tree a = Node a (Tree a) (Tree a) | Empty deriving (Show) nodeAreSame (Node a _ _) (Node b _ _) | a == b = Just a nodeAreSame _ _ = Nothing 我的

31热度

6回答

在Haskell中使用Maybe类型

我正在尝试在Haskell中使用Maybe类型。我查找了返回Maybe的关键值数组。如何访问由Maybe包装的数据？例如，我想将Maybe包含的整数与另一个整数相加。

23热度

2回答

F＃中是否有标准选项工作流程？

在standrd F＃库中是否有选项（可能）wokflow（monad）？我发现了这个工作流的十几个手工制作实现（1,2），但我并不想将非标准和不可信的代码引入到我的项目中。所有可以想象的对谷歌和MSDN的查询都让我无法找到在哪里找到它。

15热度

2回答

从一个也许返回工作包含“只是”

我有了的Maybe ([(Int,Int)],(Int,Int)) 返回类型，我想从另一个函数调用这个和对数据进行操作的功能。但是，返回值包含在Just内。第二种方法需要([(Int,Int)],(Int,Int))，因此不会接受Just ([(Int,Int)],(Int,Int))。在应用第二种方法之前，我可以修整Just吗？我不完全理解在Maybe范围内使用Just - 但是，我被告知

6热度

1回答

使用Haskell的“也许”，键入声明[初学者的问题]

我已经开始尝试使用Haskell，并有问题。 qqq是一个函数，如果用“Nothing”调用时应打印一个字符串，如果用“Just something”调用，则打印其他东西。第一次尝试似乎工作： qqq Nothing = print "There isn't anything to be printed." qqq (Just x) = print "There is something to

10热度

2回答

Haskell初学者

我不明白为什么我从GHCi得到以下回应。是不是Maybe的构造函数？ Prelude> :t Maybe <interactive>:1:1: Not in scope: data constructor `Maybe' Prelude> let e = Maybe 5 <interactive>:1:9: Not in scope: data constructor `Maybe'