对伊德里斯“高等”类型的参数化
Parametrising over "higher-kinded" types in Idris

我刚刚开始玩Idris,并尝试将一些Haskell机器插入其中:命名空间工作数据Auto ab = AutoC(a - >(b,Auto ab))const_auto:b - > Auto ab ...

编写返回选项的函数
Composing functions that return an option

假设我有一些Int => Option [Int]类型的函数:def foo(n:Int):Int => Option [Int] = {x => if(x == n)none else x.some} val f0 = foo(0)val f1 = foo(1)我可以用...组成它们

如何在Spock中使用持久状态monad?
How do I use a persistent State monad with Spock?

我刚刚开始使用haskell,我遇到了一个基本的“echo”REST服务器问题。 Spock看起来像是REST服务器的一个很好的起点,虽然我得到了State monad的基础知识,...

如何指定抽象类型必须在scalaz中实现某些类型类?
How to specify that abstract types must implement certain typeclasses in scalaz?

我想编写一个简单地将两个monad绑定在一起的函数,而不事先确定monad(Lists,State monads等)的确切类型。 在我看来,这种通用性是......

在monadic上下文中生成列表
Generating lists in a monadic context

据我所知,你可以使用haskell中的'draw from'(< - )关键字从do-notation中的monadic上下文中取值:func = do x < - getRandom let y =(x + 1)return y How ...

Desugaring'do'块
Desugaring 'do' blocks

我在翻译这个do语句时遇到了一些麻烦:ex10 :: [Int] ex10 = do num < - [1..20] guard(even num)guard(num`mod` 3 == 0)将num返回到某种类型monad ...

切片数组或使用Iterator :: skip更有效吗?
Is it more efficient to slice an array or use Iterator::skip?

我想为切片[0 + k .. n]中的每个元素调用一个函数,其中k是偏移量,n是向量中元素的数量。 重要的是,我想要原始元素的索引...

了解绑定功能
Understanding bind function

在这篇文章中,作者解释monad使用这个例子(我猜测使用Haskell):bind f'::(Float,String) - >(Float,String)暗示bind ::(Float - >(Float, ...

一个简单的仆人休息api例子或“如何正确混合monad”?
A simple example of rest api in servant or "how to mix monads properly"?

我想在servant 0.5中构建一个rest api的简单示例:data MyData = MyData {var1 :: Int,var2 :: String} app :: Application app = serve api server api :: Proxy API api = Proxy server :: ...

如何理解这两个随机函数的组成?
How to make sense of composing these two randomized functions?

我正在学习Haskell,目前正在阅读Dan Piponi在Monads上的博客。 他的前两个例子对我来说非常有意义。 但是我无法理解第三个例子,他在......

haskell,如何处理不匹配的类型 - monads
haskell, how to deal with mismatched types - monads

我无法处理以下问题:我有一些函数,返回foo :: a - > b - > ErrorT String IO Int我知道它返回IO(字符串Int)。 不过,我也更复杂......

从runST返回随机生成器
Returning random generator from runST

我正在尝试在runST语句中使用随机生成器并在使用后返回生成器,因此可以在其他地方使用它。 如果我只返回一个向量,代码会编译,但在添加时...

运算符`>>>`和`>> =`如何在Haskell中工作?
How do the operators `>>>` and `>>=` work in Haskell?

