腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
为什么
我
的
Haskell
函数
参数
必须
是
Bool
类型
?
haskell
、
types
、
functional-programming
、
type-inference
我
在
Haskell
中有一个
函数
,它
的
定义如下: f2 x y = if x then x else y 在尝试确定y
的
类型
时,我会假设它可以是任何有效
的
Haskell
类型
,因为它不是计算if-part所必需
的
。但是,使用检查
类型
签名 :type f2 收益率 f2 ::
Bool
->
Bool
->
Bool
在这种情况下,
浏览 35
提问于2021-11-21
得票数 7
回答已采纳
1
回答
计算给定输入
类型
的
函数
返回
类型
haskell
在
Haskell
中,
我
想计算给定
函数
在给定
参数
类型
时
的
返回
类型
。因此,例如,对于一个具有签名a -> a和
参数
类型
Bool
的
函数
,
我
希望获得返回
类型
Bool
。现在,这是可行
的
: -- $ ghci -XScopedTypeVariables>
浏览 12
提问于2020-01-06
得票数 0
回答已采纳
1
回答
混淆
Haskell
类型
推断
haskell
、
polymorphism
、
type-inference
我
刚刚开始学习
Haskell
。由于
Haskell
是
静态
类型
的
,并且具有多态
类型
推断,因此标识
函数
的
类型
为建议id可以接受任何
类型
作为其
参数
并返回自身。当我尝试时,它工作得很好:
我
只是假设在编译时,第一个id
是
Num a ::a -> a,第二个id
是</em
浏览 0
提问于2016-04-13
得票数 6
2
回答
Haskell
不能推断
类型
吗?
haskell
我
尝试过无数
的
谷歌搜索来寻找答案,但是对于
Haskell
来说,
我
并不了解其中一半
的
内容,而另一半
的
内容却没有很好
的
联系。
我
的
问题
是
,如果
我
在ghci中运行这些语句Prelude> sqrt x2.23606797749979 但是,如果
浏览 4
提问于2015-07-05
得票数 1
回答已采纳
2
回答
haskell
中
的
零阶
函数
haskell
我
已经开始学习
Haskell
,
我
试图用Int
类型
指定任意零阶
函数
的
Haskell
类型
签名。据我所知,对于一阶
函数
,它将类似于k :: Int -> Int。这是否意味着零阶
函数
的
类型
签名将仅仅是k :: Int,或者假设这是错误
的
?提前谢谢你!
浏览 1
提问于2021-09-21
得票数 4
回答已采纳
3
回答
预期
的
类型
和Main
haskell
完全是
Haskell
菜鸟。
我
有一个简单
的
函数
和一个main。
我
不知道这个错误是什么意思:In the expression: main编译代码时:
浏览 0
提问于2012-04-11
得票数 2
回答已采纳
2
回答
没有记录
类型
的
类型
构造
函数
?
ocaml
我
把下面的
Haskell
代码翻译成了OCaml:{ intialState :: q, transition,因为
类型
构造
函数
部分“...and of”
是
不允许
的
。它
必须
是
: isA
浏览 0
提问于2011-12-29
得票数 7
回答已采纳
2
回答
函数
签名
类型
内
的
Haskell
函数
haskell
在
Haskell
中,
我
很难理解
函数
签名
类型
中
的
功能,
我
已经看到了这个
函数
;twice f x = f(f x) 它对
参数
执行所选
函数
的
两倍。
我
知道f
是
一个
函数
,但是不明白
为什么
我们有签名
类型
(a -> a) -> a -> a,
浏览 4
提问于2016-02-21
得票数 0
回答已采纳
2
回答
为什么
下面的
类型
构造
函数
接受
的
参数
比数据构造
函数
少?
haskell
我
有以下
类型
声明:(有些人可能会从另一个
Haskell
教程中认识到这个声明)。<
浏览 1
提问于2017-02-26
得票数 2
回答已采纳
1
回答
提升
函数
与高阶
函数
的
区别
functional-programming
、
lifting
当人们谈论map、fold或bind时,
我
通常会听到提升这个词,但基本上每个高阶
函数
不都是某种提升吗?
为什么
filter不能从a ->
Bool
提升到[a] -> [a],甚至
bool
函数
(模拟if语句)都可以被认为
是
从a -> a到
Bool
-> a
的
提升。如果它们不是,那么
为什么
来自应用
类型
类
的
ap被认为
是
升降机? 如果重要
的<
浏览 6
提问于2017-04-19
得票数 6
4
回答
台风和超载,有什么联系?
haskell
、
typeclass
、
overloading
我
目前正试图把
我
的
头脑围绕着打字机和实例,但我还不太明白它们
的
意义。到目前为止,
我
对这个问题有两个问题:f :: (Eq a) => a -> a ->
Bool
为什么
要把(Eq a)放在签名里。如果==不是为a定义
浏览 9
提问于2017-12-25
得票数 18
回答已采纳
4
回答
Haskell
中
的
运算符和
函数
优先
function
、
haskell
、
operator-keyword
、
infix-notation
、
operator-precedence
因此,这是行不通
的
:因为它需要在“取”
的
第二个
参数
中插入。
我
的
问题
是
为什么
。> a1 -> [a1]'1)
haskell
似乎首先尝试在迭代
函数
之前解析取50
函数
。2)
Haskell
足够聪明地检测到实际
类型
是
: (a1 -
浏览 2
提问于2014-05-08
得票数 2
回答已采纳
3
回答
Haskell
中
的
参数
化
类型
haskell
、
types
、
functional-programming
为什么
Haskell
中
的
类型
必须
在
类型
构造
函数
参数
中显式地
参数
化?data Maybe a = Nothing | Just a data Maybe = Nothing | Just a 他们
为什么
要从设计
的
角度作出这个选择呢?一个比另一个好吗?<e
浏览 8
提问于2021-11-03
得票数 3
回答已采纳
1
回答
理解
Haskell
类型
签名
haskell
、
type-signature
我
必须
把
Haskell
类型
的
签名转换成一个术语。
类型
签名
是
:正确
的
结果术语
是
:这就是
我
的
问题,据我所知,g
是
一个返回c
的
函数
,c
是
浏览 4
提问于2020-07-28
得票数 2
回答已采纳
2
回答
Haskell
型
函数
?
haskell
、
types
它是一个作用于a
的
函数
吗?
是
“
类型
函数
”吗?指导员说,
Haskell
有图灵完整
类型
language...so,在这种情况下,
类型
也可以有
函数
,
我
假设?因为[]
是
空列表
的
构造
函数
,所以f总是a
类型
的
最外层
的
空构造
函数
吗?,但是如果有人说
Haskell
推断出那个元组
的</
浏览 3
提问于2017-07-19
得票数 9
回答已采纳
1
回答
Haskell
类型
签名
haskell
、
types
我
是
haskell
的
新手,
我
读过一些关于
类型
签名
的
东西,但有几件事
我
不明白。下面
是
我
看到
的
代码:mult :: Num a => [a] -> atrueList = foldr(&&am
浏览 0
提问于2017-12-05
得票数 3
2
回答
尝试理解哈斯克尔
的
=>与定义
类型
haskell
、
type-constraints
在
Haskell
中,
为什么
要定义一个带有
类型
约束
的
函数
:(==) :: (Eq a) => a -> a ->
Bool
ghci> :t(==) (==) :: Eq -> Eq ->
Bool
浏览 3
提问于2010-06-29
得票数 6
回答已采纳
3
回答
函数
等价于在二维数组上迭代
haskell
、
functional-programming
我
在
Haskell
中有这个
函数
(
我
使用
的
是
Haskell
-SDL库):pixel screenx y color
我
想用它来获取一个二维数组(或其他
类型
的
数据结构),并将其绘制到屏幕上,一次绘制一个像素。
我
考虑过用forM_来做这件事,但是想不出如
浏览 0
提问于2011-02-11
得票数 6
回答已采纳
1
回答
Haskell
中
的
存在
类型
与通用量化
类型
haskell
、
polymorphism
、
existential-type
它们之间
的
区别到底是什么?
我
想我理解了存在
类型
是
如何工作
的
,它们就像在OO中有一个基类,而没有向下转换
的
方法。通用
类型
有什么不同?
浏览 1
提问于2013-01-13
得票数 59
回答已采纳
3
回答
如何确定
Haskell
中常量表达式
的
类型
?
haskell
、
types
、
functional-programming
我
试图修改
我
的
函数
式程序设计考试,在过去
的
试卷上遇到第一个问题,是的,我们不允许使用解题单,这是过去试卷上第一个问题
的
例子。下面每个表达式
的
都在
Haskell
中给出了它
的
类型
(对于一个有多种
类型
的
表达式,只需给出一种
类型
)。(真,“你好”,42) 42,4,2长真滤镜
我
个人认为,一个和两个
的
答案分别是
bool</em
浏览 5
提问于2009-06-09
得票数 0
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
为什么Haskell是我们构建生产软件系统的首选
为什么我更喜欢函数式编程
C+模版编程实现Haskell的函数模式匹配特性
Python系列——基础3
一文解决现代编程语言选择困难:响应式编程
热门
标签
更多标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频
活动推荐
运营活动
广告
关闭
领券