腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
OCaml
-
在
类型
中指
定
数组
的
大小
arrays
、
types
、
ocaml
假设我想定义一个
OCaml
类型
的
浮点
数组
。这可以作为type exampletype = Array of float来完成。但是假设我想将这种
类型
限制为只包含固定
大小
的
数组
。有没有可能创建这样
的
类型
,或者在这种情况下,使用
大小
合适
的
浮点数元组是否会更有效?
浏览 6
提问于2020-11-10
得票数 0
回答已采纳
1
回答
如何使用C函数调用促进
ocaml
库
的
OCamljava编译?
java
、
c
、
build
、
ocaml
我用
的
是ocamljava,它运行得很好。这是非常自然
的
,接受整个
ocaml
语言与一个简单
的
编译器名称交换
在
大多数情况下是所需
的
全部,以编译为java字节码,然后产生一个可行
的
jar。因此,我需要将java用于它所拥有的库,但是
ocaml
有一个非常受人尊敬
的
库,我想利用它。我真的不想再做任何工作了。问题是,据我所知,ocamljava不支持使用每个ocamlc和ocamlopt编译器所允许
的
简单进程从
ocam
浏览 1
提问于2014-10-16
得票数 0
回答已采纳
2
回答
我如何才能要求变量
的
类型
类?
ocaml
、
reason
、
bucklescript
我试图编写
的
一种代码是,
在
将列表转换为
数组
之后,询问它
的
类型
。我知道
在
Haskell (:t)这样
的
语言中有一些运算符,我们可以在这些语言中要求变量
的
类型
。对于:t,ReasonML有什么等价
的
地方吗?或者检查Array.of_list是否返回
数组
是没有意义
的
,因为编译器确保.
浏览 3
提问于2018-01-02
得票数 3
回答已采纳
5
回答
最快迭代
的
标准
OCaml
数据结构是什么?
performance
、
data-structures
、
ocaml
我正在寻找一个容器,它通过封装
的
元素提供最快
的
无序迭代。换句话说,“添加一次,迭代多次”。...But,
在
我看到几个答案之后,它看起来,它不是。当然,有很多数据结构允许O( n )通过
大小
为n
的</e
浏览 5
提问于2010-01-05
得票数 10
回答已采纳
2
回答
如何在
OCaml
中获取
数组
的
元素
类型
arrays
、
ocaml
给定
OCaml
中
的
任何
数组
,我希望通过首先获取
数组
元素
的
类型
来获取
数组
元素
的
大小
。
浏览 10
提问于2017-02-04
得票数 0
回答已采纳
1
回答
Ocaml
-遍历元组
tuples
、
ocaml
刚拿起
Ocaml
,一直
在
研究递归迭代等等。我试着迭代一个元组,但被搞糊涂了。假设我想迭代一个元组并将每个元素除以一半,我该如何做呢?特别是如果元组
的
大小
不知道,而只是作为一个变量给出的话?所以这就是我被困
的
地方。我怎样才能找到与之相匹配
的
论点呢?我知道元组
在
创建之后是固定
的
,所以我不能对其进行适当
的
修改,那么我将如何创建一个包含原始tuple/2元素
的
新元组。
浏览 1
提问于2016-09-19
得票数 0
回答已采纳
2
回答
OCaml
为什么空
数组
具有多态
类型
?
ocaml
OCaml
数组
是可变
的
。对于大多数可变
类型
,即使是“空”值也没有多态
类型
。- : '_a option ref = {contents = None}- : ('_a, '_b) Hashtbl.t = <abstr>- : 'a array = [||] 这似乎是不可能
的
,因为
数组
是可变<e
浏览 0
提问于2018-05-24
得票数 4
回答已采纳
4
回答
提取元组
的
第n个元素
functional-programming
、
ocaml
对于一个列表,您可以进行模式匹配并迭代到nth元素,但是对于tuple,如何获取nth元素呢?
浏览 5
提问于2014-09-23
得票数 20
回答已采纳
1
回答
Ocaml
-> .so -> Golang
c
、
go
、
ocaml
、
.so
我是一名学生,我正在做一些项目,其中我需要使用
ocaml
编写
的
代码。我想用Go写一个项目。为了理解如何从
ocaml
中转移代码,我决定用下面的代码编写hello world - application: hello.ml let print_hello = print_endline "Hello
浏览 20
提问于2020-03-20
得票数 0
2
回答
为什么
ocaml
有可变
的
数组
?
functional-programming
、
ocaml
为什么
Ocaml
有可变
的
数组
?据我所知,函数式编程是为了最小化副作用。可变(edit:)
数组
不是与这个想法相反吗?甚至连字符串
在
Ocaml
中都是可变
的
,这在python中甚至不是这样
的
,或者
OCaml
不被认为是一种纯函数式语言?
浏览 22
提问于2020-08-26
得票数 1
回答已采纳
4
回答
Ocaml
中是否有单例变体
的
用例?
f#
、
ocaml
、
reason
、
rescript
我一直
在
阅读F#文章,它们使用单例变体来创建截然不同
的
不兼容
类型
。然而,
在
Ocaml
中,我可以使用私有模块
类型
或抽象
类型
来创建不同
的
类型
。
在
Ocaml
中使用像F#或Haskell这样
的
单
大小
写变体是很常见
的
吗?
浏览 27
提问于2021-04-26
得票数 2
回答已采纳
4
回答
类型
记录中
的
可选班级成员
typescript
是否有方法
在
类型
记录类
中指
定
类型
安全
的
可选成员?class Foo { b?(access foo.a in a type-safe string manner) ... } 如果您熟悉
OCaml
/F#,我正在寻找类似于“string选项”
的
东西。
浏览 4
提问于2013-09-20
得票数 25
回答已采纳
2
回答
什么是uint16_t和uint8_t?
ocaml
uint16_t和uint8_t与C++
在
OCaml
中
的
等效性是什么?我偶然遇到了Int64,但我不确定它是否签署了。而且,我也不确定uint8_t与C++
在
OCaml
中
的
对应值是什么?
浏览 6
提问于2015-09-19
得票数 3
回答已采纳
2
回答
在
OCaml
中指
定记录字段
的
类型
ocaml
"Steven" print_endline p1#get_name;它抱怨我
的
person对象中
的
get_name和val名称是未绑定
类型
,我意识到这是准确
的
。如何指定name_init (因此名称和get_name)是
OCaml
中
的
字符串
类型
?
浏览 1
提问于2015-01-23
得票数 2
回答已采纳
1
回答
为什么原因
数组
是可变
的
?
ocaml
、
reason
我想我是
在
问这个设计决策背后
的
理由。这有什么原因吗?有没有一种不可改变
的
选择?
浏览 2
提问于2017-09-12
得票数 3
回答已采纳
1
回答
如何从合理
的
保留关键字中访问有效
的
OCaml
标识符
ocaml
、
reserved-words
、
reason
是否有合理地使用保留关键字
的
OCaml
标识符
的
方法?让我们考虑以下示例:type pub = {}/* MyApp.reTry `pub_` or `_pub` instead 如果我尝试使用建议
的
标识符(_pub或pub_),它就无法工作,因为这些标识符
在
OCaml
文件中需要相同
的
名称。如果有
浏览 0
提问于2019-03-08
得票数 2
回答已采纳
1
回答
奥卡莫
的
“地面胁迫”是什么?
types
、
ocaml
OCaml
有时会发出警告:“这种理由强制不是主要
的
”。我想我理解“非主体”部分(
类型
推断至少给出了两种可能
的
类型
,这两种
类型
都不是另一种
的
子
类型
),但我不知道“基础强制”是什么。我怀疑答案一
定
涉及到一定数量
的
抽象
类型
理论,但我也非常感激具体
的
例子。
浏览 1
提问于2015-05-28
得票数 4
1
回答
F#中
的
间接多态性
f#
、
polymorphism
、
ocaml
、
coq
、
impredicativetypes
OCaml
的
印地语-Milner
类型
系统不允许非谓词多态(àla System-F),除非通过对记录
类型
的
最近扩展。这同样适用于F#。然而,有时需要将使用非谓词多态(例如Coq)编写
的
程序翻译成这些语言。Coq萃取器对
OCaml
的
解决方案是使用Obj.magic,这是一种通用
的
不安全铸造。这起作用是因为
在
OCaml
的
运行时系统中,所有值都有相同
的
大小
浏览 3
提问于2013-03-28
得票数 12
3
回答
学习/使用ML。我应该使用哪种系统?
ocaml
、
sml
、
ml
我需要: 例如,我找到了、和。有什么建议吗?我该选哪一个?
浏览 0
提问于2011-03-04
得票数 8
回答已采纳
3
回答
模式匹配
数组
ocaml
我有一个函数,返回
数组
的
最小值。该函数
的
类型
如下:它
的
实施是: | [] -> 1000000000 | x :: []那么,我如何才能与
数组
匹配呢?
浏览 2
提问于2016-10-26
得票数 3
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
机器人说明书——名词解释010课_C语言_数组
C语言必备知识——数组
Fortran编程零碎小建议
一文解决现代编程语言选择困难:响应式编程
前端专家聊JS语言家族新成员——R&B
热门
标签
更多标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM
活动推荐
运营活动
广告
关闭
领券