我一直在阅读Haskell d3js库:这是定义Haskell框的代码:box :: Selector - >(Double,Double) - > St(Var'Selection)框父(w,h)= do assign $ .. 。

put命令在使用State monad的典型函数中做了什么?
What does the put command do in a typical function using the State monad?

这是来自https://wiki.haskell.org/All_About_Monads的示例。这是使用State monad通过一系列随机数生成命令来线程化StdGen值的示例。 如果我 ...

读取行直到空字符串,然后将它们相乘
Reading lines until empty string, then multiplying them

我在这里有一个关于Haskell IO的问题。 我已经在haskell编程了一段时间了,但是对于我的爱,我似乎无法绕过I / O. 任务很简单 - ......

国家monad组成的麻烦
trouble with state monad composition

我正在尝试http://www.haskell.org/haskellwiki/State_Monad#Complete_and_Concrete_Example_1给出的示例。这使得解决方案的可解决性超出了我的理解范围。 这就是我......

为什么`join`也被称为'mu`?
Why is `join` also known as `mu`?

我在Idris文档中注意到,join也被称为flatten和mu。 Idris>:doc join Prelude.Monad.join:Monad m => m(ma) - > ma也称为flatten或mu ...

也许monad:如何避免在Maybe <T>实例中存储T型值?
Maybe monad: how to avoid storing T-typed value in Maybe<T> instance?

在下面的coliru中,您将找到我对“Maybe”monad的实现。 http://coliru.stacked-crooked.com/a/82978c254410ba6e我遇到的问题是“Nothing”值带有......

MonadRandom:为什么堆栈溢出发生?
MonadRandom: why stack overflow happens?

这个问题肯定是针对stackoverflow.com的,这里是示例模块Main,其中导入Control.Monad.Random导入Control.Exception数据Tdata = Tdata Int Int整数字符串randomTdata :: ...

如何在计算表达式中定义自定义运算符
How to define custom operator in computational expression

我想在我的计算表达式上定义一些自定义运算符,但不能使它工作类型ZipSeq()= [<CustomOperation(“<*>”)>]成员this.Apply fs = f |> ...

Haskell:无法将预期类型'IO b'与实际类型bool匹配
Haskell: Couldn't match expected type 'IO b' with actual type bool

我收到以下错误:无法将预期类型`IO b'与实际类型`Bool'匹配在表达式中:upCheck [“########”,“#11xxx3#”,“#xx2xx3”, “#002xx3”,......] 2 [2,3,4] ......

Scala尝试和奇怪的行为
Scala Try and Either Weird Behavior

所以我正在使用Scala中的M类型,并提出了以下关于Try和Either:def brokers(throw1:()=> List [Int],throw2:List [Int] => List [String])= { println(“经纪人......

我们可以为WrappedArrow定义一个Monad实例吗?
Can we define a Monad instance for WrappedArrow?

WrappedArrow是Applicative的一个实例,但它可以成为Monad(可能是箭头是ArrowApply)? 实例ArrowApply a => Monad(WrappedArrow ab)其中return = pure(>>)= ...

Monad与顺序函数调用
Monad vs sequential function calls

关于monads的维基百科文章说:纯粹的功能程序可以使用monad来构建程序,其中包括结构化编程中的顺序操作。 没有在看 ...

为什么这个变量在哪里是不可见的
Why this variable is invisible in where

我想从文本文件中读取矩阵[[Int]](这个矩阵在项目euler的问题中给出),所以我有以下代码parseInt :: String - > [Int] parseInt [] = [] parseInt( x:xs)= ...

与Scotty和Sqlite合作并且在使用Monads时遇到了一些麻烦
Working with Scotty and Sqlite and having some trouble with the Monads

嗨,我是Haskell的新手,我一直在使用Scotty和Sqlite开发一个小型Web应用程序。 我在Scotty Actions中执行Sqlite操作时遇到问题。 我有点......

Haskell ST Monad:没有实例(MArray(STArray s)Int(ST s1))
Haskell ST Monad: No instance for (MArray (STArray s) Int (ST s1))

我在过去的一两个月里一直在学习Haskell,最近解决了这个编码问题。 另外的挑战是在没有额外空间和线性时间的情况下完成任务,我没有......

FP - 在flatMap上的抽象
FP - abstract over flatMap

我的FP技能有点生疏。 您如何调用以下结构,如何使Seq [_]替换为通用G [_](可能不假设CanBuildFrom):trait Top ...

在monadic计算中短路“无趣”的情况
Short-circuiting "uninteresting" cases in monadic computation

我有一个使用Data.Maybe.monad的函数:typeCheckν(f·e)=typeCheckνe>> =λ{(u,e')→typeCheckνf>> =λ{(u'▷t ,f')→你!≡ₜu'>> =λ{...

是否可以在从Haskell中的do块返回之前检查某些条件?
Is it possible to check some condition before returning from a do block in Haskell?

我正在做这样的事情做xs < - xss x < - x如果x> 3返回x包含if的行给我一个编译错误但是我不确定正确的方法来编写...

在符号中有条件地绑定或忽略值
Conditionally binding or ignoring a value in do notation

作为一个学习项目,我目前正在尝试在Haskell中为ELF文件格式构建解析器。 Elf二进制文件有一个称为程序头的部分,这个头包含一个专用于...的单词。

在Haskell中使用do语句
Using the do statement in Haskell

最后学习如何在Haskell中使用monad! 我想读取文件testInput,删除第一行,将函数waffles应用于其他每一行,并将结果保存在文件output.txt中。 我有 ...

“MonadReader(Foo m)m”从函数依赖中产生无限类型
"MonadReader (Foo m) m" results in infinite type from functional dependency

我试图在一个Reader中传递一个函数,该函数将从与调用函数相同的monad中调用,但是我得到了一个无限类型的错误。 简化的代码是:{ - #LANGUAGE FlexibleContexts#-...

StartApp在Elm中的模型和效果
StartApp's Model and Effects in Elm

假设我有一些模型,动作集和更新函数如下:type alias Model = Int type Action = Succ update:Action - > Model - >(Model,Effects Action)update action model ...

monadic函数中的尾递归
Tail recursion in a monadic function

我想在尾递归中转换下面的genEdges函数。 genEdges :: Int - > Node - > IO [Edge] genEdges n origin | n == 0 =返回[] | 否则=做...

Haskell从IO a转换为ma
Haskell Convert from IO a to m a

我想将monadic值转换为另一个Monad类的monadic值。 假设我有一个实例声明:实例ClassM TypeT其中funcX = abc >> = \ x - > return(...

在C#中添加SelectMany将linq扩展为新的monad类型,我如何在VB.net中做同样的事情?
In C# adding SelectMany extends linq to a new monad type, how do I do the same thing in VB.net?

解释monads的旧的Yet Another Language Geek博客文章描述了向C#添加SelectMany扩展方法,以便将linq语法扩展为新类型。 我已经在C#中尝试了它并且它有效。 一世 ...

在Slick中过滤和混合monad以获得理解和Cats
Filtering and mixing monads in Slick for comprehension and Cats

我有以下目标:创建一个monad,为用户添加以下计算流程:检查用户是否存在指定的电子邮件,如果他不存在则:检查凭据是否...

将Show实例添加到RWH的RandomState示例中
Adding a Show instance to RWH's RandomState example

我刚从真实世界的haskell中输入了RandomState示例。 它看起来像这样:import System.Random import Control.Monad.State type RandomState a = State StdGen getRandom :: Random a =&...

设计monadic类型
Designing a monadic type

我需要一些帮助来设计一个monadic数据类型,我似乎无法绕过这个想法,但我肯定知道我想要什么。 只有类型检查器似乎需要一些......

Haskell中的条件标准句柄重定向
conditional standard handle redirection in Haskell

我想读取文件,处理它,并将结果写入另一个文件; 输入文件名将通过控制台参数提供,输出文件名由输入文件生成...

在Haskell程序中输入错误
Type error in Haskell program

用户可以给出id,width,height和description矩形,然后将其写入文件。 现在我想将这个内容从文件加载到我的程序但是我有错误:无法匹配预期...

Nullable <T> monad上的绑定和标识函数在哪里?
Where are the bind and identity functions on the Nullable<T> monad?

我对monad的理解仍在形成。 我明白,除了联想之外,monad必须遵守的其他三个合同是身份,纯粹和绑定。 我推断......

列表理解的Monadic方式
Monadic way for list comprehension

我有以下函数组合:[[a]] - > [[a]]组合[] = [[]]组合(xs:xss)= concat [map(x :) yss | x < - xs]其中yss =组合xss产生......

关于如何使用Undo Monad Transformer的简单示例
Minimalistic example on how to use the Undo Monad Transformer

我正在网上搜索有关如何使用Undo Monad Transformer的教程/示例但没有找到任何内容。 有人可以给出一个展示如何使用它的简约示例吗? 要么 ...

自定义`do` /`let`语法(没有宏)的想法?
Ideas for custom `do`/`let` syntax (without macros)?

我只是构建了一个状态monad“对象”,并希望能够将步骤绑定到变量,并链接连续的计算,就好像使用bind / >> =,就像haskell如何使用monad一样,并且...

Haskell monadic IO
Haskell monadic IO

compute fp = do text < - readFile fp let(a,b)= sth text let x = data b --g < - x putStr $ print_matrix $ fst $ head $ x当我只获得第一个元素但我想要的时候它有效...

如何从主要的kickadart monad变压器堆栈?
How to kickstart monad transformer stack from main?

这是我前一个问题的后续问题:State和IO Monads我的目标是为文件创建一个简单的文本编辑器。 我已经有一个编辑器组件,很好地封装了所有编辑...

如何处理Scalaz中的多个IO点并进行喷涂
How to deal with multiple IO points in Scalaz and spray

REST调用使用spray.io。 它使用各种函数验证该调用中的请求,包括查询数据存储的中间函数。 如果一切正常,则写入所述数据存储。 在......
1 2 3 4 5 6 7 32 33