ml

    4热度

    1回答

    如何处理ML除以零误差

    我是ML的新手。 我需要定义一个函数以条件表达式作为参数，问题是如果表达式无效，如"10 div 0 = 0"。我该如何处理？ 例如，函数定义如下：foo exp1 = if (exp1) then ... else...和exp1是"10 div 0 = 0"，如何处理这种除法错误。
    error-handling sml ml divide-by-zero 2011-12-06

    0热度

    2回答

    SML/NJ中的高阶函数

    我正在寻找有关问题的帮助。我正在尝试编写一个函数，它可以在ML中传递一个列表和函数。基本上，程序应该做的是获取一个列表并通过函数运行每个元素。如果函数返回true，那么元素将被添加到列表中，并且函数完成执行后返回列表。这里是我的代码： fun select(x:list, funct)= (* Define a new function that accepts a list and the p
    sml smlnj ml higher-order-functions 2012-02-04

    0热度

    1回答

    标准ml quicksort

    我试图用ml来解决一个问题，并且我有点卡住了。原谅我，这是微不足道的代码，但回答它将解决我的大部分问题。 代码： val sorted = ([3, 2, 1], [5, 8, 4]); fun loop ([]) = [] | loop (x::xs) = [3] @ [4]; loop sorted; 错误： Error-Can't unify 'a list with in
    sml ml 2011-11-03

    1热度

    2回答

    在SML中将字符串转换为实数

    我想将实数的字符串表示转换为实数类型。 我知道我可以做Real.fromString("5.5")，但它不会返回实际的类型，而是实际的选项类型，我无法乘以或添加任何其他实数。
    sml smlnj ml 2012-02-10

    10热度

    2回答

    我可以从ocaml toplevel构建一个图形界面吗？

    À关于该交互式顶层和图形用户界面编程几个问题： 是否有可能从OCaml的顶层动态地构建一个图形界面呢？ 也可以使用图形库吗？
    functional-programming gtk ocaml read-eval-print-loop ml 2012-02-16

    0热度

    2回答

    与ML关闭相关的资源？

    我正在参加一个使用ML的课程，我们将讨论闭包，但我不太了解它们，特别是在ML中。我在课堂上记笔记，他们对我没有多大意义/提供足够的细节。我试着在网上寻找更多的信息，但找不到任何。 有没有人知道任何资源关于关闭在ML（或关于ML /关闭一般）是非常好的？ 或者，如果有人可以发表一些关于如何在ML中实现闭包的一般想法/解释或ML中的闭包如何看起来像什么封闭等等，我真的很感激它。我只是想了解关闭的概念/
    closures ml 2011-11-14

    0热度

    2回答

    ML语言中的cdr字符串

    我尝试在（意思是（cdr abcd）= bcd）中找到等于（cdr string）的ML中的库函数。
    ml 2011-11-25

    0热度

    1回答

    ML - 错误印刷值（＃）

    我写功能，并且例如我有下一行（这只是从功能的部分）： up (St(d)::Dt::St(c)::[rp]) = Pr (Sym(d), Sym(c)) Pr，Sym，St，Dt - 都是数据类型; d和c是字符串。 当我运行功能up，论据([St("hello"),Dt,St("hi"),rp]),它打印val it =Pr(Sym(#), Sym(#))，而不是val it = Pr(Sy
    sml smlnj ml 2011-11-25

    1热度

    1回答

    在SML中打印一个列表

    我想在帮助功能中打印一个列表，用于调试目的。由于某种原因，它不打印任何东西。有谁知道什么是错的？ 下面是我的一些代码： local .... and xx(LparenToken) = "LparenToken" | xx(RparenToken) = "RparenToken" | xx(QuoteToken) = "QuoteToken" | xx(DotToken) = "DotT
    sml ml 2011-11-25

    4热度

    1回答

    ML中的高级功能咖喱和饼干什么

    fun curry f x y = f (x, y); fun uncurry f (x, y) = f x y; fun compose (f, g) x = f (g x); 我了解撰写功能，但不太了解咖喱和ML在ML。有谁能解释这些吗？ 另外，以下两行代表什么意思？ (1) compose (compose, uncurry compose) (2) compose (uncurr
    sml higher-order-functions currying ml 2011-12-06
最新问题