腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
圈层
工具
MCP广场
文章/答案/技术大牛
搜索
搜索
关闭
发布
文章
问答
(9999+)
视频
沙龙
1
回答
如
何在
Python
中
创建
类似
Haskell
的
sum
类型
?
、
如果我在
Haskell
中有一些简单
sum
类型
,比如我如
何在
Python
中
以一种方便
的
方式表达它?
浏览 12
提问于2021-02-22
得票数 1
1
回答
如
何在
Dhall
中
定义和使用
类似
Haskell
的
sum
类型
、
如
何在
Dhall编程语言中定义
类似
于
Haskell
的
sum
类型
的
sum
类型
?例如,如果在
Haskell
中
我定义我
的
目的是在Dhall
中
定义一个记录,其中它
的
一个属性具有一组有限
的
可能值: \(sumPropValue
浏览 8
提问于2018-07-29
得票数 6
回答已采纳
1
回答
最小化重复模式
的
函数过载
为了学习
haskell
,我一直在构建一个框架,非常
类似
于Pandas。在这个场景
中
,我定义了一个名为Series
的
数据 = SInt [Int] ByteString |SByteString [ByteString] ByteString但是由于
Haskell
类型
系统和我
的
知识,我用这种非常重复
的
编码模式编
浏览 3
提问于2020-03-23
得票数 2
回答已采纳
6
回答
从
Python
调用
Haskell
函数
、
、
、
我想使用一些来自
Python
的
Haskell
库(例如Darcs,Pandoc),但是在
Python
中
似乎没有到
Haskell
的
直接外部函数接口。有没有办法做到这一点?
浏览 1
提问于2011-02-16
得票数 33
回答已采纳
1
回答
表示多维数组(张量)
的
类型
级编程
、
、
、
、
全
类型
安全,使用方便。
Haskell
是纯功能
的
,比
python
更适合计算编程。
Haskell
浏览 1
提问于2017-05-07
得票数 3
回答已采纳
2
回答
在
Haskell
中
以增量式不同
的
参数运行函数n次
我有一个简单
的
Haskell
函数,它计算一种特定
类型
的
和:usum (x:xs) max =
sum
(nub [num*k |如果usum是用像Java这样
的
面向对象语言实现
的
,我将执行以下操作:{如
何在
Haske
浏览 0
提问于2018-10-28
得票数 1
回答已采纳
3
回答
在
Haskell
,实例意味着什么?
、
、
在面向对象
的
语言(例如Java和
Python
)
中
,我们可以从类中生成对象/实例。在
Haskell
中
,我们可以从
类型
类
中
创建
实例,例如: class:实例在
haskell
中意味着什么?在java
中
,我们可以从类中生成实例,但在
haskell
中<
浏览 4
提问于2017-07-03
得票数 20
回答已采纳
1
回答
为包含ScalaCheck
中
的
“数字”
的
case类
创建
一个任意实例?
、
、
、
、
我特别尝试定义半群和一个“是”半群
的
和
类型
,并用ScalaCheck一般地检验半群
的
结合性质。因此,在
Haskell
中
,我编写了在GHCi
中
工作
的
以下内容: instance Num a => Num (
Sum
:: Num a =>
Sum
a ->
Sum
a -> <e
浏览 3
提问于2016-04-19
得票数 1
回答已采纳
3
回答
学习函数
中
的
参数
类型
如
何在
Haskell
中学习函数
的
参数
类型
?在
python
中
,我们有type ()函数。Ex: do <something> 但是,我不知道我该如
何在
Haskell
中
实现这个愿望
浏览 0
提问于2012-02-28
得票数 0
回答已采纳
3
回答
支持
sum
类型
的
高性能对象序列化库
、
、
、
、
我想知道是否有任何高性能
的
序列化库(
如
Google protocol buffer)支持。
Sum
类型
是带标签
的
联合,基本上能够说明某事物是A、B或C。
Sum
类型
用于支持
的
语言,
如
Haskell
和ML
浏览 4
提问于2012-02-21
得票数 8
回答已采纳
4
回答
Python
中
的
列表(如何添加元素)
、
、
我刚从
Python
开始。以前有过
Haskell
。在
Haskell
,我大部分时间都在列表上工作。在
Python
中
,我想这样做。我有一份清单:如
何在
列表
中
添加这4个元素,从而得到10个结果(1+2+3+4)
sum
[] = 0在
Pytho
浏览 2
提问于2014-04-21
得票数 0
回答已采纳
2
回答
在
Haskell
中
,如何获取数据结构
的
可用函数列表?
我知道我在这里问错了问题,但我是从
Python
来到
Haskell
的
,我想知道如何获得等同于类
的
可用方法列表
的
内容。例如,如果我使用HXT解析一个XML文件,并且有一些函数可以在生成
的
数据结构上使用,比如getChildren函数,我该如何从ghci
中
获取它们
的
列表呢?在
Python
中
,我只能导入一个模块并键入module。来获取一个列表。
浏览 2
提问于2017-11-23
得票数 4
2
回答
使GHC在FTP后感觉到
、
对于使用最近版本
的
GHC向初学者教授
Haskell
,某些函数
的
类型
可能会因为可折叠
的
可遍历
的
前奏(FTP)而令人困惑。例如,length、
sum
和product等列表
中
的
基本函数具有包含Foldable约束foldr :: Foldable t => (a -> b -> b) -> b -> t a -> b
的
类型
。
类似
地,对于一些介绍性较高<
浏览 6
提问于2015-10-22
得票数 6
回答已采纳
1
回答
erlang映射函数
、
、
我是新来Erlang
的
,所以请原谅我
的
天真。xs = [1,1,0,0,1,1,0,0,1,1,0,0]def jaccard_bit_index(A,B): i =
sum
(map(operato
浏览 2
提问于2012-07-28
得票数 1
回答已采纳
1
回答
多态函数
的
函数注释
、
、
假设我有一个多态函数,它重复作为参数传递给它
的
任何对象(
类似
于
Python
Standard Library
中
的
itertools.repeat ): def repeat(i): whileTrue: yield i 然而,这个解决方案是模棱两可
的
浏览 13
提问于2020-08-25
得票数 2
回答已采纳
1
回答
如何从父
类型
的
数据
类型
确定“子”
类型
?
、
我不确定我
的
标题是否真的描述了我所追求
的
目标,所以我将首先展示一段代码: | Add IntegralExpression如何
创建
一个评估任何孩子
的
一般“父”?我
的
函数(为了简单起见)如下所示:testConvert (Value n) = n 在我看来,这个函数应该“理解”这涉及到一个IntegralExpression
浏览 5
提问于2015-04-09
得票数 3
回答已采纳
3
回答
Python
的
map和
Haskell
的
fmap有什么不同?
、
我知道它们都是不同
的
语言,但它们本质上不是一样
的
吗?fmap在函数器上应用函数,而
Python
的
map在迭代器上应用函数。因此,如果两者之间有任何区别,您能提供一个示例,说明我们可以使用
Python
的
map而不是
Haskell
的
fmap (反之亦然)来做一些事情吗?
浏览 0
提问于2017-07-17
得票数 5
3
回答
Haskell
型系统
的
性质:静态/动态,人工/推断?
、
、
、
、
我正在学习
Haskell
,并试图准确地理解
Haskell
类型
系统是如何工作
的
--正在计算出事物
的
类型
:动态
的
、静态
的
、手动设置
的
、推断
的
?我只懂一点语言: C,Java:由程序员手动设置,在编译时验证,
如
int i;,强
类型
(从字符串
中
减去整数是编译错误)。典型
的
静态系统。
Python
:运行时自动推断
的
<e
浏览 0
提问于2014-09-25
得票数 5
回答已采纳
1
回答
Python
中
的
递归数据
类型
、
、
、
、
Python
中最接近
Haskell
中
的
递归数据
类型
的
东西可能是什么?(即在定义自身时使用
类型
自己
的
定义。)编辑:data Tree a = Leaf a | Branch (Tree a) (Tree a) 我是这样理解
的
有关
H
浏览 11
提问于2020-09-02
得票数 3
1
回答
在z3
中
组合给定一组项
的
元素
、
、
下面的z3代码从{x1..x6}中选择元素,以最大化总权重,同时满足总长度小于10
的
要求。(assert (< total_size 10))(get-model) 然而,我可以想象这个缩放非常糟糕,因为项目属性
的
数量激增是否会有另一种更简洁
的
方法?特别是,您能想到一种分解total_size和total_weight函数
的
方法吗?
浏览 1
提问于2017-11-26
得票数 1
回答已采纳
点击加载更多
热门
标签
更多标签
云服务器
ICP备案
对象存储
云点播
实时音视频
活动推荐
运营活动
广告
关闭
领券