Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
有类似 Haskell/ML 的 C 编译器吗?
People have http jlongster com software iphone scheme iphone example 书面games http www artisancoder com 2009 10 scheme hi
iphone
Haskell
SCHEME
SML
gambit
标准机器学习语法
我是标准机器学习的新手 并尝试编写以下代码 fun whilestat test stmt1 fn x gt if test x then stmt1 x whilestat test stmt1 else x 问题是它给了我以下错误 w
SyntaxError
SML
标准机器学习中的部分总和?
我是函数式编程的新手 我有一项任务来计算列表的部分和 例如 psum 1 1 1 1 1 val it 1 2 3 4 5 整数列表 这是到目前为止我的代码 然而 在函数 psum2 L 中 我不知道如何遍历每个值并将它们相加 所以我只是打
list
functionalprogramming
Sum
Partial
SML
SML 和函数式编码风格
我开始学习标准机器学习编程语言 https www coursera org course proglang course 在第一个作业中 我尝试编写一个函数is older需要两个日期并评估为true or false 它评估为true如
functionalprogramming
SML
Objective C 中的惰性数据类型
在 SML 中 可以采用以下方式对惰性编程进行建模 Have a datatype to wrap a computation datatype a susp Susp of unit gt a A function to hold the
Objectivec
SML
权重偏左堆:自上而下版本合并的优点?
我正在自学 它要求推理并实现一个偏向权重的左堆 这是我的基本实现 3 4 b functor WeightBiasedLeftistHeap Element Ordered Heap struct structure Elem Elemen
datastructures
functionalprogramming
SML
如何在标准 ML 中检查整数的以 2 为底的表示形式? [复制]
这个问题在这里已经有答案了 我正在尝试在 SML 中实现重复平方算法 我希望它是尾递归的 目标是将所有 x k 相乘 其中 k 是 2 m 2 m 是 n 的二进制表示形式中的 1 例如 对于 x 25 计算 x 1 x 8 x 16 因为
Binary
SML
何时在 SML 中使用分号?
我知道分号在 REPL 中用作终止符 但我对何时在源文件中使用它们感到困惑 例如 之后不需要val x 1 但如果我之后省略它use foo sml 编译器会抱怨它 那么 分号的使用规则是什么呢 分号用于 SML 中的许多语法实体 它们通常
SML
smlnj
ML
输出在 REPL 中被 # 符号截断
我编写了一个按预期工作的函数 但我不明白为什么输出是这样的 功能 datatype prop Atom of string Not of prop And of prop prop Or of prop prop XOR A And Not
SML
smlnj
SML/NJ:如何使用哈希表?
我真的很想在 SML 中创建一个哈希表 似乎 SML NJ 中已经有一个结构 问题是 我该如何使用它 我还没有完全理解如何在SML中使用结构 并且我读过的书中的一些非常基本的示例给了我错误 我什至不知道如何纠正 所以使用HashTable结
Structure
HashTable
SML
smlnj
fn 类型的 ml 函数:'a -> 'b
功能 fn a gt b 现在 有没有可以定义并具有这种类型的函数 标准机器学习中该函数签名有两种可能的实现 一种使用异常 另一种使用递归 val raises a gt b fn a gt raise Fail some error In
functionalprogramming
SML
ML
parametricpolymorphism
ML 中 ref 函数的用法
考虑到 ref 运算符 我很难理解它的应用以及以下指令的含义 1 在这个定义中我定义什么 val ref x ref 9 val x 9 int 2 我在这里用 ref x ref 12 做什么 val x ref 8 val x ref
SML
ML
修复 OCaml 中的数据类型
Haskell 中的以下数据类型如何用 OCaml 或 SML 表示 newtype Fix f In f Fix f 我已经在邮件列表上回答了这个问题 https sympa inria fr sympa arc caml list 20
Haskell
recursion
ocaml
SML
fixpointcombinators
SML:为什么函数总是采用一个参数使语言变得灵活
我 从一本 SML 书中 了解到 SML 中的函数总是只接受一个参数 一个元组 接受多个参数的函数只是一个接受一个元组作为参数的函数 通过函数绑定中的元组绑定来实现 我明白这一点 但在这之后 书上说了一些我不明白的话 this point
function
SML
记录列表上的SML功能
我试图声明一个函数 该函数将元组内的记录列表作为参数 但语法并不像我希望的那样直观 这就是我想做的 type Player id int privateStack int list fun foo id x xs Player player
list
record
SML
smlnj
通过索引变量访问 SML 元组
问题很简单 如何在SML中使用索引变量访问元组 val index 5 val tuple1 1 2 3 4 5 6 7 8 9 10 val correctValue index tuple1 我希望有人能够提供帮助 提前致谢 不存在接受
tuples
SML
SML 中的霍纳算法? [关闭]
Closed 这个问题需要调试细节 help minimal reproducible example 目前不接受答案 我正在尝试实施霍纳算法 http en wikipedia org wiki Horner 27s algorithm
Algorithm
SML
smlnj
我可以注释“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
«
1
2
3
»