腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
2
回答
Ocaml
语法
与
布尔值
匹配
syntax
、
compiler-errors
、
ocaml
我是
Ocaml
的初学者,我似乎无法理解这个
语法
。我必须写一个函数,而不是返回
布尔值
的负值。
浏览 10
提问于2019-10-13
得票数 0
回答已采纳
2
回答
Ocaml
中的模式
匹配
函数
pattern-matching
、
ocaml
我是
Ocaml
的新手,我有一个关于
Ocaml
模式
匹配
的问题。如果我有以下类型定义:我如何
匹配
一个术语,即Function (t -> t)?到目前为止,我唯一能做的就是
匹配
Function f。但是,有什么方法可以使这个论点
与
函数相
匹配
呢?但显然这不是正确的
语法
。有可能吗?
浏览 2
提问于2020-02-09
得票数 0
回答已采纳
1
回答
Ocaml
:
匹配
的用法
match
、
ocaml
我试图用
ocaml
编写一些代码来解析以下c#代码用于预定义的函数 x = function1(3);}matchwith x and n*) 现在,假设我解析的语言只有两个函数,我想检索C代码中的参数,以便在我的
ocaml
程序中使用它们,但是在包含
与
某物()
匹配
的行中会出现
语法
浏览 2
提问于2020-10-05
得票数 0
回答已采纳
2
回答
Ocaml
-编译器和手工的区别
compiler-construction
、
ocaml
因此,我正在阅读,其中包括以下引语(涉及
ocaml
的问题): PS -我主要对
OCaml
4.00.1感兴趣,但以前的版本也很有趣.
浏览 1
提问于2012-12-13
得票数 1
回答已采纳
2
回答
OCaml
:未指定的类型变量
ocaml
是否要定义一个
与
OCaml
中的任何类型
匹配
的变量?读完后错误:
语法
错误 有人能告诉我为什么上面的代码有错误吗?
浏览 2
提问于2014-03-09
得票数 0
回答已采纳
1
回答
如何在函数中使用List.nth
ocaml
我是
OCaml
的新手。我尝试像使用List.length一样使用List.nth,但它总是给我一个
语法
错误或抱怨
与
另一个文件中定义的接口不
匹配
。
浏览 1
提问于2012-10-14
得票数 0
1
回答
元组
匹配
pattern-matching
、
ocaml
、
tuples
据我所知,我可以在带有值元组的match ... with表达式中使用模式
匹配
,如下所示 ("<", val) -> if v < val then true elsefalse应该是正确的,但它给了我一个
语法
错误,似乎不能使用括号: 文件"
ocaml
.ml",第41行,字符14-17:错误:
语法
浏览 1
提问于2010-06-13
得票数 2
回答已采纳
2
回答
在
OCaml
中
匹配
变量的模式?
pattern-matching
、
ocaml
它基本上是由模式
匹配
创建的变量。也就是说,我想要与参数n
匹配
模式。
浏览 3
提问于2013-07-16
得票数 8
回答已采纳
1
回答
OCaml
中的线性类型
ocaml
、
linear-types
在
OCaml
中有什么(好的)方法来模拟这种情况吗?例如,在使用
ocaml
时,我希望确保只有在Lua处于特定状态(堆栈顶部的表等)时才调用某些函数。编辑:这是最近一篇关于资源多态性的文章,
与
问题有关: 编辑2:还有许多关于
OCaml
可用会话类型的文章,包括提供一些
语法
糖的
语法
扩展。
浏览 1
提问于2013-03-25
得票数 7
回答已采纳
1
回答
Ocaml
运行时解析器生成器
parsing
、
runtime
、
ocaml
我正在写一个程序,它基本上以自定义格式(和一些其他规则)将
语法
作为输入,并生成一个
OCaml
程序(检查器),一旦编译,就可以根据
语法
和规则检查表达式是否被接受。我使用
OCaml
作为生成器,使用Menhir来解析
语法
和规则。现在,我必须为我想要生成检查器的所有
语法
手工编写一个解析器。我想自动生成解析器的代码,就像门希尔做的那样。我可以输出一个门希尔
语法
,并从我的
OCaml
程序中调用门希尔,但是如果有一个适当的错误处理就太乏味了。有没有办法把Menhir用
浏览 4
提问于2018-08-21
得票数 0
1
回答
在
OCaml
模式
匹配
中,“时间”还是“如果-然后-其他人”哪一种更好?
performance
、
if-statement
、
functional-programming
、
pattern-matching
、
ocaml
假设我们有一种类型叫做d:我们想在上面做一些模式
匹配
,这样做更好吗?let dcmp = function if x > y then 1 else if x < y then -1 else 0 一般情况下,更好的做法是将模式
与
许多“何时”情况
匹配
,还是
匹配
一个模式,并在其中加上“如果-然后-否则”?我在哪里可以获得更多关于这些问题的信息,比如
OCaml
中的良好实践、
语法
糖等
浏览 2
提问于2021-03-05
得票数 3
回答已采纳
2
回答
使用int和bool进行
OCaml
模式
匹配
pattern-matching
、
ocaml
let disting v = | int -> (*expression1*) | _ -> (*expression3*)let disting v = | bool -> (*expression2*) | _ -> (*exp
浏览 0
提问于2017-04-01
得票数 1
1
回答
类型定义中存在js_of_
ocaml
Camlp4分析错误
ocaml
、
camlp4
、
js-of-ocaml
我正在尝试使用js_of_
ocaml
构建。根据的说法,我的makefile中有下面这一行然而,当我尝试构建时,我得到了以下错误:文件中令人不快的行如下:
浏览 8
提问于2018-01-15
得票数 0
回答已采纳
1
回答
关于
OCaml
模式
匹配
语法
functional-programming
、
ocaml
我正在学习
OCaml
教程。 | 0 -> "zero" | 2 -> "two"我的查询是关于上述函数的
语法
浏览 2
提问于2016-04-01
得票数 2
回答已采纳
1
回答
在Eclipse android.support中构建Android项目不能解析为类型
java
、
android
、
xml
、
eclipse
、
android-support-library
:找不到
与
给定名称'Theme.AppCompat.Light‘
匹配
的资源。C:\Users\Peralta\Desktop\Penn Drive\CIS 120\
OCaml
\FindIt\res\values-v11\styles.xml:7:错误:检索项目的父项时出错:找不到
与
给定名称'Theme.AppCompat.Light‘
匹配
的资源。C:\Users\Peralta\Desktop\Penn Drive\CIS 120\
OCaml
\FindIt\res\v
浏览 4
提问于2017-02-20
得票数 1
2
回答
为什么
OCaml
的模式
匹配
比Erlang的更弱?
erlang
、
pattern-matching
、
ocaml
我是
OCaml
的新手,还读过“真实世界”( Real,RWO)一书。第三章描述了模式
匹配
,并与Erlang(或Prolog)的模式
匹配
相比显得比较弱。我的问题是: let rec destutter list = | [] -> [] | h
浏览 3
提问于2016-01-22
得票数 9
回答已采纳
3
回答
为什么Haskell变量在被模式
匹配
绑定时不是多态变量?
haskell
、
ocaml
、
type-inference
’
匹配
),因为f的两种不同用法。在
OCaml
中,类似的代码不是错误:它的计算结果为(true, 'c'),类型为bool * char。因此,看起来
OCaml
很好地为f分配了一个多态类型。 我们可以通过使用"let“( Haskell和
OCaml
都基于的)将事物分解到辛德雷-米尔纳-兰巴微积分的基础上来获得清晰。Case“和"let”一样,
语法<
浏览 1
提问于2019-01-05
得票数 6
回答已采纳
2
回答
OCaml
shebang
语法
错误
ocaml
、
syntax-error
、
shebang
/usr/bin/env ocamlrun
ocaml
Hello World!Syntax error File "hello.ml", line 1, characters 0-1:
与
Erlang类似,
OCaml
允
浏览 0
提问于2011-09-30
得票数 3
回答已采纳
1
回答
如何在vim
语法
区域中使用
与
开始和结束相同的模式?
vim
、
vim-syntax-highlighting
因此,我试图为解析器生成器构建一个
OCaml
语法
。%%我今天一直在研究:h syn-define文档,我已经定义了一个
与
第一个声明中
浏览 0
提问于2019-01-07
得票数 1
回答已采纳
1
回答
使用ppx和扩展点为
OCaml
中的DSL编写解析器
ocaml
、
camlp4
、
ppx
最近,
OCaml
官方github宣布Camlp4被ppx rewriters and extension points ()取代: 那么,我想问一下,ppx rewriters工具是否可以做同样的事情? 谢谢你抽出时间阅读我的问题!
浏览 0
提问于2016-06-14
得票数 9
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
一文解决现代编程语言选择困难:响应式编程
现代编程语言最有趣的 10 大特性
ES2018
函数式编程能否支持更高效的区块链基础设施?
假如你想用Kotlin——基础语法
热门
标签
更多标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM
活动推荐
运营活动
广告
关闭
领券