腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
3
回答
函数
,可以使用不同
类型
的
签名
来处理
函数
。
我试图用
haskell
编写
一个
函数
,它包含两个参数和一个
函数
。根据这两个参数,它将执行给定
的
函数
或不执行。问题是,给定
的
函数
可以有不同
类型
的
签名
。在伪码
中
: functionA :: String -> Stringparm
浏览 2
提问于2016-01-01
得票数 1
回答已采纳
1
回答
如
何在
Haskell
中
编写
函数
的
类型
签名
、
、
、
如
何在
Haskell
中
编写
此
函数
的
类型
签名
?
浏览 21
提问于2020-10-09
得票数 1
1
回答
如何将操作传递到Application.Helper.View
、
在Application.Helper.View
中
,我希望创建如下所示
的
HTML组件:button action label = [hsx|<a href={urlTo action}>{label}</a>|]但是,操作
的
正确
类型
签名
是什么检查urlTo (
浏览 6
提问于2022-01-06
得票数 1
回答已采纳
1
回答
Haskell
的
u f=f.f
类型
签名
比我想
的
要强
、
、
、
我
编写
了以下简单
函数
根据ghci,它
的
类型
签名
为但是,该
类型
签名
过于严格。
Haskell
正在强制要求我们
的
输入是(b -> b)
类型
的
,而不一定需要它。例如,
函数
(:[])
的
类型
签名
为它不是(b
浏览 1
提问于2017-12-30
得票数 18
回答已采纳
4
回答
为什么fold left期望(a -> b -> a)而不是(b -> a -> a)?
、
、
我想知道为什么fold left期望
的
函数
的
类型
签名
是a -> b -> a而不是b -> a -> a。这背后有没有设计决策?例如,在
Haskell
中
,我必须
编写
foldl (\xs x -> x:xs) [] xs来反转列表,而不是
编写
更短
的
foldl (:) [] xs (这在b -> a -> a
中
是可能
的
)。另一方面,有些用例需要
浏览 0
提问于2012-09-06
得票数 11
回答已采纳
1
回答
功能语言中
的
类型
系统与OO语言中
的
类型
系统有什么不同?
、
、
我一直在读一些开发人员
的
故事,他们说,一旦他们能够用
Haskell
、Ocaml、Elm甚至Rust等语言
编写
FP程序,就可以在没有错误
的
情况下编译,他们很确定这些程序能够正常工作。他们通常说,这主要是由于这些FP语言
的
类型
系统。那么,FP语言(
如
Haskell
、Elm等)
的
类型
系统与Java、Delphi和C#等语言
的
类型
系统有什么不同呢?我熟悉后者,并且知道当
函数</em
浏览 0
提问于2017-04-19
得票数 19
2
回答
在
Haskell
中
,如何获取数据结构
的
可用
函数
列表?
我知道我在这里问错了问题,但我是从Python来到
Haskell
的
,我想知道如何获得等同于类
的
可用方法列表
的
内容。例如,如果我使用HXT解析一个XML文件,并且有一些
函数
可以在生成
的
数据结构上使用,比如getChildren
函数
,我该如何从ghci
中
获取它们
的
列表呢?在Python
中
,我只能导入一个模块并键入module。来获取一个列表。
浏览 2
提问于2017-11-23
得票数 4
3
回答
是否有一个
Haskell
等价于OOP
的
抽象类,使用代数数据
类型
或多态性?
、
、
、
、
在
Haskell
中
,是否有可能
编写
一个带有
签名
的
函数
,它可以接受两种不同
的
(尽管相似)数据
类型
,并根据传入
的
类型
进行不同
的
操作? 举个例子可以使我
的
问题更清楚。如果我有一个名为myFunction
的
函数
,以及两个名为MyTypeA和MyTypeB
的
类型
,那么是否可以定义myFunction,以便它只能接受MyT
浏览 2
提问于2010-10-27
得票数 34
回答已采纳
3
回答
为多个
类型
定义
函数
、
如
何在
Haskell
中
为不同
类型
定义
函数
?给定
的
func x = xfunc' x = truncatex 如何将它们组合成一个带有
签名
的
函数
?
浏览 5
提问于2016-09-21
得票数 1
回答已采纳
2
回答
在
haskell
中
奔跑时,未被咖喱
的
形式是已知
的
、
、
我一直在
Haskell
中学习跑步,现在我尝试用currying形式
编写
函数
的
Haskell
类型
签名
,它
的
未缓存形式有一个参数对
类型
(x,y),其结果是x
类型
的
值。我认为正确
的
方法是f :: (y,x) -> x,但我不确定。这是正确
的
,如果不是,为什么?
浏览 2
提问于2021-09-22
得票数 3
回答已采纳
1
回答
如何创建类似error
的
Haskell
函数
(即字符串-> a)
、
在
Haskell
中
,error
函数
具有
签名
String -> a。它可以返回任何
类型
,因为它实际上从未返回。(它打印其参数并终止程序。) 我用C
编写
了一个类似的
函数
。它记录传递
的
字符串并终止进程。我是否可以
编写
一个
Haskell
包装器,使其具有与error相同
的
签名
?C
函数
的
形式为void RaiseError(char* msg) { .
浏览 11
提问于2022-04-18
得票数 4
1
回答
映射然后在
Haskell
中
过滤
、
、
、
、
我想要在
Haskell
中
映射一个Integer
类型
的
列表,然后如果Map
函数
没有返回任何内容,我想丢弃结果。我尝试
编写
的
函数
将有一个
类型
签名
到目前为止,我已经想过这样做case value of Nothin
浏览 7
提问于2021-10-04
得票数 3
1
回答
用字符串
的
元组列表替换字符串
我想
编写
一个名为trained
的
函数
,它接受一个字符串替换
函数
和一个单词对列表(字符串
的
两个元组)。以下是
浏览 3
提问于2019-10-13
得票数 1
回答已采纳
1
回答
铁锈封闭和
Haskell
lambda有什么区别?
、
、
、
最近,我在
中
讨论如何将一堆具有相同
签名
的
闭包放入Rust
中
的
向量
中
。来自
Haskell
的
背景,似乎有点复杂,锈蚀闭包每个都有自己独特
的
类型
,需要一个特征来表示它们。在
Haskell
中
,lambda由其
签名
键入,如果
签名
相同,则
类型
相同。 锈闭包和
Haskell
lambda
函数
之间是否有语义上
浏览 1
提问于2018-02-28
得票数 15
回答已采纳
1
回答
Haskell
:用foldr定义产品
= foldr (*) 1 xsnew_product = foldr (*) 1new_product = \xs -> foldr (*) 1 xs
类型
变量‘t0’是不明确
的
new_product ::t0整数->整数 是某种
类型
的
错误吗?
浏览 3
提问于2016-08-25
得票数 2
2
回答
haskell
中用户定义
的
高阶
函数
我看了几个
Haskell
学习示例,但我不知道如
何在
Haskell
中
编写
用户定义
的
高阶
函数
如果我们将一个参数作为
函数
,那么
函数
的
类型
id是如何定义
的
?
浏览 0
提问于2011-05-30
得票数 3
回答已采纳
1
回答
契约接口如何提供类似
Haskell
类型
类
的
抽象?
这允许抽象,类似于Java
的
接口、Scala
的
特性、
Haskell
的
类型
类或OCaML
的
签名
。可以在给定
的
模块
中
实现多个接口,允许对行为进行表达性分层。我知道您可以
编写
一个接口(这对应于在
Haskell
中
声明一个class ),然后您可以为一个或多个模块实现该接口(这对应于
Haskell
中
的
instance )。
类型</
浏览 3
提问于2022-07-20
得票数 1
回答已采纳
1
回答
Haskell
中
的
逆
函数
合成
、
、
$ xsfunction countWhere(predicate, xs) {}
如
您所见,
函数
组合非常类似于JavaScript
中
的
链接方法。在
Haskell
中
,我可以使用来自>>>
的
Control.Arrow
函数
和反向
函数
应用程序做类似的事情,如下所示
浏览 0
提问于2013-11-23
得票数 5
回答已采纳
1
回答
函数
类型
签名
中
的
右结合性
、
、
、
、
我很难理解
Haskell
中
类型
签名
背后
的
推理。myAdd :: a -> b -> c myAdd x y = x+
浏览 1
提问于2016-03-21
得票数 2
1
回答
函子
的
Haskell
型推理
、
、
最近我一直在玩
Haskell
,特别是整个函子
的
概念。我投入
的
越多,我得到
的
时间就越多,而且我
的
多巴胺受体也会很痒。 replicated <- replicator1 getLine用一种更简洁
的
方式写出它是非常诱人<
浏览 2
提问于2015-08-19
得票数 8
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
为什么Haskell是我们构建生产软件系统的首选
为什么我更喜欢函数式编程
一文解决现代编程语言选择困难:响应式编程
Clojure和Haskell——深度学习中的函数式语言之美
利用Haskell开发公司电脑监控软件的异常检测算法
热门
标签
更多标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储
活动推荐
运营活动
广告
关闭
领券