腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
haskell
中
Monad
中
的
“
刚性
类型
变量
”
问题
haskell
、
monads
我正在尝试更好地学习monads,并在
Haskell
中
尝试它。我是这样定义
monad
的
: module TESTMonad where pure = return i
浏览 17
提问于2020-07-14
得票数 1
1
回答
是否有一种有效
的
方法生成给定泛型
的
函数(尤指。在
Haskell
中键入签名?
haskell
、
type-theory
、
hindley-milner
我已经看到了各种形式
的
“给定
类型
签名XXX,在
Haskell
中
查找实现”
的
问题
。因此,自然会问这是可以推广还是算法化。一个类似的
问题
是。但是,很明显,这项任务一般是不可能完成
的
。因此,下一个
问题
是用一些一般性来换取实用性。
问题
:如果所有
类型
签名都由固定集合(例如
Monad
, Traversable, Foldable)
中
的
刚性
<
浏览 7
提问于2019-12-06
得票数 6
回答已采纳
1
回答
Haskell
-无法匹配预期
类型
‘b’和实际
类型
‘a’
haskell
、
recursion
刚开始学习
Haskell
,我试着实现一个max函数,递归地找到列表
的
最大值max' [] = 0 | x > max' xs = x但是当试图编译 无法将预期
类型
‘b’与实际
类型
‘a’‘a’相匹配,这是一个
刚性
类型
变量
,其
类型
签名为: max
浏览 1
提问于2017-11-09
得票数 5
回答已采纳
1
回答
Haskell
函数
中
的
属型与
刚性
型
haskell
为什么ghc不抱怨
类型
在以下功能
中
是僵化
的
?而其他时候,当我在泛型函数中使用具体
类型
时,ghc抱怨我使用
的
是具体
类型
。我是不是错过了什么?)import Control.
Monad
浏览 1
提问于2021-03-13
得票数 2
回答已采纳
3
回答
Haskell
中
的
刚性
变量
haskell
我不太明白下面的代码有什么
问题
。恐怕我错过了
Haskell
类型
系统
的
一些关键内容。
浏览 1
提问于2017-05-29
得票数 9
回答已采纳
2
回答
在
Haskell
定义一个新
的
单曲?
haskell
、
operator-overloading
、
monads
我想在
Haskell
中
创建我自己
的
单曲,让
Haskell
像其他在
monad
中
构建
的
一样对待它。例如,下面的代码用于创建一个
monad
,它在每次调用全局状态
变量
时更新某个全局状态
变量
,以及一个用于计算调用quot函数次数
的
评估器:type M a= State -> (a, State) -
浏览 6
提问于2014-10-22
得票数 5
回答已采纳
1
回答
元组(单元组,州)?
haskell
、
io
、
monads
、
state-monad
我正试图用
Monad
编写一个
Haskell
“猜数字”游戏程序,但我被塞了下来:data SM a = SMN (S -> (a, S)) c2 s1) 我需要在元组(a,S)
的
“操作符与原始状态
monad
相同,只不过我们将r1和接受参数为r
的
常量函数绑定在一起(因此这两个动作是链接在一起
浏览 3
提问于2015-02-21
得票数 1
回答已采纳
1
回答
如何在Python中表示参数化
类型
?
python
、
haskell
、
python-typing
在
Haskell
中
,foldm (foldl
的
monad
版本)就有这种
类型
。foldM :: (
Monad
m) => (a -> b -> m a) -> a -> [b] -> m a (例如,请参见this。) Python
的
等价物可以这样声明。a = TypeVar('a')def foldM(f: Callable[[a, b],
Monad
浏览 9
提问于2019-04-06
得票数 1
1
回答
无法匹配预期
类型
haskell
我在学习
Haskell
。:: Player, count :: Int} score a = count a 任何帮助都将不胜感激。
浏览 1
提问于2016-05-16
得票数 0
回答已采纳
1
回答
如何将多态函数应用于具体
类型
?
haskell
下面是我在学习
Haskell
时遇到
的
一个
问题
的
简略版本:data B = B | TestB B testB = test id (TestB B)‘’是一个
刚性
类型
<e
浏览 2
提问于2016-07-11
得票数 1
回答已采纳
1
回答
存在型
类型
的
类型
变量
导入
haskell
、
existential-type
、
quantifiers
、
rank-n-types
haskell
中
是否有任何在
类型
中
引入
类型
变量
(和约束)
的
绑定器?convBad x = Exists @m (return @m x, undefined)Not in scope: type variable ‘m’typecheck data Proxy (m::
浏览 2
提问于2021-03-25
得票数 2
回答已采纳
1
回答
JS
Monad
单元函数
javascript
、
functional-programming
、
monads
我很难理解JavaScript
中
的
单元函数。特别是因为让我“获取”monads (或者至少是我认为)
的
东西是承诺对象,以及then总是如何返回一个新
的
承诺,而不管您传递给then
的
函数是什么,据我所知,这相当于
haskell
中
的
bind或>>=。在他
的
实现
中
,bind直接返回转换函数
的
结果,而不检查结果本身是否是单
变量
。这与returns
的
then方法
浏览 3
提问于2016-03-19
得票数 16
1
回答
泛化函数时
的
编译错误-复杂错误消息
haskell
、
ghc
我有一个在IO
monad
中
运行
的
函数: withDB :: (forall c.另外,我在
haskell
代码中看到了这个~构造,但是找不到它是什么。延期?什么是
刚性
类型
变量
?,,我发现了错误并修正了它。在liftIO $之前删除scope就足够了。但那只是尝试-重新编译
的
周期。在这个错误消息
中
,哪里告诉了错误
的
位置?我发现“fn”有
问题
。好
的
,我考虑了一下,并猜测: GHC从上到
浏览 0
提问于2012-05-17
得票数 2
1
回答
ghc-期望MonadBaseControl具有“mod‘关联
的
新
类型
,而不是”mod“关联
类型
haskell
、
monad-transformers
、
type-families
、
ghc-mod
通过在沙箱
中
安装最新
的
ghc (5.2.1.1),我得到了这个错误:
浏览 2
提问于2014-12-24
得票数 3
回答已采纳
1
回答
如何在GHC中使用“`HasDynFlags”这样
的
类型
haskell
、
ghc
、
typeclass
在使用GHC代码库时,我发现了一个名为
的
类型
。class HasDynFlags m where虽然
类型
化名称看起来是不言自明
的
,但我在
类型
化定义
中
找不到其他约束,即m必须是
Monad
,但是,我在代码库中发现
的
大多数代码都是在do-表示法中使用
的
,例如dynFlag <- getDynFlags,其中m被进一步限制为
Monad
的
一个
浏览 3
提问于2015-07-04
得票数 1
回答已采纳
3
回答
也许
Monad
和选项
类型
有什么关系?
functional-programming
、
monad
我当时正在做一个关于F#
的
演讲,在讨论选项
类型
时,观众问我,选项
类型
是否是F‘S实现
的
“可能
的
单曲”。我知道情况并非如此,但我确实想问这两个概念之间
的
关系如何。我
的
意思是,在我看来,选项
类型
可能是一个可能单一广告运作
的
结果,但我甚至不确定。 有人会在那些支持它
的
功能语言中阐明可能
的
单
变量
和选项
类型
之间
的
关系吗?
浏览 0
提问于2012-06-22
得票数 8
回答已采纳
3
回答
执行单进计算N次
haskell
、
monads
performN ::
Monad
m => Int -> m t -> m [t]performN n m = ·无法将“m”与“[]”相匹配
类型
签名,用于:电话:260:13 预期
类型
:公
浏览 6
提问于2017-09-18
得票数 2
回答已采纳
2
回答
作为标识
Monad
的
函数应用程序:它如何是
Monad
类型
类型
的
实例?
haskell
、
monads
我正在阅读“函数式编程工艺”(第二版),在第404页
中
简要提到了函数应用程序也是
Monad
,作者称之为identity
Monad
。然而,我很难想象如何使函数应用程序成为
Haskell
中
的
类型
类
Monad
的
实例,就像数据结构可能是
Monad
类型
类
的
实例一样。这也引出了另一个
问题
:函数应用程序是怎样
的
类型
构造函数(与可能
的
浏览 1
提问于2014-04-08
得票数 2
回答已采纳
1
回答
Haskell
函数规划,函数作为参数
haskell
我正在训练功能
Haskell
,我无法理解这是怎么回事:maxBy measure a b = max (measure a) (measureb)maxBy (*2) 3 5 ==> 5maxBy head [1,2,3] [4,5] ==> [4,5]无法将预期<
浏览 1
提问于2020-11-30
得票数 2
回答已采纳
1
回答
如何将一元函数作为带有灵活
类型
变量
的
参数传递?
haskell
、
monads
、
typeclass
、
rank-n-types
为这个潜在
的
模糊题目道歉--我不知道该怎么表达它,因为我对
问题
是什么了解得很差。 valM :: m (Maybe a)-> IO a) -> IO (a, Maybe a) x <- g val return (x, yM) GHC (v8.2.2)抱怨a是一个
刚性
浏览 3
提问于2018-01-01
得票数 2
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
Python中的变量、数据类型、运算符
第44p,处理环境变量问题,Python中的sys
小白学习C语言编程中必须要掌握的变量与基本数据类型详解
Practical Haskell,2nd Edition 电子书推荐
让Monad来得更猛烈些吧
热门
标签
更多标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频
活动推荐
运营活动
广告
关闭
领券