腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
Ocaml
:
如何
定义
特定
类型
的
函数
ocaml
我知道这可能是一个愚蠢
的
问题,但由于我是
Ocaml
的
新手,请给我一些关于
定义
具有
特定
类型
的
函数
的
提示。我想
定义
类型
为int * int * (int -> int) -> int
的
函数
所以我做了一个这样
的
函数
。
函数
没有int * int * (int->int) -> int
类
浏览 12
提问于2019-09-12
得票数 0
回答已采纳
4
回答
函数
('a -> 'b) list -> 'a -> 'b list in
OCaml
list
、
types
、
polymorphism
、
ocaml
编写任何
类型
为('a -> 'b) list -> 'a -> 'b list
的
Ocaml
函数
# let int x = x+1;;所以我传递一
浏览 3
提问于2012-08-15
得票数 2
1
回答
ocaml
-top无法编译过去(模式匹配)警告8
pattern-matching
、
ocaml
、
warnings
在macOS高山上使用
ocaml
-top 1.1.5和
ocaml
4.02.3:编辑:由于
浏览 1
提问于2018-05-28
得票数 0
2
回答
类型
级算术:“最多”nat或nat间隔
ocaml
、
type-level-computation
使用
OCaml
中
的
类型
级算法,很容易
定义
一个比
特定
值更高
的
nat
函数
:f Zero (* <--Won't compile, argument must be > 0 *) 是否有任何方法使
函数
接受“最多”一个值或间隔,如0<n< 10?顺便说一句,这是
类型</em
浏览 3
提问于2013-08-30
得票数 3
回答已采纳
1
回答
在
OCaml
中声明
的
参数化
类型
types
、
ocaml
在
OCaml
中,假设给出了一个
类型
:是否有
特定
于
OCaml
的
内置(给定'a myTypeA myTypeB
类型
的
值x )来获得'a myTypeA
类型
的
值y(基本上取消构造该
类型
并移除myTypeB)?我在找一个有签名
的
函数
: val deconstruct : 'a myTypeA myTypeB
浏览 0
提问于2018-02-27
得票数 0
回答已采纳
1
回答
为什么我对用户def
类型
的
转换不起作用?
ocaml
list; } (int)p1 = (int)_dimension * 2 我想检查一下,p1
的
尺寸是维数
的
两倍
浏览 2
提问于2020-06-20
得票数 1
回答已采纳
1
回答
在
OCaml
中,这是什么
类型
的
定义
:'a单元-> 'a
ocaml
问题Q1:这是什么'a. (注意点)?let f:'a.显然,从
定义
部分来看,这是不可能
的
,因为x
的
唯一可能
类型
是int。 这个例子很有趣,因为它展示了
OCaml
静态
类型
推理系统背后
的
逻辑和魔力。<em
浏览 0
提问于2014-04-27
得票数 31
回答已采纳
1
回答
不同长度和
类型
的
匹配元组(
ocaml
)
types
、
pattern-matching
、
tuples
、
ocaml
我有麻烦
的
模式匹配元组
的
长度和
类型
。extract_lowest_int a) (extract_lowest_int b) | _ -> infinityextract_min_int test;;错误:此模式匹配'a * 'b
类型
的
值,但需要一个与'c * 'd * 'e
类型
值匹配
的
模
浏览 1
提问于2015-04-02
得票数 0
回答已采纳
1
回答
“`val散列:”-> int`‘是
如何
在
OCaml
中实现
的
?
functional-programming
、
ocaml
在
OCaml
中,Hashtbl可以将任何东西转换为int。 但是
OCaml
是
如何
做到这一点
的
呢?
浏览 1
提问于2013-03-22
得票数 5
回答已采纳
1
回答
结合参数多态和多态变体(反引号
类型
)
ocaml
、
parametric-polymorphism
、
polymorphic-variants
、
row-polymorphism
假设我有一个由多个多态变量(协变)组成
的
类型
,如下所示: [> `Ok of int | `Error of string] 让我们进一步假设,我希望将此
定义
分解为某种
类型
构造
函数
和一个具体
的
类型
int我
的
第一次尝试是这样
的
: type 'a error = [> `Ok of 'a | `Error of string] 然而,使用这样
的
定义
会产生一个非常奇怪<em
浏览 20
提问于2020-01-21
得票数 5
回答已采纳
6
回答
哪种编程语言支持以自身为参数
的
函数
?
ocaml
、
type-inference
、
type-systems
、
hindley-milner
、
anonymous-recursion
我希望找到编程语言,这些语言允许您
定义
能够接受自己(即指向自己
的
指针)作为参数
的
函数
。我尝试在
OCaml
中
定义
类似的
函数
,如下所示:但是,由于
类型
错误,它失败了: The type variable
浏览 6
提问于2019-04-22
得票数 6
回答已采纳
1
回答
OCaml
中变体
的
内存表示
ocaml
对于没有参数
的
变体,它们只是存储为一个
OCaml
整数,没有装箱,整数在一个
类型
的
中按升序排列。例如,让我们
定义
一个
函数
peek来查看变量
的
实际整数值:我
定义
了一个
类型
:type t2 = Empty | Node;; 然后,peek Empty;
浏览 3
提问于2014-06-11
得票数 0
回答已采纳
1
回答
OCaml
:
如何
使用相同
类型
的
Set参数创建归纳
类型
recursion
、
types
、
set
、
ocaml
在
OCaml
中,我可以
定义
以下
类型
: | Branch of (int * (collection -> collection))假设我根据每个构造
函数
的
int值
定义
比较
函数
,
如何
将collection转换为Set而不是list
浏览 3
提问于2016-03-14
得票数 2
回答已采纳
1
回答
更改
OCAML
中
的
相同
类型
functional-programming
、
ocaml
、
ml
假设我有一个
函数
list_fun : int_list -> string list,在该
函数
中我使用了一个我
定义
为模块StringSet = Set.Make(String) ;; StringSet,我试图让该
函数
返回Set.elements s并获取一个string list,但是我得到了一个StringSet.elt list,它应该与StringSet
的
type t = string是一样
的
如何
让
OCAML
理解这些
类型
浏览 6
提问于2011-03-26
得票数 5
回答已采纳
1
回答
在Scala中
定义
OCaml
风格
的
类型
变体
scala
我是Scala新手,但在使用
OCaml
和其他一些ML家族
函数
式编程语言方面有一些经验。 我想知道
如何
定义
OCaml
样式
类型
的
变体?
浏览 0
提问于2016-11-19
得票数 0
回答已采纳
5
回答
具有不同特异性水平
的
OCaml
类型
interface
、
ocaml
我试图在
OCaml
中模拟一个接口,并使用“
类型
”结构。我有两种
类型
:type fooConBar = {a:string; b:int; bar:char};;let fsb = {a="a"; b=3};; ...but被告知未
定义
条形图字段。由此看来,与我在匹配fooSansBar签名时传递
的
浏览 0
提问于2009-03-21
得票数 9
3
回答
“$”在
OCaml
synax中是什么意思?
ocaml
我是
OCaml
的
新手。我看到代码就像 let main_t = Term.
浏览 4
提问于2016-05-01
得票数 2
回答已采纳
1
回答
类型
出现
OCaml
错误
functional-programming
、
ocaml
、
typeerror
我有以下来自
OCaml
的
错误,我不明白为什么。我正在尝试用
OCaml
定义
一个解释器。我有一些
类型
和
函数
来评估这些
类型
。我粘贴了相关
的
代码。我有这些
类型
:| Ebool of bool| Prod of exp * exp| Record of ide * exp list;;
浏览 0
提问于2015-10-31
得票数 0
3
回答
将
OCaml
转换为F#:
类型
和
类型
推断之间
的
区别
f#
、
ocaml
、
type-inference
、
typing
在研究F#和
OCaml
之间
的
差异时,我发现他们倾向于关注和 。然后我发现了,它将
类型
和
类型
推断列为不同
的
特征。由于特写文章说
OCaml
和F#都使用
类型
推断,我认为这是一个标准算法,即一个不允许变化
的
算法,这两个特徵是
如何
联系
的
?是否达马斯-米尔纳是构建两个
类型
推理系统
的
基础,但它们各自都基于
类型
来修改达马斯-米尔纳? 我还检查了F#源代码中
的
单词
浏览 0
提问于2012-09-10
得票数 8
回答已采纳
3
回答
OCaml
等价于javascript
的
“应用”
javascript
、
functional-programming
、
ocaml
、
variadic-functions
我已经有一段时间没有编写
OCaml
代码了,我遇到了这个问题,这个问题听起来很简单,但我在解决这个问题时遇到了心理障碍: 编写一个
函数
,该
函数
接受一个
函数
f,其变量数为返回布尔值
的
变量数(即f
类型
为'a-> 'b -> 'c -> ... -> bool),并返回一个
函数
g,该
函数
g表示f
的
否定(即所有有效参数集
的
(f x1 x2 .. xn) == not (g
浏览 3
提问于2015-06-22
得票数 5
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
浅谈如何定义和调用Python的函数
前端专家聊JS语言家族新成员——R&B
ReasonML 先睹为快
一文解决现代编程语言选择困难:响应式编程
在Spring Bean生命周期的不同阶段如何插入自定义的处理逻辑?Spring框架提供了两种类型的接口
热门
标签
更多标签
活动推荐
运营活动
广告
关闭
领券