我已经为 sml 分配编写了一个哈希表。 我已经为哈希表创建了一个多态构建器,但是当我使用我创建的插入 function 时,我得到了一个可比较的类型(''a 而不是 'a),尽管我没有进行任何包含该类型的比较。 有没有人知道为什么? 很抱歉,如果我的代码有点混乱,我已经突出显示了重要部分,res ...
我已经为 sml 分配编写了一个哈希表。 我已经为哈希表创建了一个多态构建器,但是当我使用我创建的插入 function 时,我得到了一个可比较的类型(''a 而不是 'a),尽管我没有进行任何包含该类型的比较。 有没有人知道为什么? 很抱歉,如果我的代码有点混乱,我已经突出显示了重要部分,res ...
我的老师最近在 ML 中查看了 function,它使用“let”和“in”,但 function 的主体让我感到困惑,因为我不明白它们如何协同工作以产生结果。 function 获取您花园中的蔬菜列表,并用给定的替代品替换原始蔬菜,因此该列表将在原始元素所在的每个位置打印出替代品。这是 fun ...
我是 SML 语言的新学习者。 我已经学习了 SML 语言的基础知识。但是,我在获取在 SML 中创建字典的代码时遇到了麻烦。 所以,我想知道代码。 ...
比方说,我有一个自我描述的数据集。 前几个结构良好的记录定义数据类型ID,其中包括记录的名称和长度,后跟内容记录,内容记录以数据ID开头并包含可变数量的数据,具体取决于ID。 使用BNF,EBNF或ABNF来描述定义记录是很容易的。但是如何简洁地描述内容记录,其长度在定义记录中定义? ...
ML(及其变体,例如SML)如何成为元语言。 ML描述的目标语言是什么? 仅仅是因为函数被认为是值,所以代码与数据的处理方式相同吗? ...
我找到了LISP 1.5手册 ,其中包含一些代码。 这是来自第1.2节 Examples cons[A;B]=(A . B) 通过阅读手册,看起来功能cons接受两个原子作为输入参数A和B ,并输出一个S表达式(A . B) 。 题: 如何将代码cons[ ...
只是问了一个简单的问题,但是我在google中的搜索失败了。 我现在正在搜索将要完成的编程语言。 简而言之,是否有任何其他语言可以表达其他编程语言(java,c等)? 包括所有词汇和所有其他语言中可以找到的概念。 例如类,函数,方法,线程等。 提前致谢 ! ...
TL; DR:Metal似乎没有检测到我的顶点着色器返回的内容 我有这两个用MSL编写的函数: 当我尝试使用这些代码创建渲染管道状态时: 创建管道状态时出错: 致命错误:'试试!' 表达意外加一个错误:错误域= CompilerError代码= 1“链接失败:片 ...
我正在尝试转换下面的GLSL函数: 用于Metal 然后使用它: 我得到一个错误: 非续引用不能绑定到矢量元素 如何解决这个问题? 什么是InOut in Metal的等效限定符? ...
我正在尝试在Racket中编写模块元语言mylang ,该模块接受将修改后的主体传递给的第二种语言,例如: (module foo mylang typed/racket body) 等效于: (module foo typed/racket transformed-body) ...
在理解Mako(Python的模板引擎)的过程中,我开始使用defs构造。 我试图做的一件事是在def调用中生成一个通用的“ if”语句(例如,一个JavaScript)。 这是文本: 输出不是预期的if(3 == 3) ,而是3 == 3if() ,就像if_statement ...
我正在为要在浏览器中运行的元语言编写解析器。 元语言正在阻止,但由于JavaScript的限制,需要在解释器中将其转换为非阻止。 例如,元语言代码可能看起来像 与在javascript中实现的功能一样 如果没有goto语句,这将很容易编译为javascript,然后编译为 ...
在问任何问题之前:我正在处理实际的硬件。 我正在寻找一种元语言,该语言将允许我指定数据结构的内容,其中字段的位长不同(这包括字段长度为1、3或24或48位),涉及字节长度,并且会生成C ++代码访问数据。 由于过于模糊,该问题被搁置了,因此我将尝试使其尽可能清楚: 我正在寻找一 ...
我有一种特定领域的语言,我想通过添加新的关键字(或某些类似关键字的语法)与C#进行交互。 使用属性是不够的(我不能在方法主体中使用它们),并且将其折磨成“有效的” C#表示法,然后将其编译成其他内容将是丑陋的,并破坏了与DSL的类比(以及类似DSL的转换) C#的书写方式很简单,因此每次编写C ...
我需要编写一个函数,它接受一个字符串列表并找到列表中最大的字符串。 问题是它需要使用List.foldl迭代列表,并且不能使用递归调用,除了List,foldl的库函数中的那些调用。 我写 我的解释如下: -s in xs,如果xs为空,则返回空字符串 - 另外,xs的 ...
我正在制作一个非常抽象的树图系统,但是在规范它应该具有的所有图图功能时遇到了很多麻烦。 如果有人能指出我要阅读的有关该主题的内容,我将非常感激,因为不幸的是,我的搜索没有用。 我正在寻找/尝试制作用于显示树的元语言。 在这些树中,每个节点都是具有用户定义图形表示的用户定义对象的实例。 ...
我正在寻找一种语言独立表达 HTML 应用程序工作流程的方法。 如果用户在表单中填写某些值,则应显示另一个表单。 此外,如果填写了值,则应在此子表单中显示这些子表单的新部分。 我想表达这些 forms 中的 HTML forms 、 HTML 元素之间的关系和值。 根据数据库信息,如表字段和表关系, ...
我在Perl中喜欢的功能之一是LISP启发(?)的功能,可以使用简单的语法从内容列表中过滤出内容 测试功能将应用于@unfiltered_list的所有项目以产生@result_list。 这是其他语言中也存在的功能吗? (PHP?Python?)否则,如何通过此类代码轻松地向非 ...
我一直致力于规范/ kitchennsink的元语言,可以编译成PHP一段时间了。 现在我想开始构建这个东西。 在我使用PHP_Lexergenerator和PHP_Parsergenerator实现微型DSL之前,它们已经运行良好,但我之前从未构建任何这样的规模。 非常感谢您提供的任何反 ...
由于在Visual Dataflex中实现了具有复杂业务逻辑的单一业务应用程序,我们面临着跨越编程语言维护业务逻辑的挑战,因为某些功能是用其他编程语言(主要是.NET)编写的。 所以我正在寻找在不同的编程语言实现中“同步”业务逻辑的策略,以避免不匹配。 避免重复是一个优点,但这可以通过自 ...