个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
26
4
在我的 OCaml 程序中，我花了相当多的时间一遍又一遍地为变体类型编写“to_string”。我需要它们用于调试目的，或者因为我需要特定格式的输出。
到目前为止，他们遵循如下模板:
let rec to_string = function
| Var x -> x
| Implies (f1, f2) -> Printf.sprintf "(=> %s %s)" (to_string f) (to_string f2)
| And (f1, f2) -> Printf.sprintf "(& %s %s)" (to_string f1) (to_string f2)
| Or (f1, f2) -> Printf.sprintf "(| %s %s)" (to_string f1) (to_string f2)
| Not (f) -> Printf.sprintf "(~ %s)" (to_string f)
| True -> "#t"
| False ->"#f"
我想知道是否有比这更方便/更传统的方式，可能是语言的最新发展。比如根据类型自动生成模板？可用于调试的通用打印函数？
“Real World OCaml”中提倡的一种方法是使用核心库的 Sexp 模块，该模块为此目的提供了便利。如果您不需要对如何打印值进行太多自定义，它似乎工作得很好。我想知道是否有其他/更好的选择。
最佳答案
有一些基于类型的生成器，你可能会觉得有趣，比如 deriving、typerep、sexplib 等。但是我不要指望，有什么神奇的东西会在编译时读懂你的想法，并根据你的品味和感受编写一个 pretty-print 函数。关于模板，那么所有的模板引擎都是某种模式匹配(通常是字符串类型)，OCaml 已经为您提供了开箱即用的模式匹配。并且不要忘记，您的类型定义是递归的，这使得基于模板的方法更难使用。您可以使用一些自动 json 或 xml 基于转储程序，如 ocaml-cow 并实现某种 xslt 转换，但您最终会得到很多代码，实际上是在 reshape OCaml 的原生模式匹配。
因此，对于像您这样的小型语言，编写此 to_string 函数是最好的解决方案。我认为这是向计算机表达您的想法的最自然方式。我还建议使用 Format 模块，并使用 %a 说明符进行递归。另外，Format 模块，有tags 的概念。标签允许在格式字符串中逐字标记文本片段，标记的格式可以用下面的例子来解释:
@{<html>@{<head>@{<title>Tags!@}@}@{<body>Hello!@}@}
这可以自动转换为 HTML:
<html>
<head>
<title>
Tags!
</title>
</head>
<body>
Hello!
</body>
</html>
也可以将其传输到 LaTeX、json 或其他任何内容，包括什么都不传输(即完全忽略标签)。但标签更多的是处理格式和元信息，比如语法高亮和引用。它们实际上不能影响具体语法。
对于丰富的语法树，编写 pretty-print 函数的递归集的方法不能很好地扩展。这就是 OCaml 中有 O 的原因。您可以使用开放递归来实现带有大量钩子(Hook)(即方法)的 AST 访问者类。这是 OCaml 本身和 camlp4 中使用的方法。
关于在 OCaml 中打印变量类型，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/28527501/
26
4
0
这个问题在这里已经有了答案: 关闭 10 年前。 Possible Duplicate: How to nest OR statements in JavaScript? 有没有办法做到这一点:
在 JavaScript 中有没有办法让一个变量总是等于一个变量？喜欢var1 = var2但是当var2更新，也是var1 . 例子 var var1 = document.getElementBy
我正在努力理解这代表什么 var1 = var2 == var3 我的猜测是这等同于: if (var2 == var3): var1 = var2 最佳答案 赋值 var1 = var2
这个问题已经有答案了: What does the PHP error message "Notice: Use of undefined constant" mean? (2 个回答) 已关闭 8
我在临时表中有几条记录，我想从每条记录中获取一个值并将其添加到一个变量中，例如 color | caption -------------------------------- re
如何将字符串转为变量(字符串变量--> $variable)？ 或者用逗号分隔的变量列表然后转换为实际变量。 我有 2 个文件: 列名文件 行文件 我需要根据字符串匹配行文件中的整行，并根据列名文件命
我有一个我无法解决的基本 php 问题，我也想了解为什么! $upperValueCB = 10; $passNodeMatrixSource = 'CB'; $topValue= '$uppe
这可能吗？ php $variable = $variable1 || $variable2? 如果 $variable1 为空则使用 $variable2 是否存在类似的东西？ 最佳答案 PHP 5
在 Perl 5.20 中，for 循环似乎能够修改模块作用域的变量，但不能修改父作用域中的词法变量。 #!/usr/bin/env perl use strict; use warnings; ou
为什么这不起作用: var variable; variable = variable.concat(variable2); $('#lunk').append(variable) 我无法弄清楚这一点
根据我的理解，在32位机器上，指针的sizeof是32位(4字节)，而在64位机器上，它是8字节。无论它们指向什么数据类型，它们都有固定的大小。我的计算机在 64 位上运行，但是当我打印包含 * 的大
例如: int a = 10; a += 1.5; 这运行得很完美，但是 a = a+1.5; 此作业表示类型不匹配:无法从 double 转换为 int。所以我的问题是:+= 运算符 和= 运算符
您好，我写了这个 MySQL 存储过程，但我一直收到这个语法错误 #1064 - You have an error in your SQL syntax; check the manual that
我试图在我的场景中显示特定的奖牌，这取决于你的高分是基于关卡的目标。 // Get Medal Colour if levelHighscore goalScore { sc
我必须维护相当古老的 Visual C++ 源代码的大型代码库。我发现代码如下: bIsOk = !!m_ptr->isOpen(some Parameters) bIsOk的数据类型是bool，is
我有一个从 MySQL 数据库中提取的动态产品列表。在 list 上有一个立即联系 按钮，我正在使用一个 jquery Modal 脚本，它会弹出一个表单。 我的问题是尝试将产品信息变量传递给该弹出窗
这个问题在这里已经有了答案: 关闭 10 年前。 Possible Duplicate: What is the difference between (type)value and type(va
jQuery Core Style Guidelines建议两种不同的方法来检查变量是否已定义。 全局变量:typeof variable === "undefined" 局部变量:variable
这个问题已经有答案了: 已关闭11 年前。 Possible Duplicate: “Variable” Variables in Javascript? 我想肯定有一种方法可以在 JavaScrip
在语句中使用多重赋值有什么优点或缺点吗？在简单的例子中 var1 = var2 = true; 赋值是从右到左的(我相信 C# 中的所有赋值都是如此，而且可能是 Java，尽管我没有检查后者)。但是，
我是一名优秀的程序员,十分优秀！