f# - 将 OCaml 转换为 F# : Converting OCaml quotation add and quotation expander to F#-6ren

f# - 将 OCaml 转换为 F# : Converting OCaml quotation add and quotation expander to F#

转载作者：行者123 更新时间：2023-12-04 20:19:37

25

4

我正在将几个基于 OCaml 的模块转换为 F#，并运行到 OCaml ''Quotation.add'' 编译器指令以获取引号扩展器。

A quotation expander is a function written in OCaml. A call to the Camlp4 library function ''Quotation.add'' adds the quotation expander.

Camlp4 - Tutorial, Ch. 3

在 F# 书籍、F# 站点、Google 和此处搜索引号扩展器和“Quotation.add”编译器指令后，我得到的答案是否定的。

有人可以确认 F# 不支持 OCaml ''Quotation.add'' 编译器指令的概念或 OCaml 引号扩展器的概念。

编辑

注意:我刚刚了解到Camlp4是OCaml的pretprocessor-pretty-printer，当我问这个问题时，我以为它是一个单独的OCaml库；现在它是有道理的。

最佳答案

你是对的 - camlp4 库不适用于 F#，所以恐怕你需要使用另一种方法在 F# 中重新实现所需的功能。

通常，您可以从 F# 中使用一些相关技术(但如果不了解具体问题的更多信息，很难判断其中任何一种技术是否对您有用):

F# Quotations允许您操作 F# 代码，但编译能力有限(很好，即将 F# 转换为 SQL、JavaScript 或 GPU)

F# CodeDom (来自 F# PowerPack)允许您生成代码并使用 F# 编译器对其进行编译，但您可以将代码生成为文本或使用 .NET 面向对象的样式。

T4 Templating是一个 .NET 模板机制，虽然上次我检查过，它不支持 F#(但我认为 Mono 版本可能工作)

F# Type Providers (感谢 kvb)可以通过 F# 插件为编译器生成类型。这可以处理您使用 camplp4 生成某些类型以供以后使用的情况(即从较短的规范中)，但如果您需要生成一些代码

，它们的用途有限

关于f# - 将 OCaml 转换为 F# : Converting OCaml quotation add and quotation expander to F#，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/10422985/

25

4

0

文章推荐： sql - 合并两个具有不同 ORDER BY 的 SELECT 查询

文章推荐： shell - 在 shell 脚本中执行带有空格的动态创建的命令

文章推荐： r - 将混合模型公式从 SAS 转换为 R

git add * (asterisk) vs git add . (period)(Git Add*(星号)与Git Add。(句号))
I have a question about adding files in git. I have found multiple stackoverflow questions about
c# - Visual Studio : Add Item/Add as link rather than just Add
我是 visual studio 的新手，来自 Delphi。我有一个充满 .cs 文件的目录树(根是\Common)。我还有一个充满应用程序的目录树(根目录是\Applications) 最后，
java - 为什么 ArrayList add() 和 add(int index, E) 复杂度是摊销常数时间？为什么 add() 不是 O(1)，add(int index, E) 不是 O(n)？
这个问题在这里已经有了答案: Array's lookup time complexity vs. how it is stored (4 个答案) Time complexity for java
sql - MySQL: `... ADD INDEX(a); ... ADD INDEX(b);` 和 `... ADD INDEX(a,b);` 之间的区别？
谁能告诉我这两者有什么区别: ALTER TABLE x1 ADD INDEX(a); ALTER TABLE x1 ADD INDEX(b); 和 ALTER TABLE x1 ADD INDEX(
java - getChildren() add() 和 add()
为什么有时我们使用 getChildren() add() 而其他时候我们直接使用 add() es: https://docs.oracle.com/javafx/2/get_started/for
css - Bootstrap : add add-on below input
如何使用 bootstrap css 在输入下方添加跨度？我需要做这样的事情: 最佳答案是这样的吗？ http://jsfiddle.net/swm53ran/205/ 您可以使用纯 CSS 来实现
python - numpy - (np.add(X, Y, out=X); np.add(X, Y, out=X)) 在 np.add(X, 2*Y, out=X)
问题 np.add(X, 2*Y, out=X) 比 np.add(X, Y, out=X); np.add(X, Y, out=X).使用 np.add(X, Y, out=X); 是一种实际做法吗
git - 如何撤消 `` git add --intent-to-add``
当我跑 git add --intent-to-add .所有未跟踪的文件将其状态从“未跟踪的文件”( git status -s 显示 ?? )更改为“未暂存以进行提交的更改”( git statu
dart - add 和 sink.add 有什么区别？
我不知道 .add 之间有什么区别和 .sink.add ? 例子: StreamController myStreamController = StreamController(); stream
java - getContentPane().add() 和 add() 的意思一样吗
getContentPane().add() 和 add() 的意思一样吗？ public class TestFrame extends JFrame{ public TestFrame()
git - 对于初始提交， "add ."和 "add *"是同义词吗？
git add . 和 git add * 会完成完全相同的事情吗？最佳答案不，不会。 * 是一个 glob 模式，不会匹配以开头的文件。例如，假设这是当前目录，我有 2 个新文件要添加 fo
git add -A 和 git add . 的区别详解
git的分支与合并的两种方法 git add -A和 git add . git add -u在功能上看似很相近，但还是存在一点差别 git add . ：他会
git - "git add -A"和 "git add ."之间的区别
git add [--all | -A] 之间有什么区别？和 git add . ？最佳答案此答案仅适用于 Git 版本 1.x。对于 Git 版本 2.x，请参阅其他答案。总结: git ad
Wix 工具集 : cannot add Excel Add-in project reference
我刚刚安装了最新的 Wix v3.7。我创建了一个 VS 2010“Excel 2010 加载项”项目，并在同一个解决方案中创建了一个 Wix“安装项目”。问题是，当我尝试从 Wix 项目中引用 A
javascript - YUI.add 和 YUI().add 的区别
YUI.add 和 YUI().add 有什么区别？最佳答案在第一种情况下，您要注册一个模块可以加载到 YUI 沙箱中，在第二种情况下，您要构建一个沙箱，然后进行注册(这是一种非常不典型的用法)。
javascript - "How do I add items to a list and then add to the empty space below?"
测试代码时，任何输入到列表中的值在按下“enter”后都会消失。我对编程和网络开发非常陌生。请具体一点，以便我理解。 function addItem(){ var item = documen
python - BINARY ADD 和 INPLACE ADD 的区别
我正在浏览 python 的 dis 包。我尝试了代码以查看它是如何工作的 >>> def get(): ... x=4 ... y=x+3 ............ this lin
git - 如果我在开始时执行 "add"，我应该 "add ."git 中的每个新文件吗？
我已经对我的文件夹进行了版本控制 git init git add . git commit -m 'Initial commit' 我应该怎么做 git add 对于我在 .? 中创建的每个新文件
git - $ git add --all 与 $ git add * 之间的区别？
当我执行 $ git add * 时，有时我意识到 git 不会将已删除的文件添加到舞台上，如果删除或添加它，我需要手动指示，但我想不通找出 $ git add --all 有什么区别。因此，如果星号
git - 什么时候使用 "git add ."什么时候使用 "git add -A"
这个问题在这里已经有了答案: Difference between "git add -A" and "git add ." (12 个答案) 关闭 6 年前。目前，当我想提交并将内容推送到远程

首页

博学

6Ren·AI

商城

f# - 将 OCaml 转换为 F# : Converting OCaml quotation add and quotation expander to F#