腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
如何
对此
Haskell
函数
进行
类型
检查
haskell
show <$> case d of B a b -> (a + 2, b) 其想法是,我希望对元组应用一个
函数
,但它不会
进行
类型
检查
,因为元组的第二个元素可以是Int,也可以是Char。
浏览 25
提问于2021-10-05
得票数 2
2
回答
Haskell
TypeClass的调度是动态的吗?
haskell
、
dynamic
、
static
、
typeclass
、
dispatch
给定以下
Haskell
代码快照: bar :: a -> ... ...其中,a的值是在运行时确定的-类
对此
值
进行
分派。interface Flippable {} class Left imple
浏览 2
提问于2015-01-27
得票数 1
回答已采纳
2
回答
Haskell
:两次使用翻转(翻转的
类型
)
function
、
haskell
、
functional-programming
我正在学习
Haskell
的一些基本功能。我用Flip做了一些练习,它接受两个参数的
函数
,并根据参数的顺序对结果
进行
评估。考虑到
函数
flip ,我会认为,按照触发器的定义,它翻转了参数两次,用原始的顺序计算原始
函数
。当我在ghci
检查
函数
类型
时
检查
这个假设时,它得到了如下结果:我不明白为什么这是功能
类型
的翻转。它接受参数
浏览 0
提问于2019-01-29
得票数 3
回答已采纳
3
回答
如何
生成随机的
类型
化
函数
haskell
、
typechecking
我想以编程方式生成随机的
Haskell
函数
并对其
进行
评估。在我看来,要做到这一点,唯一的方法是基本上以编程方式生成
Haskell
代码,并使用GHC API或外部进程运行它,返回一个字符串,然后将其解析回
Haskell
数据
类型
。这是真的吗? 我的理由如下。这些
函数
是多态的,所以我不能使用Typeable。更重要的是,即使我编写了自己的
类型
检查
器并用其
类型
注释每个
函数
,我也不能向
Haskell<
浏览 2
提问于2013-04-25
得票数 19
回答已采纳
1
回答
在
Haskell
中实现语言:多态
函数
的动态
类型
?
haskell
、
polymorphism
、
dsl
、
dynamic-typing
根据在我的PL中的程序中编写的内容,在我的语言的运行时,我希望将不同
类型
的
Haskell
函数
动态应用于不同
类型
的
Haskell
值(它们的
类型
在运行时是已知的),其
类型
在运行时是已知的。我希望以一种通用的方式应用这些
函数
,而不必在每个可能的
类型
上都
进行
大小写。基本上,我希望我的语言运行时的这一部分在
Haskell
中动态键入。我还想为我的语言编写一个
类型
检查
器。对我<
浏览 4
提问于2018-02-03
得票数 2
2
回答
Haskell
类型
检查
代码
haskell
请告诉我
如何
检查
func
类型
是否为Tree,而不是命令页面中的代码?
浏览 4
提问于2017-03-26
得票数 0
3
回答
如何
在
Haskell
中定义
类型
依赖
函数
族
haskell
、
higher-order-types
这是(一系列)
Haskell
问题。我对
Haskell
还是个新手。kth (a1,a2,a3,a4) 2 = a2kth (a1,a2,a3,a4) 4 = a4 我怀疑为什么这并不简单,因为
Haskell
必须事先知道
类型
。在库
函数
fst和snd中,
Haskell
知道输出<
浏览 0
提问于2019-12-04
得票数 0
2
回答
如何
定义多个组合
函数
?
haskell
、
functional-programming
是否有一种方法可以定义一个
Haskell
函数
,它接受(某种
类型
的
函数
集合)并生成一个
函数
:它们从右到左的组合?我试过:但是,它只接受一个
函数
列表,其结果与其参数的结果
类型
相同:所以,我可以:然而,试图
对此
进行
评价: foldr ($) "hel
浏览 4
提问于2014-10-25
得票数 5
回答已采纳
2
回答
如何
在
Haskell
中对分层数据
类型
进行
建模?
haskell
我有一堆
类型
,它们的层次结构存储了一些有用的信息。我试图避免在操作
类型
的
函数
中加入
类型
层次结构的知识。cop - copula agent - agent 我想创建一些反映这种结构的数据
类型
,这样我就可以定义一些只能在某些
类型
上操作的
函数
。当我有一个在arg上操作的
函数
时,我用来表示arg的
类型
也应该包括agent,但agent的
类型
不应该包括arg。dep的
类型<
浏览 0
提问于2017-01-06
得票数 4
2
回答
如何
快速
检查
函数
的源代码?
haskell
我目前正在学习
Haskell
,我正在使用hoogle快速
检查
函数
的
类型
,但是使用任意
函数
名查询源代码确实很简单。例如,在
haskell
irc中,我可以做到lambdabot> break p = span (not . p) 这有终端版本吗?或者
如何
快速
检查
源代码?
浏览 1
提问于2013-11-25
得票数 2
回答已采纳
3
回答
Scala的Cake模式可以在
Haskell
中实现吗?
haskell
、
module
、
cake-pattern
在Scala中使用一些较新的语言特性,可以实现一个可组合的组件系统,并使用所谓的蛋糕模式创建组件,Martin Odersky在论文和中
对此
进行
了描述。Cake模式中使用的几个Scala特性具有对应的
Haskell
特性。例如,Scala隐含对应于
Haskell
类型
类,而Scala的抽象
类型
成员似乎对应于
Haskell
的关联
类型
。这让我想知道Cake模式是否可以在
Haskell
中实现,以及它会是什么样子。 Cake模式可以在
Ha
浏览 5
提问于2012-10-18
得票数 20
回答已采纳
2
回答
是否有一种很好的(R)方法来编写这个模板
Haskell
代码,包括单例数据
类型
?
haskell
、
template-haskell
我刚刚开始使用模板
Haskell
(我终于找到了用例,耶!)现在我在认知上被困住了。为了明确起见,我试图编写一个
类型
为declareSingleton的
函数
String -> DecsQ (这里应该提到,我使用的是GHC7.6.1,template-HaskellVersion2.8.0.0在这里,我是不是遗漏了一些显而易见的东西,是否以某种必要的方式混淆了
类型
名称和构造
函数
名称,我是否可以用一种很好的(R)方式编写declareSingleton呢? 若然,
如何
进行</e
浏览 3
提问于2013-03-08
得票数 6
回答已采纳
1
回答
如何
声明回
Haskell
土地
haskell
、
c2hs
我正在与一个C库
进行
接口,其中有一个
函数
具有(int (*fun) (void *))
类型
的回调参数。(编辑)我也
检查
了,但拒绝了它,因为"g
浏览 8
提问于2015-02-19
得票数 2
回答已采纳
2
回答
haskell
会擦除
类型
吗?
haskell
、
type-erasure
Haskell
会擦除
类型
吗?如果是,这与Java中的
类型
擦除有什么相似/不同之处?
浏览 1
提问于2012-09-18
得票数 21
回答已采纳
2
回答
Haskell
中
如何
与代数
类型
匹配
haskell
、
functional-programming
我正在执行的任务的目标是创建一组不同的
函数
,这些
函数
涉及搜索称为Trie的数据
类型
,其中构造
函数
定义为我首先要构建简单的
函数
,这样我就可以知道
如何
降低这个Trie,但是似乎模式匹配不起作用。我
如何
让解释器知道_表示一个尝试列表?我这么做的原因是,如果我不使用模式匹配,那么我不知道
如何
在以后降低Trie。
浏览 1
提问于2018-03-04
得票数 0
回答已采纳
2
回答
具有头部功能的
Haskell
懒惰问题
haskell
信息:他们不解释细节,我很好奇。我
对此
有几个问题: 若否,为何不懒惰呢?所以我的建议是,当
Haskell
看到像'+‘这样的操作时,它会计算结
浏览 1
提问于2018-10-10
得票数 2
回答已采纳
1
回答
将手柄转换为手柄
winapi
、
haskell
、
io
这将给我一个HANDLE (从
haskell
包中输入),但是我想要一个普通的
haskell
Handle,这样我就可以在它上使用标准的
haskell
函数
。所以我需要一个
类型
的
函数
:我
如何
实现这一点?在linux上,我可以使用System.Posix.IO的fdToHandle
函数
在linux系统调用所使用的FD
类型
和标准的<
浏览 3
提问于2014-07-02
得票数 10
回答已采纳
1
回答
解析开心
Haskell
时显示自定义错误
parsing
、
haskell
、
happy
我正在使用
Haskell
中的Alex和快乐编写一个一元解析器。我的错误
函数
定义如下:parseError _ = alexError "error occurred"解析器不需要
进行
类型
检查
,而是在生产过程中
进行
,因为我跟踪操作数
类型
。正如注释中所说的,我不能使用pars
浏览 0
提问于2016-05-05
得票数 3
回答已采纳
7
回答
Haskell
的
类型
系统是理解
函数
式编程的障碍吗?
functional-programming
、
haskell
、
language-features
、
type-systems
为了理解
函数
式编程,我正在学习
Haskell
,期望我能应用我在其他语言中获得的洞察力(主要是Groovy、Python、JavaScript )。我选择
Haskell
是因为我有这样的印象,它是非常纯粹的功能,不允许任何依赖状态。 我没有选择学习
Haskell
,因为我对导航一个非常严格的
类型
系统很感兴趣。我的问题是:强
类型
系统是非常纯功能语言的必要副产品,还是
Haskell
所特有的一个无关的设计选择?
浏览 0
提问于2010-12-22
得票数 33
回答已采纳
1
回答
获取/返回
函数
的
类型
haskell
、
types
在
Haskell
中有获得和返回
函数
类型
的方法吗?假设我有这样的功能:foo a b = (show a ++ show b ++ "hello")> getTypeTuple foo据我所知,
类型
本身不能作为表达式的一部分来处理,所以我想在
Haskell
的运行时不可能拥有这种特性。(静态<em
浏览 4
提问于2018-05-27
得票数 0
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
为什么Haskell是我们构建生产软件系统的首选
开发基于Haskell的电脑上网时间控制软件:培养专注力与耐心
利用Haskell开发公司电脑监控软件的异常检测算法
为什么我更喜欢函数式编程
Practical Haskell,2nd Edition 电子书推荐
热门
标签
更多标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储
活动推荐
运营活动
广告
关闭
领券