sml

9熱度

2回答

有什麼方法檢查/測試變量的類型嗎？我想用這樣的： if x = int then foo else if x = real then bar else if x = string then ... else .....

6熱度

2回答

我自學Okasaki's Purely Functional Data Structures, now on exercise 3.4，要求推理和實施重量偏左的堆。這是我的基本實現：現在 (* 3.4 (b) *) functor WeightBiasedLeftistHeap (Element : Ordered) : Heap = struct structure Elem =

1熱度

2回答

模式與雷亞爾（標準ML）

這樣做配套： fun test a 0.0 = "good" | test a b = "bad"; 導致一個錯誤，但如果我更改了0.0錯誤消失。然而，我需要匹配0.0，我想知道是否以及如何完成。

8熱度

3回答

快速標準ML編譯器或字節碼解釋器，具有read-eval-print循環，適用於Linux？

爲了與課程一起使用，我將教學，我正在尋找Standard ML的快速編譯器或字節碼解釋器。我在尋找快速的編譯時間;任何合理的運行時間都可以。如果編譯模型簡單明瞭，則爲獎勵。班上的學生也將使用MLton生成優秀的二進制文件，但MLton編譯速度慢，並且有時候學生需要可以與之交互的東西。這是我已經知道：新澤西州的標準ML有一個互動的讀-EVAL-打印環，但其編制規則是有點陌生，這是一個有點慢

1熱度

2回答

SML如何減去2個列表並比較產品？

我想減去2個列表並返回比較產品。因此，如果列表 A = [2,3,2] B = [1,1,1] 然後 AB = [1,2,1]和返回的產物（C）應爲1。 val c = List.map (fn i => (i - b) mod 10) a modulo（mod）10用於兩個相減的數字給出奇數結果的情況，例如2-8 =〜6 mod 10 = 4. 我被困在減法中，因爲List.map不允許我

2熱度

2回答

新建ML：如何存儲類型的返回值* A * A *

我有一個程序，均返回int * INT （舉例說明目的）：樂趣程序（A，B）=（ 1,2）我想要做的事沿着線：樂趣計劃（A，b）如果A = 0，則（1,2）其他 VAL X， y =程序（a-1，b）返回（X-1，Y）基本上，我想操縱返回的元組，然後返回它的一個變形例。感謝

2熱度

1回答

使用SML破解凱撒密碼

我應該破解凱撒密碼。我必須聲明函數crack : int * int -> int因此，如果(k, c)是類型int，其中k是解密文本和c密文，呼籲crack(k, c)將返回鍵（MOD 10）n，這是需要得到c至k的。一個例子是，在調用crack(20458790, 64892134)將返回4. 如果c不是一個正確的編碼k，功能不必實際工作。我希望我在這裏已經夠清楚了。我理解這裏的實際任務

0熱度

1回答

在給定另一個AST樹的情況下創建Java樹中的AST樹

目前，我正在努力使用Java以SML編寫代表AST樹，以便我可以隨時在Java中遍歷它。我想知道是否應該在Java中創建一個具有我想要表示的數據的Node類以及用於表示該特定節點的子項的Array列表（List）？然後，我可以擁有隻有根節點的ASTTree類。我不知道是否有更多的花式我需要考慮。任何問題/意見將不勝感激！ -Paul

2熱度

1回答

標準ML：返回不同的類型

我需要根據傳遞給另一個函數的函數返回一個不同的值。因此，考慮到：fun inc x = x + 1; 和：fun double [] = [] | double (h::t) = 2*h::double (t); 你應該能夠調用我的工作有任何的功能。調用示例（我正在做的功能名爲test）： test (inc, 5); - 它會返回 - 或 - test (double, [1,2,3,4])

4熱度

2回答

包含兩個簽名，都與一個「類型T」 [標準ML]

一個人爲的例子： signature A = sig type t val x: t end signature B = sig type t val y: t end signature C = sig include A B end 顯然，這將導致投訴type t在C發生兩次。但是，有沒有什麼辦法來表達，我希望兩個t s到相提並論，與