ml

    -2热度

    1回答

    什么是“??”意味着标准ML

    我一直在寻找这个ML代码，我看到这个声明 fun doSomething (a, b) = if a < b then ?? else ?? ; 什么的“？”在这方面是什么意思？
    sml ml 2016-07-24

    0热度

    1回答

    使用SML的整数中的数字总和

    我试图创建一个函数来总结SML中的一个整数的数字，但我得到以下错误。 Error: operator and operand don't agree [overload conflict] operator domain: real * real operand: [* ty] * [* ty] in expression: n/(d * 10) 我
    casting functional-programming type-conversion sml ml 2016-09-15

    0热度

    1回答

    如何使用let绑定方式在SML中定义常量？

    有没有一种方法可以通过let绑定方式在SML中定义常量。 所以基本上我问的是如何为例子做不断x = 5，通过以下方式联系： let .... in ... end
    functional-programming sml ml let 2016-07-27

    3热度

    3回答

    在SML中使用逻辑运算符的foldr/foldl

    我试图在SML中使用foldr或foldl建立一个函数，它将返回列表中所有元素的逻辑或逻辑。 我试图以这种方式，使用和和或： fun band x = foldr (op and) true x; fun bor x = foldr (op or) false x; 而且还使用andalso和否则别指望。不过，我不断收到错误消息，例如： Error: unbound variable or
    functional-programming sml fold ml 2016-09-16

    1热度

    1回答

    旧Isabelle项目使用'uses'导入ml文件我应该如何替换？

    我继承老伊莎贝尔项目，并想使其达到最新与伊莎贝尔2016年工作当项目启动时，它往往开始你的文件： theory my_theory imports Main uses "my_theory.ML" begin lemma my_lemma: ... by ... end 的使用关键字似乎并不对存在了，所以我已经试过这更改为： theory my_theory imports Mai
    ml isabelle 2016-06-14

    0热度

    1回答

    SML：如何写在文件两个清单ML

    该函数将实数的列表保存到文件： fun writeReal (real, filename) = let val fd = TextIO.openOut filename val _ = map (fn i => TextIO.output (fd, Real.toString i^"\r\n")) real val _ = TextIO.closeOut fd
    io sml ml 2016-09-26

    0热度

    1回答

    SML/NJ：提取了许多的数字为一个int列表

    输入：只包含1与它 输出整行的文本文件：用数字的位数 这里INT名单是我的代码： fun parse file = let val input = TextIO.openIn file fun read_digits (NONE,acc) = rev acc | read_digits (SOME e,acc) = let va
    file parsing char integer ml 2016-05-04

    4热度

    1回答

    标准ML斐波纳契溢出

    我一直在学习一些函数式编程，并决定拿起ML作为我的车辆这样做。只有几天，我拿起了ML，也许花了大约5-6小时的时间来解决一些问题。无论如何，关于我的问题。 通常，当学习一门语言时，我会通过一些项目欧拉问题来了解语法和操作。所以我一直在研究一个需要阶乘函数的问题。虽然我不断收到溢出错误，但通常要在其他语言中解决这个问题，我会添加一些记忆或者依赖标准库来避免它，但是我对ML的经验不足使得记忆似乎是陌生
    recursion functional-programming sml smlnj ml 2016-10-04

    1热度

    3回答

    将char列表转换为int列表时将ML列表打字

    我一直在将字符列表转换为int列表时遇到问题。我的目标是基本上取一个数字，如325，并返回一个[3,2,5]的列表。到目前为止，我所做的是取出数字，然后将其转换为字符串，然后将其分解为char数组。然后我想将每个字符转换为相应的int。当我将char列表映射到fn c => Char.ord（c）时，char列表变成了一个？.int列表，这阻止了我对它进行操作（+， - ）。我是ML新手，对其类型
    types functional-programming sml smlnj ml 2016-10-05

    2热度

    1回答

    标准ML二叉树遍历

    我是SML新手，正在做关于树遍历的练习。 这是问题的设置。 datatype 'a bTree = nil | bt of 'a bTree * 'a * 'a bTree; 我需要编写一个函数inorder，它接受一个二叉树，并返回树中所有成员列表的顺序遍历。 我写这行： fun inorder(nil) = nil | inorder(bt(left,key,right)) =
    binary-tree sml ml tree-traversal 2016-05-09
最新问题