回答情况：
提问时间：
问题标签：
我正在尝试MetaOCaml，所以我写了这个很棒的代码：val a : int code = .<1>.
# let b = !.
浏览 4修改于2016-01-09得票数 2
type t = A;;会产生错误Unqualified constructor A cannot be used within brackets. Put into a separate file.一些参考资料可以找到
浏览 5修改于2015-06-24得票数 2
回答已采纳
Concoqtion是MetaOCaml的一个扩展，它允许索引类型(可能还有更多)。
浏览 2修改于2015-06-25得票数 7
回答已采纳
let rec h n z = if n = 0 then z从MetaOcaml(以MetaOcaml符号表示)的如下结果：
.<(fun x_1 -> (fun x_2 -> (fun x_3 -> x_3 + (x_2 + (x_1 + 1))) 1) 2) 3>.因此，问题是:如何才能改变这种情况，使其能够编译并具有与MetaOcaml输出相
浏览 2修改于2011-06-20得票数 5
回答已采纳
let ((q 'a)) (eval q))unbound variable: a
谁能给我解释一下引用术语的绑定时间模型是什么(例如，可以与MetaOCaml
浏览 5修改于2016-05-04得票数 1
我正在帮助一位朋友完成他的硕士论文，其中涉及使用元语言编程模型(如英特尔数组构建块或MetaOcaml )在多个CPU(如果可能的话是GPU)上并行化所选择的算法。
浏览 1修改于2013-04-08得票数 1
1回答
今天早些时候，我遇到了F#报价的限制，并在这里提出了一个问题：let rec peval2 p env fenv= Program ([],e) -> eval2 e env
浏览 1修改于2017-05-23得票数 8
回答已采纳
1回答
我正在学习Oleg的教程“将抽象与高性能相协调:一种MetaOCaml方法”。一个练习(练习23)要求让插入来绑定数组索引访问到局部变量。
浏览 6修改于2020-03-27得票数 0
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号