腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
3
回答
函数
,可以
使用
不同
类型
的
签名
来处理
函数
。
haskell
我试图用
haskell
编写一个
函数
,它包含两个
参数
和一个
函数
。根据这两个
参数
,它将执行给定
的
函数
或不执行。问题是,给定
的
函数
可以有不同
类型
的
签名
。在伪码
中
: functionA :: String -> S
浏览 2
提问于2016-01-01
得票数 1
回答已采纳
1
回答
Haskell
-如
何在
函数
体
中
使用
类型
签名
中
指定
的
类型
参数
?
haskell
Heap.toList (Heap.fromList $ xs :: Heap.MinHeap a)heapsort xs = Heap.toList
浏览 19
提问于2019-03-20
得票数 2
回答已采纳
1
回答
函数
类型
签名
中
的
右结合性
haskell
、
types
、
functional-programming
、
currying
、
type-signature
我很难理解
Haskell
中
类型
签名
背后
的
推理。myAdd :: a -> b ->
浏览 1
提问于2016-03-21
得票数 2
1
回答
为什么要为‘(->)e’这样
的
“无名”
类型
定义一个函子实例
haskell
、
types
在
Haskell
中
,有(->) r
类型
函子实例
的
定义。 fmap = (.)解释说,((->) e)是以e
类型
的
值作为
参数
的
函数
类型
。这是有道理
的
,但与Maybe,Either a,甚至[]相比,我不知道以后如何
使用
[]。我想我理解这些函子定义,它们
的
名称是:Maybe,Ei
浏览 0
提问于2020-08-02
得票数 4
回答已采纳
2
回答
函数
签名
类型
内
的
Haskell
函数
haskell
在
Haskell
中
,我很难理解
函数
签名
类型
中
的
功能,我已经看到了这个
函数
;twice f x = f(f x) 它对
参数
执行所选
函数
的
两倍。我知道f是一个
函数
,但是不明白为什么我们有
签名
类型
(a -> a) -> a -> a,我认为它应该是(a -&g
浏览 4
提问于2016-02-21
得票数 0
回答已采纳
1
回答
Haskell
/Frege是否曾重新计算过懒惰列表
中
的
元素?
haskell
、
caching
、
lazy-evaluation
、
frege
假设我有一个所有素数
的
列表,定义为primes = sieve [2..](flip mod x)) xs)sumOfPrimesLessThan :: (Integral α) => α -> α print (productOfPrimesLes
浏览 4
提问于2016-08-10
得票数 3
回答已采纳
1
回答
使用
函数
接口确保
参数
,但推断更具体
的
返回
类型
typescript
、
type-inference
、
typescript-generics
、
inferred-type
我有一个
函数
签名
,我需要一堆
函数
来遵循它,如下所示: type ActionCallback<R = any> = (param1: SpecificType, param2: OtherType)=> Promise<R> 基本上,
参数
的
类型
是定义良好
的
,它必须返回一个promise,但是promise解析成什么取决于
函数
。我不需要在每次回调中都
指定
两个
参数
的
浏览 9
提问于2019-03-08
得票数 0
回答已采纳
1
回答
Haskell
相当于OOP
中
的
类专门化
oop
、
haskell
、
inheritance
我正在测试一些用于绘制静态
体
素场景
的
优化技术,并学习一些
Haskell
。我把
体
素定义为其中VoxelId只是Int
的
别名。由于我在直线上预测了一些线性代数,所以我希望Position表示三维向量.我
使用
的
库()只实现了Matrix数据
类型
,但是拥有位置有底层
类型
的
Matrix只会简化进一步
的
计算,所以我对此没有意见。然而,对
浏览 5
提问于2016-12-19
得票数 1
回答已采纳
1
回答
接口是属于即席多态(即重载)还是子
类型
多态性?
oop
、
haskell
、
polymorphism
、
subtyping
、
adhoc-polymorphism
说 adopt多态性是指当一个值能够采用几种
类型
中
的
任何一种时,因为它或它所
使用
的
值已经为这些
类型
中
的
每一种
类型
都定义了单独
的
定义。例如,与应用于整数时相比,+运算符在应用于浮点值时所做
的
事情本质上是完全不同
的
--在Python
中
,它甚至可以应用于字符串。大多数语言至少支持一些即席多态,但在C等语言中,它仅限于内置
函数
和
类型
浏览 2
提问于2019-07-18
得票数 3
1
回答
理解Haskells
类型
签名
(例如带有(+)
的
zipWith )
haskell
、
signature
、
type-signature
关于
Haskell
中
的
类型
签名
,我有一个问题,有时我觉得有些难以理解。例如,zipWith
的
类型
签名
是:我在这里看到
的
是,zipWith需要一个
函数
(带有a和b
类型
的
参数
),一个带有as
的
列表,一个带有bs
的</em
浏览 3
提问于2014-01-01
得票数 3
回答已采纳
1
回答
Haskell
和java泛型
类型
中
的
类型
构造
函数
有什么不同?
java
、
haskell
、
generics
、
monads
我正在阅读一些关于monad
的
东西,没有
Haskell
的
经验,并且与
类型
构造
函数
的
概念相混淆。 public class M<T> { static <
浏览 2
提问于2017-02-20
得票数 1
回答已采纳
3
回答
Haskell
函数
型澄清
haskell
我试图理解
函数
的
Haskell
类型
变量。我写了一个
函数
:我试图理解这个
函数
的
类型
变量,所以我做了一个:t applyTwice。
Haskell
就是这样解释
类型
的
:然后我创建了另一个
函数
:这一次:t
浏览 0
提问于2017-02-15
得票数 2
回答已采纳
2
回答
理解(.)
的
类型
签名
haskell
、
functional-programming
我只是学习
Haskell
和
函数
式编程
使用
理查德伯德
的
书,并偶然发现(.)
的
类型
签名
。
函数
。.) :: (b -> c) -> (a -> b) -> (a -> c)(f . g) x = f (g x) 我理解操作符在做什么,但对于如何读取
类型
签名
感到有点困惑。它是说(.)它
的
第一个
参数
是
类型
(b
浏览 4
提问于2013-12-25
得票数 4
回答已采纳
3
回答
是否可以在
Haskell
中
定义一个具有两种可能
类型
的
输入
参数
的
函数
?
haskell
、
pattern-matching
、
parametric-polymorphism
为了我自己
的
理解,我想在
Haskell
中
定义一个
函数
,它包含两个
参数
--要么是整数,要么是两个字符。它对这些论点做了一些琐碎
的
审查,例如:foo 2 1 = 0foo _ _ = -10foo :: a ->
浏览 4
提问于2014-12-25
得票数 3
回答已采纳
3
回答
在单曲
中
“跑”是什么意思?
haskell
、
monads
、
monad-transformers
、
purely-functional
在研究
Haskell
教科书中关于不同单子
的
章节时,当作者们从解释bind和monad定律
的
细节跳到实际
使用
monad时,我反复地迷失了方向。因此,在monad
中
“运行”某项内容可能意味着(a)提供它作为return
的
参数
,或者(b)
使用
>>=对其进行排序。由此,我不明白如
何在
任意monad
中
“运行”某些
函数
,因为我
使用
>>=排序
的
函
浏览 4
提问于2020-05-15
得票数 9
回答已采纳
2
回答
Try[T]地图
类型
functional-programming
、
haskell
、
scala
、
map
我查看了Scala中用于map
的
Try[T]
类型
,即:在
Haskell
,我已经习惯了地图
的
类型
:但是,我不明白Scala
类型
意味着什么。如果map将Try[S]转换为Try[T],为什么
类型
不是: def map[Try[T]
浏览 0
提问于2016-06-04
得票数 1
回答已采纳
4
回答
从迭代器推导
参数
类型
c++
、
templates
、
typename
我试图在foldr
中
实现
Haskell
函数
C++:B foldr(F f, B z0,我可以
使用
F
的
信息将std::function
的
类型
推断为ForwardIter吗?虚型:F= std::function<B(typename ForwardIter::value, B)> 考虑到指示
参数
之间关系
的</e
浏览 4
提问于2013-11-25
得票数 2
回答已采纳
1
回答
功能语言中
的
类型
系统与OO语言中
的
类型
系统有什么不同?
functional-programming
、
type-systems
、
static-typing
我一直在读一些开发人员
的
故事,他们说,一旦他们能够用
Haskell
、Ocaml、Elm甚至Rust等语言编写FP程序,就可以在没有错误
的
情况下编译,他们很确定这些程序能够正常工作。他们通常说,这主要是由于这些FP语言
的
类型
系统。那么,FP语言(
如
Haskell
、Elm等)
的
类型
系统与Java、Delphi和C#等语言
的
类型
系统有什么不同呢?我熟悉后者,并且知道当
函数
签名</
浏览 0
提问于2017-04-19
得票数 19
1
回答
计算给定输入
类型
的
函数
返回
类型
haskell
在
Haskell
中
,我想计算给定
函数
在给定
参数
类型
时
的
返回
类型
。因此,例如,对于一个具有
签名
a -> a和
参数
类型
Bool
的
函数
,我希望获得返回
类型
Bool。现在,这是可行
的
: -- $ ghci -XScopedTypeVariables> import Data.Typea
浏览 12
提问于2020-01-06
得票数 0
回答已采纳
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 在这种情况下,为什么y
参数
需要是Bool
浏览 35
提问于2021-11-21
得票数 7
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
为什么我更喜欢函数式编程
为什么Haskell是我们构建生产软件系统的首选
Python实现MaxCompute UDF/UDAF/UDTF
C+模版编程实现Haskell的函数模式匹配特性
试试golang-函数
热门
标签
更多标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频
活动推荐
运营活动
广告
关闭
领券