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
最新問題