-
用cont无法完成的callCC我该怎么办?
我真的很想了解callCC。我拥有Continuations的力量,并且在我的一些项目中一直在使用该概念来创建很酷的 -
寻找一种优雅的方式来组合单子和列表
让我们考虑以下模块签名: <pre><code>module Test {a b} (A : Set a) (B : Set b) where </code></pre> 它允许定义以 -
IO monad中的功能组成
Haskell中的<code>lines</code>函数将字符串的行分成字符串列表: <pre><code>lines :: String -> [String] </code></ -
如何为两个参数都具有相同类型的对编写monad实例?
假设我有一对类型: <pre><code>[1]</code></pre> 为其编写monad实例的正确方法是什么?我的想法大致是 -
寻找与liftA2相关的Haskell函数,但工作方式类似于Alternative中的<|>
考虑此<code>liftA2</code>函数: <pre class="lang-hs prettyprint-override"><code>liftA2 :: (Maybe a -> Maybe b -> Maybe c -
了解Monad 作为数据类型作为设计模式 UNIX命令 Python
<h1>问题</h1> 请帮助确认或纠正对Monad及其特征的理解。 <h3>作为数据类型</h3> 据我所知,一个Monad -
如何定义绑定方面的适用?
在Haskell中,Applicatives被认为比Functor强,这意味着我们可以使用Applicative来定义Functor,例如 <pre><code>- -
如何用(<*>)和pure定义(*>),(<*)?
我可以使用monad定义它们。 <pre><code>using (var httpClient = new HttpClient()) { using (var request = new HttpRe -
比`map`更好的方式来改变单子类型的内容
我经常要求输出除了函数返回的类型外还需要其他类型。 所以最后一条指令看起来像 <pre><code> -
Haskell中<-的类型是什么?
我有一个有效的程序 <pre><code>main = do inpStr <- getLine putStrLn ( "Hello " ++ inpStr ) </code></pre> <p -
Haskell monad不能执行的绝对类别monad的身份是什么?
<a href="http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html" rel="nofollow noreferrer">http://blog.sigfpe.com/2006/0 -
确定State Monad的状态和内容
过去几周我一直在阅读和观看FP上的资料,现在我尝试以一个简单的State Monad为例。我正在使用Javascript编 -
在Haskell中,如何将一个列表式单子绑定到另一个列表式单子
假设您要对有向图实现非常通用的操作,并尽可能少地假设结构。 不可能完全不做任何假设,因 -
Scala未来/理解问题的选择
我正在尝试编写一个从存储库读取的函数(该函数返回<code>F[Option[Entry]]</code>,其中<code>F</code>是未来的 -
如何在Scala中单子记录
我经常想在不更改的情况下登录或打印某些内容。 它看起来像这样: <pre><code>val result = myResult -
OCaml是否包含let *运算符的实现?
所谓的“ let运算符”在OCaml中是<a href="http://caml.inria.fr/pub/distrib/ocaml-4.08/ocaml-4.08-refman.html#s%3Abinding-operato -
为什么定义MonadReader需要功能依赖?
我只是设法了解了类<code>MonadReader</code> 的定义 <pre><code>class Monad m => MonadReader r m | m -> r where ... < -
初体验Monads(Haskell) 问题
对于这个主题不清楚,我深表歉意。我正在初学Haskell 99,并且在<a href="https://wiki.haskell.org/99_questions/Solut -
Option <T>集合的功能转换
我有一个<code>Option<T></code>实例的集合,想从<code>IEnumerable<Option<T>></code>转换为<code>Option<I -
处理程序和单子
我正在努力撰写<a href="https://www.servant.dev/" rel="nofollow noreferrer"><code>Servant</code></a>的<a href="https://hackage.has -
CPS协程:为什么这个示例需要精疲力竭?
我正试图从<strong> wikibooks / Haskell </strong>的<strong> CPS </strong>章节中找出<a href="https://en.wikibooks.org/wiki/Haske -
Data.List为monad插入
我正在使用<a href="https://hackage.haskell.org/package/base-4.12.0.0/docs/Text-ParserCombinators-ReadP.html" rel="nofollow noreferre -
如何将一个comonad和一个monad合并为一个comonad?
假设我有 <ul> <li>通俗的<code>D</code> </li> <li>单子<code>T</code> </li> <li>单子<code>l : D T -> T D</code>上社区 -
如何为以下数据类型定义monad实例?
这是我必须使用的代码: <pre><code>infixl 9 :@: -- This is newly defined symbol used in the application of expressions da -
Haskell中forM的返回值
如果我的列表<code>input = ["1", "-2", "14", "3"]</code>的长度为<code>n</code>,并且要将其 -
FSharpPlus:当我尝试合并两个变压器时,fsi会阻塞
当我尝试组合这两个变压器时,fsi阻塞,而没有任何警告或错误消息。 <pre><code>open FSharpPlus open FShar -
哈斯克尔的嵌套国家
我正在尝试定义状态机系列,这些状态机的状态有些不同。特别地,更“复杂”的状态机具有通过组合 -
如何实现parsec的try方法?
我想实现与parsec的<a href="https://hackage.haskell.org/package/parsec-3.1.14.0/docs/Text-Parsec.html#v:try" rel="nofollow noreferre -
类实例中的条件方法执行
我想创建能够优雅地处理数学错误的monad。我创建了类似的内容: <pre><code>from enum import Enum class Monad -
打印将以下功能视为参数
所以我正在学习Haskell,并且想运行一个更广泛的程序,但是我设法缩小了为什么它对这个问题不起作用