1回答
我正在用OCaml创建一个编译器，其中的语法如下：| Cons of const| List of ( expr list )| Array_literal of ( expr )AST的节点如下所示：{metadata:
浏览 10提问于2018-03-01得票数 1
回答已采纳
我无法从ocaml编译器源代码中理解这个ocaml代码：50: type 'a ast_kind =52: | Signature : Parsetree.signature ast_kindtype a
浏览 0提问于2018-11-06得票数 1
回答已采纳
1回答
我正在用ocaml编写一个编译器，使用ocamllex/yacc。一切都很顺利，但我有一个设计问题。对于我创建的每个AST节点，最好有关于该节点在源代码中的行/字符位置的信息。现在，我可以向我的节点添加某种元类型：但这似乎是多余的。稍后，当我完成对AST的</em
浏览 0提问于2012-01-20得票数 4
回答已采纳
我不知道ocamlc.the -h选项的选项dsource的效果，告诉我这是没有记录的我尝试使用dsource选项，对一个文件test.ml，它似乎返回我的源代码，没有空行和注释，并且在底部告诉我源代码的威力。这是选项dsource的效果吗?谢谢！
浏览 0提问于2018-11-14得票数 0
回答已采纳
foobar () = foo "test" >>= fun s -> return a + b return a + blet (>>=) a f =但是，在</em
浏览 1提问于2021-02-18得票数 4
回答已采纳
1回答
现在，我有一个用OCaml编写的工作HTML模板系统。> (string * string) list函数，但是它确保在初始化过程中提供所有必需的模板变量。添加一个新字段(如permalink )很简单，但涉及手动编辑代码。我试图摆脱这一过程，转向这样一种情况，即整个应用程序中的任何permalink-related都是在模块中比较干净，而只是应用在应该使用的任何地方。我希望有一种解决方案，将permalink添加到模板Post
浏览 2提问于2012-02-22得票数 5
回答已采纳
我知道ocamlc可以编译ocaml源文件.ml和.mli。我正在读取编译器源代码4.07，在驱动程序/pparse.ml中，函数file_aux将使用ocamlyacc获得ast Parsetree。第169行：169: let (ic, is_ast_file) = open_and_check_magicinputfile ast_magic in
我想知道哪个文
浏览 1提问于2018-11-09得票数 1
回答已采纳
3回答
我正在写我的第一个ppx扩展。其思想是支持多态print函数，类似于Haskell中的show。
(我知道还有其他更健壮的解决方案，但我希望了解更多关于这一点的知识。)我所采用的方法非常类似于描述的方法:我有一个映射器，它查找%[print <expr>]标记，然后用<expr>的字符串表示来替换它们。它应该用最后类型的打印机包装它们。我目前的方法是使用Typecore.type_expression将Pars
浏览 9提问于2015-08-24得票数 3
回答已采纳
2回答
我想用OCaml分析OCaml文件(.ml)。我想把这些文件分解成抽象语法树进行分析。我尝试过使用camlp4，但没有成功。以前有没有其他人成功地做到了这一点？这是解析OCaml文件的最佳方法吗？
浏览 4提问于2014-04-23得票数 5
2回答
有没有办法向OCaml中已经存在的模块中添加函数？注：，这可能是XY问题。我之所以倾向于相信这样的模块扩展是可能的，是因为在电池中，有一些方法，如
浏览 0提问于2019-06-30得票数 3
回答已采纳
我想对OCaml片段进行预处理，并根据特定表达式的类型对代码片段进行一些修改。例如，如果代码片段具有：我将向f添加另一个参数，例如：。但如果我看到这样的事情：那我可能会想：我在看camlp4，尽管我对它不够透彻；我认为camlp4没有关于表达式的类型信息</e
浏览 6提问于2014-11-03得票数 2
回答已采纳
1回答
我正在通过AST转换开发一种小型编程语言。也就是说，从VM开始，慢慢地添加有助于程序员的层。因为每一层都知道如何转换它的新类型，所以我做了这样的事情： | `Halt | `Out| `Inc of 'd ]我想，既然编译器足够聪明，注
浏览 1提问于2017-07-27得票数 4
回答已采纳
" ~props:(object%js val className = "hello" end)因此，这里的问题并不是应用PPXes的</e
浏览 3提问于2016-04-11得票数 2
回答已采纳
我试着读取ocaml编译器源代码，使用4.07源代码我注意到它使用驱动程序/pparse.ml第161行函数“解析”来解析lex (我添加了一行Printf.printf "/ocamlc -nostdlib -I stdlib -c a.ml来测试它，控制台编写"pparse.parse")：从parseing
浏览 1提问于2018-09-11得票数 1
回答已采纳
(更新)我可以使用#目录来添加所需的路径--但不幸的是，这只需要一个字符串文本，因此在运行时不能传递从环境中读取的内容。(更新:我忘了最初提到#目录，以及为什么它不适合我的用例)。我想做的是：
在某些情况下，避免创建完整的findlib库。目前，我并不是使用ocaml作为解释器，而是使用一个为调用添加</
浏览 3提问于2014-08-08得票数 2
1回答
我需要使用ppx_jane将OCaml源文件解析为类型化的AST，并且我相信ppx_jane是完成这项工作的正确包。使用opam安装后，我仍然不知道有哪些功能可用。这是opam上ppx_jane包的。除了基本信息和依赖关系之外，它不会提供更多信息。虽然我可以在Github上搜索，看看其他程序员是如何调用这个包提供的函数的，但我仍然无法获得所有可用函数的详尽列表。
浏览 34提问于2017-03-06得票数 1
我的程序中有两个模块，一个是用OCaml编写的，另一个是用C编写的。OCaml one用于构建表达式，这些表达式必须移动到C模块。然后，我将在C中对这些表达式执行更多的操作，然后在C模块中调用最终断言。
如果还有别的路可走，请指点。
浏览 3提问于2014-07-09得票数 0
我已将这一行添加到我的.vimrc中：当我打开一个.ml文件时，它继续打开该文件之前会出现以下错误：我的vim版本不是用ocmal支持编译的吗？我在Ubuntu12.04上使用默认的vim。
希望有人有一些想法。干杯!
浏览 1提问于2014-08-22得票数 1
回答已采纳
5回答
我有一个名为Access_Status的表，它包含如下所示的值：我希望该表只返回Active用户，即Tom和John。
它应该而不是返回Marta的活动行，因为Marta实际上已被挂起。做这件事最好的方法是什么？
浏览 2提问于2020-06-01得票数 0
如果您想要使用LLVM为后端编写编译器，并且希望使用函数式编程语言及其到LLVM的绑定来完成您的工作，据我所知，您有两个选择: Objective Caml和Haskell。如果还有其他的，那么我也想知道这些。
我不是在征求主观的意见，所以请不要给这个打上subjective标签。我想对此做出自己的决定，但我不确定我是否知道所有的权衡。
浏览 2提问于2009-11-21得票数 33
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
