腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
2
回答
OCaml
如
何在
重复
类型
构造
函数
之间
进行
选择
types
、
constructor
、
functional-programming
、
ocaml
、
anonymous-function
在
Ocaml
中,我在两个
类型
定义中使用了相同的
类型
构造
函数
名称。像这样: type a= | The_constructor of ... | ...
浏览 18
提问于2020-10-02
得票数 0
回答已采纳
2
回答
变体还是多态变体?
types
、
programming-languages
、
functional-programming
、
ocaml
、
ml
我注意到,在我认识的
OCaml
程序员中,有些人总是使用多态变体(没有声明的变体,以背引号作为前缀),而另一些程序员则从不使用多态变体,而更喜欢在
类型
中声明的变体。除了性能原因(多态变体目前编译效率低于简单变体)外,专家
OCaml
开发人员如
何在
它们
之间
进行
选择
?
浏览 3
提问于2012-02-20
得票数 42
回答已采纳
1
回答
OCaml
条件文件读取
file-io
、
ocaml
、
conditional-statements
我想要有条件地执行命令#use "a.ml“,即在'if statement‘中,如下所示... `| (false)-> #use "2.ml";;` is there any way of doing it?
浏览 0
提问于2014-01-28
得票数 0
1
回答
如
何在
函数
映射中使用
Ocaml
类型
?
ocaml
我有一个定义为type abc = bool->int;;的
类型
,它解释了从bool到int的简单映射。
浏览 5
提问于2017-01-22
得票数 0
回答已采纳
1
回答
ocaml
类型
推断中的匿名变量
ocaml
、
type-inference
我是
Ocaml
的新手,在为lambda演算编写解释器时,我遇到了一个奇怪的错误。
浏览 1
提问于2017-09-05
得票数 4
2
回答
不理解
Ocaml
类型
签名
types
、
ocaml
、
signature
我一直在努力理解这一点,再努力工作会损害我和
OCaml
的关系,所以我想我会寻求帮助。我有一个来自的简单
函数
Stream.from try Some (input_line channel现在,为什么在
OCaml
中我做不到:相反,我不得不去做看着也没能让我得到任何东西。我注意到这种语法上的奇怪之处就像列表一样,你必须做一些不自然的事情而不是
浏览 2
提问于2015-04-01
得票数 1
回答已采纳
1
回答
这是奥卡姆的一个例子,不清楚这条线在做什么?
compiler-construction
、
ocaml
、
llvm
、
llvm-ir
、
ocamlyacc
我对
Ocaml
不熟悉,所以只需要澄清一下 and float_t = L.double_type context
浏览 3
提问于2021-12-27
得票数 0
回答已采纳
1
回答
Ocaml
:在简单模块中使用变体标记时警告40
ocaml
我在文本文件mpd.ml中有一个简单的模块,其中包含变体
类型
: | Not_list | Password
浏览 1
提问于2016-09-12
得票数 0
回答已采纳
1
回答
OCaml
,使用<>==运算符比较int列表
list
、
types
、
comparison
、
operators
、
ocaml
如果列表不包含相同
类型
的元素?
浏览 0
提问于2018-07-16
得票数 0
1
回答
是否有允许静态和动态
类型
的语言?
c#
、
types
、
programming-languages
、
ocaml
、
dynamic-languages
动态
类型
语言在快速原型方面似乎有优势,例如Python或Perl,而静态
类型
化语言(
如
C++、
OCaml
)则允许更多的编译时检查和优化。我想知道是否有一种语言允许两者兼而有之: 首先,具有动态
类型
的快速原型,泛型(即接受任何
类型
的)打印
函数
,以便于调试和REPL,并适应不断变化的设计
选择
。然后,更改一些内容并将代码编译到一个库中,使用静态
类型
进行
更多的安全测试和最佳性能。例如,更改以允许静态
类型
浏览 3
提问于2012-11-15
得票数 9
回答已采纳
2
回答
如何最好地向其他语言公开
ocaml
库?
ocaml
、
saas
这是语言
之间
的恩惠,因此有,它基本上为您定义的任何
类型
生成可解析的交换格式;它自动化编写普通代码的过程(编写在某些交换信息中读取的
函数
,并生成某种任意
类型
的实例)。基本上,到目前为止最好的
选择
是协议缓冲区,如果沿着
ocaml
的路线走,我绝对希望使用协议缓冲区。如果有一些声明式的模式来管理
函数
公开,这样就可以通过某种介质(比如RPC,或者将
函数
映射到带有参数编码的url )到达
ocaml
库,这将是很好的。想象一下,提供一个库作为一种服务
浏览 8
提问于2014-10-16
得票数 2
回答已采纳
1
回答
测试一个列表是否是另一个列表的子列表,而不测试元素
之间
的相等性
algorithm
、
haskell
、
recursion
、
functional-programming
、
ocaml
我想知道是否可以编写一个
函数
程序(
如
Haskell或
OCaml
),该程序接受两个列表,并确定第一个列表是否是第二个列表的子列表,其属性是程序不能调用列表元素
之间
的相等。更普遍地说,是否有这样一个程序可以用于任意
类型
的元素列表?(用Haskell术语来说)该
类型
不需要受到Eq、Ord或其他东西的约束。我问这个问题的原因是,在处理任意
类型
的元素列表时,标准相等(
如
ints、字符串等)有时不支持这些元素。不过,对子列表
进行
测试将是有帮助的。
浏览 1
提问于2018-06-23
得票数 0
回答已采纳
2
回答
为什么“参考值”在
Ocaml
中受到限制?
polymorphism
、
ocaml
None是一个
类型
构造
函数
吗?None不是一个值吗?在我看来,None是一个多态值。有什么多态值吗? 在我看来,当与多个多态实体(
如
id id或ref None )
进行
某种交互时,就会出现值限制。我是
OCaml
自学的初学者。任何帮助都是非常感谢的。
浏览 4
提问于2017-12-30
得票数 3
回答已采纳
2
回答
OCaml
中的FIx数据
类型
haskell
、
recursion
、
ocaml
、
sml
、
fixpoint-combinators
Haskell中的以下数据
类型
如何用
OCaml
或SML表示? newtype Fix f = In (f (Fix f))
浏览 7
提问于2012-10-21
得票数 3
3
回答
如何按名称和
类型
搜索
OCaml
函数
ocaml
、
tooling
这种
类型
搜索的主要用例是,当您看到某个地方使用的
函数
时,您想知道它的
类型
和定义它的包。这种
类型
搜索的主要用例发生在编写代码时。您知道您需要的
函数
的
类型
,并且您想知道它是否已经在某个
浏览 9
提问于2017-02-02
得票数 8
回答已采纳
4
回答
有没有办法在
ocaml
中打印用户定义的数据
类型
?
ocaml
我不能使用print_endline,因为它需要一个字符串,而且我认为我没有办法将非常简单的用户定义的数据
类型
转换为字符串。如何检查这些数据
类型
的变量的值?
浏览 1
提问于2011-09-23
得票数 16
回答已采纳
3
回答
支持sum
类型
的高性能对象序列化库
serialization
、
types
、
protocol-buffers
、
thrift
、
msgpack
我想知道是否有任何高性能的序列化库(
如
Google protocol buffer)支持。 Sum
类型
是带标签的联合,基本上能够说明某事物是A、B或C。Sum
类型
用于支持的语言,
如
Haskell和ML
浏览 4
提问于2012-02-21
得票数 8
回答已采纳
2
回答
没有记录
类型
的
类型
构造
函数
?
ocaml
我把下面的Haskell代码翻译成了
OCaml
:{ intialState :: q, transitionisAccepting: 'q -> bool;当然,这会给出一个语法错误,因为
类型
构造
函数
部分为什么不能像元组
类型</
浏览 0
提问于2011-12-29
得票数 7
回答已采纳
1
回答
无虚可遍历的应用指标的获取
haskell
、
applicative
、
traversable
假设我有一些v,它既是Applicative,也是Traversable。怎样才能得到具有v索引的v?对于一个具体的例子,请考虑来自Linear的Linear。我要V3 0 1 2。snd $ T.mapAccumL 0 (pure "") :: V3 Int
浏览 1
提问于2015-03-21
得票数 1
回答已采纳
1
回答
先决条件失败:不允许
进行
负数计算
swift
、
string
、
int
、
repeat
、
uint
swift/stdlib/public/core/StringLegacy.swift, line 49String(repeating: "a", count: -1)嗯,
重复
一些字符串的负数是没有意义的既然我们在Swift中有
类型
,为什么不使用UInt 仅当您特别需要具有与平台的本机字大小相同大小的无符号整数
类型
时,才使用UInt。整数值的一致使用有助于代码互操作性,避免了在不同数字
类型
之
浏览 0
提问于2018-03-16
得票数 2
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
一文解决现代编程语言选择困难:响应式编程
ReasonML 先睹为快
手把手教你:如何把C+的源程序改写成C语言
函数式编程能否支持更高效的区块链基础设施?
Python教程(三):基础数据类型
热门
标签
更多标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM
活动推荐
运营活动
广告
关闭
领券