个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
28
4
在 OCaml 中，函数应用程序的评估顺序是未指定的(又名非确定性的)。
在标准机器学习中，它也是非确定性的还是确定性的？您能否提供对规范部分进行澄清的引用？
编辑:对于那些稍后来的人，我还了解到，与 SML 一样，在 F# 中，顺序是指定且确定的——不像 OCaml，考虑到两者在语法上的接近程度，OCaml 更加疯狂。如果你经常在它们之间切换，很容易忘记。
最佳答案
是的，评估规则(Definition 的第 6.7 节)完全指定了 SML 的所有构造的评估顺序，并且始终按文本顺序排列。对于应用程序，首先计算函数表达式，然后计算参数(例如规则 102)。类似地，记录(以及元组)从左到右进行评估(规则 92/95)。
总之，这意味着例如f(a,b)(c,d)按顺序评估 f , a , b , f(...) , c , d , g(...) ，其中 g是 f(...) 的结果.
关于sml - SML 中的函数应用程序评估顺序是否具有确定性？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/43883010/
28
4
0
在 OCaml 中，函数应用程序的评估顺序是未指定的(又名非确定性的)。 在标准机器学习中，它也是非确定性的还是确定性的？您能否提供对规范部分进行澄清的引用？ 编辑:对于那些稍后来的人，我还了解到，与
我是 SML 的新手，正在使用 SMLNJ 方言。 出于某种目的，我一直在尝试将 3 类型转换为 3.0(int 到 real)。 找不到出路。我怎样才能做到这一点？如何在类型之间进行转换？ 最佳答案
SML中有标准的排序函数吗？互联网上的文档太少了，我找不到任何文档。 最佳答案 SML 基础库中没有定义排序功能，但大多数实现都扩展了基础库并添加了额外的功能。 因此，MosML 具有 ArraySo
1 fun max(a,b,c) = 2 if a > b a
SML长度函数: fun length(L) = if (L=nil) then 0 else 1+length(tl(L)); 例如: length [1,2,3] = 3; len
这里的第一个问题只是想作为我做了几个查询的序言，虽然我发现了多个措辞相似的问题，但我发现没有一个问题在问或回答我的问题(据我所知)。 我正在 SML 中进行类作业，因此我将省略一些细节，以便我可以自己
我正在使用带有 SML 模式的 Emacs。有时我需要清理 SML 缓冲区。我怎样才能做到这一点。 最佳答案 新泽西标准 ML 是一种函数式编程语言，它是 ML 的变体。通常它在带有插件的 EMACS
我相信我对在 SML 中捕获异常有一些基本的误解。 我写了下面的代码: fun my_g acc p = let val r = my_g acc in ca
我目前在 SML 代码中有很多打印语句，而且我正在遍历一个非常大的树，所以打印所有打印语句需要一段时间，但现在我不想看到任何打印语句和只是想看到它尽可能快地运行。但我不想评论所有的打印，因为我以后需要
我正在使用 SML/NJ，我需要使用某个文件中的一组函数 f1.sml在另一个文件中 f2.sml . 但是，我没有运行 f2.sml直接，相反，我从其他地方导入它。 如果我使用 use f2.sml
fun p( x::xl ) = if x::xl = [] then [] else [0]; 它收到警告:匹配非详尽无遗。 x::xl => ... 我想做的是: p( [] ) = []
我有这个声明: let val x = let val x = 5 in(fn y =>(y,x+y)) end in let val y=3 and z=
有没有办法使用 SML 打印完整列表？ 通常在 SML 中发生的情况是，当我有太多元素时，它会打印由“，”分隔的前几个元素，然后用 ... 省略列表的其余部分，但我想看看完整列表。有什么办法吗？ va
我正在尝试读取我的输入文件的名称 argv[1] 。这是我到目前为止所做的: val args = CommandLine.arguments() ; val (x::y) = args ; val
我如何转换 array输入 list输入 sml。我已经搜索了列表和数组结构函数，但没有找到执行此操作的函数(尽管有一个数组函数列表)。 列表结构说明: http://sml-family.org/B
我目前正在为 SML 类(class)的作业评分。我编写了一些测试用例来自动检查学生作业中函数的正确性，我希望能够导入他们的代码，然后针对该代码运行测试用例。我正在想象类似于 python 导入语义的
如何将命令行参数传递给 SML 脚本？我知道有一个 CommandLine.arguments()正确类型的函数( unit -> string list )，但像这样调用解释器: $ sml scr
假设我在 sml 中有一个非常大的列表，然后 sml 显示一些条目，然后开始显示 # 字符。 有人能告诉我如何查看整个列表吗？ 最佳答案 假设这是 SML/NJ，您可以使用 printLength ,
我有以下公式 fun foo 0 = [0] | foo num = let val l = (num mod 2)::foo(num div 2) in rev l
我有一个关于我的作业的问题，问题是 有使用数据类型: datatype 'a llist = LList of 'a llist list| Elem of 'a; 嵌套列表由多态类型的元素或嵌套列表
我是一名优秀的程序员,十分优秀！