Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
我可以注释“fun”声明的完整类型吗?
在学习环境中 我可以选择哪些选项来为函数提供类型签名 标准 ML 没有像 Haskell 那样的顶级类型签名 以下是我考虑过的替代方案 模块签名 需要单独的签名文件 或者在与模块本身相同的文件内的单独块中定义的类型签名 这需要使用模块 在任
functionalprogramming
SML
如何在 Isabelle 的 ML 级别轻松编写简单的策略?
在 Isabelle 理论文件中 我可以编写简单的一行策略 如下所示 apply clarsimp simp split def split prod splits 然而 我发现 当我开始编写 ML 代码来自动化证明 生成 MLtactic
SML
isabelle
当我们定义柯里化风格的函数时,我们可以声明参数的类型吗?
如果我定义一个带有元组样式参数的函数 我可以定义参数类型和返回类型 fun hello name String code int String hello 但如果我使用咖喱风格 我只能这样做 fun hello name code hell
SML
SML - 未绑定变量或构造函数
我有下一个代码 datatype expr K of string Number2 of expr expr list datatype number Number1 of string Number3 of int fun append
SML
为什么我无法在标准机器学习中比较实数?
为什么不1 0 2 0工作 不是real平等类型 它给出了错误 Error operator and operand don t agree equality type required operator domain Z Z operan
floatingpoint
SML
smlnj
floatingpointcomparison
number_in_month 练习(SML 列表迭代)
我需要获取日期列表和月份列表 并获取列出的任何月份中的日期数量总数 从而返回一个整数 我有一个先前定义的number in month函数 它接受一个列表 日期和一个月 并返回该日期中的日期数量 月 它已经过测试并且工作正常 我以此为基础
list
date
Iteration
SML
number_in_month 练习(SML 中多个列表的迭代)
我在 SML 中有两个列表 假设列表 A a b c d e f 和列表B b e 我想计算 B 中每个项目与 A 中每个三元组的第二个元素匹配的次数 输出应该是 2 因为b and e每个在 A 中出现一次 到目前为止 这是我的代码 但是
SML
SML 中绑定的价值?
有人可以解释一下为什么评估后 and 的值一定是 16 这是正确的答案吗 我认为答案 3 是因为我们调用函数 f 并将值 1 和 2 作为函数 f 发送 但看不到值 5 和 10 但我想我错了 val x 1 val y 2 val f f
functionalprogramming
SML
ML
什么是互递归类型?
如果在 ML 中 递归数据类型的示例是 datatype llist Nil Node of int llist 什么是机器学习中的相互递归数据类型以及它的示例是什么 这些愚蠢的数据类型就是这样的一个例子 datatype a A Ab o
types
SML
ML
recursivedatastructures
mutualrecursion
SML 类型推断的提示
我是 SML 的新手 我正在尝试练习 SML 类型参考 我正在尝试演绎以下类型 a fun add42 x x 42 b fun comp F G let fun C x G F x in C end c fun compA42 x com
SML
typeinference
二变量多项式的霍纳规则
霍纳规则用于简化在特定变量值下评估多项式的 过程 https rosettacode org wiki Horner 27s rule for polynomial evaluation Standard ML 我已经使用 SML 轻松地将
functionalprogramming
SML
smlnj
polynomialmath
mlton
查看 SML 完整列表
有没有办法使用 SML 打印完整列表 通常在 SML 中发生的情况是 当我有太多元素时 它会打印前几个元素 并用 分隔 然后省略列表的其余部分 但我想查看完整的列表 有什么办法可以做到这一点吗 val a 1 2 3 4 5 6 7 8 9
SML
如何在 SML/NJ 中进行按位与运算?
我正在编写的程序需要它 重复平方来计算 x n 我似乎找不到它的语法 或者是否支持它 它们可在Word8 and Word结构 let open Word8 infix andb orb xorb notb lt lt gt gt gt g
Binary
SML
smlnj
这个函数签名在sml中是什么意思?
我正在查看我的教授关于 SML 语言的一些注释 其中一个函数如下所示 fun max gt let fun lp curr curr lp curr a l if gt a curr then lp a l else lp curr l i
function
SML
smlnj
如何组合相等的序列元素(函数式编程)?
我想编写一个函数 它接受序列 并返回具有相同元素分组的序列 如 gt 我使用的是序列 而不是列表 但有些功能是相似的 我正在考虑使用的一些功能是map reduce tabulate filter append等 Reduce 接受一个关联
functionalprogramming
F
ocaml
SML
抑制标准 ML 中的“val it”输出
我正在用标准 ML SML NJ 编写一个 脚本 根据我的喜好设置交互式环境 该脚本所做的最后一件事是打印一条消息 表明一切顺利 本质上 最后一行是这样的 print SML is ready n 当我运行脚本时 一切顺利 但 SML 解释
SML
smlnj
如何在 Mac 上安装 Standard ML 的工作版本?
我使用的是 Mac OSX 10 7 5 但我似乎无法下载可用的 REPL 的标准 ML 编译器 这应该有这么难吗 我应该下载一个最好的 ML 吗 我尝试过 SML NJ 和 MLton 但没有成功 Mac 用户也可以使用 brew ins
functionalprogramming
SML
smlnj
NJ 的 ML 中的嵌套本地声明
大家好 我有这段代码 local helper f i j local fun NTimesF f n int if n 1 then fn x gt f x else fn x gt f NTimesF f n 1 x in if i l
SML
smlnj
1个案例多种模式
在 SML 中 一个 case 语句中是否可以有多种模式 例如 我有 4 个算术运算符以字符串形式表示 我想打印 PLUS MINUS 其中是 or and MULT DIV 如果是 or TL DR 有什么地方可以简化以下内容以使用更少的
SML
smlnj
SML 警告:使用空列表或 NONE 选项时,类型变量未通用化
我一生都无法弄清楚为什么以下 SML 函数在我的作业问题中抛出警告 fun my func f ls case ls of gt raise MyException head rest gt case f head of SOME v gt
SML
smlnj
«
1
2
3
4
»