我想在sml中传递一个对函数foo的引用并更改它的值。考虑以下场景： val x = ref 5; (* now x will be 3 *) 在sml中是可能的吗？我知道sml没有变量，所以我不确定它是否可行。我想这样做是为了创建测试，例如： val test1 = (foo (seq 2) = 2);
val test2 = (foo
浏览 10提问于2019-01-02得票数 0
1回答
我对SML的编码还很陌生，并且还在努力理解模式匹配。我试图了解如何从SML中作为参数传递的函数访问参数。例如，如果一个函数包含两个参数、一个函数和一个整数，那么我如何访问参数函数所具有的参数(为了简单起见，假设它只有一个参数)。这个问题在SML中有意义吗？下面是一些不起作用的代码，但我认为它说明了我想要做的事情。
fun argumentExtr
浏览 7提问于2016-10-12得票数 0
1回答
在SML中，通过引用来考虑副作用。
是否正确:任何变量(无论是否与副作用一起使用)都表示引用，然后引用值？是否可能得到由变量表示的引用？在C中有类似于&的操作吗？(在SML中，作为表达式的变量默认不是对变量所表示的引用进行计算，而是对由变量表示的<e
浏览 3提问于2020-04-23得票数 0
1回答
在C中，在SML，
是否每个变量都表示引用？例如，如果是val y = ref(3)，那么y表示引用3。如果是let val x = 4，x表示什么：4还是引用4？我们能不能得到以
浏览 0提问于2020-04-23得票数 0
2回答
我在研究SML中的参考资料。letend;
虽然我的程序打印val it = 5 : int，但我正在尝试访问val it = 7 : int。我不明白为什么。我确信问题出在f函数中，但我不明白为什么。我要做的是：f函数应该将参数y更新为ref(ref(7))，这样x就可以为ref(7)。但由于某些原因，它不起作用。有什么问题吗？
浏览 0提问于2018-06-07得票数 1
我从一本SML书中了解到，SML中的函数总是只有一个参数:元组。一个接受多个参数的函数就是一个接受一个元组作为参数的函数，在函数绑定中使用元组绑定来实现。我明白这一点。但在这之后，这本书说了一些我不明白的话：
this point makes SML language flexible and elegant design, and you can do something
浏览 0提问于2013-01-28得票数 4
回答已采纳
在我用CM编译的SML项目中，我对在另一个SML文件中使用一个SML文件中的定义感到有点困惑。似乎只有在B.sml文件中声明了签名和结构定义，A.sml才能使用它们。我想在B.sml中声明一个datatype MyType = MyConstr {name:string, other: string}，并在A.sml</
浏览 14提问于2021-01-06得票数 0
回答已采纳
假设我必须每次调用一个函数来更新一个列表，这样列表的前一个元素就会被保留下来。以下是我的尝试： val all_list = []; fun insert (x:int) : string = int2string (list_len( ((但是，我期望第一个调用的"1"输出插入，第二个调用的"2"输出，...etc。
我无法找到解决办法。应该怎么做呢？
浏览 5提问于2016-12-23得票数 0
回答已采纳
2回答
在SML中求平方根？
、、、
尝试使用以下伪代码计算出如何在SML中获取平方根：sqrt x s = sqrt x (s-1) if s*s > x- fun sqrt x s = if ((s*s) <= x) then s | sqrt x s = if (s*s) > x thenre
浏览 4提问于2013-11-07得票数 1
回答已采纳
在ocaml，这是可行的：val a : 'a list -> 'a -> 'a list = <fun>- : int list =[1; 2]- fun a(b,c)=b@[c];;- a [1] 2;;operator
浏览 0提问于2021-10-22得票数 1
回答已采纳
我试图用sml编写一个函数，它“解包”任意深度的嵌套列表。例如，解包[[ 1,2 ]]应该产生1，2。我正在尝试这样的东西：有趣的是，nestedp _= true _ nestedp _= false；有可能以这种方式解压缩嵌套列表吗？
浏览 3提问于2011-09-03得票数 0
回答已采纳
1回答
如何将命令行参数传递给SML脚本？我知道有一个类型正确的CommandLine.arguments()函数(unit -> string list)，但是调用解释器的方式如下：
$ sml script_name.sml an_argument
浏览 2提问于2013-10-14得票数 8
回答已采纳
2回答
我是自学习的SML，目前我被困在两个不同大小的列表之间递归的概念中。假设您有两个大小不同的int列表，以及一个将两个数字相乘的函数，如下所示：我希望使用这个函数作为参数传递到另一个函数中，该函数递归地将同一索引中的数字乘以所以
val list1 = [1, 3,
浏览 4提问于2022-11-29得票数 0
回答已采纳
1回答
然而，从表面上看，似乎可以很容易地用支持抽象类型成员的面向对象语言进行编码。例如，我们可以在Scala中对SML模块系统的元素进行编码，具体如下：
由给定签名参数化的SML函子: Scala类，将扩展给定特征的对象作为构造函数</
浏览 5提问于2014-04-11得票数 41
回答已采纳
我正在使用SML/NJ，我需要在另一个文件f1.sml中使用一组位于特定文件f2.sml中的函数。
但是，我不是直接运行f2.sml，而是从其他地方导入它。如果我在f2.sml中使用f2.sml命令以及相对于f2.sml透视图的f1.sml路径，那么在导入f2.sml时，它将从运行的脚本透视图中查找提
浏览 1提问于2018-05-30得票数 7
回答已采纳
2回答
我正在处理SML中的一个项目，其中我需要编写一个函数，该函数接受一个函数和一个整数作为输入。此函数需要为传递给它的给定函数生成输入/输出元组列表。,(3,9),(4,16),(5,25)]
显然，平方函数可以是任何函数，比如整数立方体函数或类似的函数。我遇到的问题是让函数递归地“访问”从指定值开始<e
浏览 3提问于2017-04-10得票数 1
{ };
hover: hover, }在我上面的代码中，this引用了$('.link')元素，但是我想将它用于当前对象。因此，为了实现这一点，我可以修改构造函数如下。第二种方法是再次使用jquery $.proxy()，这将使我的构造函数看起来很混乱。我的问题是，如何将引用</em
浏览 0提问于2013-08-18得票数 0
回答已采纳
我对SML (来自java世界)相对比较陌生，据我所知，结构类似于java类&签名是java接口。 cb(nn); cb = cc上面的代码在没有changeCallback函数的情
浏览 0提问于2017-11-11得票数 2
1回答
是否可以有一个先进先出的实现，使用某种可变指针来支持其函数的子集，即仅支持Enqueue、Dequeue、isEmpty和带有通用'a对象的初始化empty，以便在当前的双列表实现使用的特定时间复制一个列表时不会产生成本(当复杂性被摊销时没有成本，因为它仍然是O(1)摊销的操作成本，但仍然不足以满足我的一个应用程序)，如果是，具体如何？
浏览 0提问于2019-04-25得票数 1
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
