sml

2熱度

1回答

datatype term = node of string*term list | vnode of string 我有一個類型term的值。我如何在sml打印到標準輸出。

5熱度

2回答

我想編寫一個函數，根據哪些項目滿足給定屬性p將列表拆分爲子列表。我的問題是調用函數。我將在Haskell中給出例子，但同樣的問題會出現在F＃或ML中。 split :: (a -> Bool) -> [a] -> [[a]] --- split lists into list of sublists 的子列表，級聯，是原始列表： concat (split p xss) == xs 每個子

2熱度

1回答

在smlnj中打開騎士的遊覽（回溯）算法

我必須編寫SML代碼來解決騎士在回溯中的遊覽問題。國際象棋騎士必須跑遍棋盤（尺寸：NxN），並且必須每次訪問正方形一次（最後不必回到第一個方格）。我已經編寫了所有的函數來創建一個空白板，設置或獲取棋盤上的方塊，以獲得可能的騎士下一步棋的列表。但我不知道如何在SML中編寫遞歸函數（我知道如何在C中編寫此算法，但不是在SML中編寫此算法）。算法下一個8×8棋盤 dl and dr are arra

2熱度

2回答

如何訪問Tuple的隨機成員？

我想訪問一個元組的隨機成員，我不知道如何設置#n一個變量。這裏是我的代碼： val lis = ("a","b","c","d") val randNumber = Random.randRange (1,4) (Random.rand (0,1)) val randChar = #randNumber lis //this is where its failing 這是我怎麼會正常訪問

56熱度

3回答

向Haskell中添加ML樣式模塊有什麼主要的理論困難？

衆所周知，Haskell風格的類型類和ML風格的模塊提供了不同的機制來指定接口。他們（可能）的權力相當，但實際上每個人都有自己的好處和缺點。因爲我在語言特性方面有點包容，所以我的問題是這樣的：在Haskell中添加ML樣式模塊時主要的理論困難是什麼？我對以下幾行的答案感興趣：什麼樣的現有類型系統功能與ML風格的模塊交互性很差？（即使fundeps在技術上與關聯類型等效，GADT和功能依賴關係

1熱度

2回答

一個真正基本的SML問題，我似乎無法弄清楚（小碼）

只是一個基本的Casaer密碼。我已經測試了所有的子函數，只是encryptChar（）不是特別有用。我得到一個無限循環。它應該是遞歸的。以下是所有代碼： fun replace (str : string, index : int, newChar : char) : string = String.substring(str,0,index)^String.str(newChar)^Strin

3熱度

1回答

sml中懶惰的尾巴

我正在閱讀一些筆記，我意識到有什麼是不對的。當模擬延遲計算（沒有open Lazy;）時，可以爲一個流執行以下操作。 datatype 'a susp = Susp of (unit -> 'a) datatype 'a stream' = Cons of 'a * ('a stream') susp type 'a stream = ('a stream') susp fun del

7熱度

1回答

在sml中使用操作（其中是當前目錄smlnj窗口）

我從來沒有在Windows計算機上使用過SML（以前在帶有emacs的unix計算機上）。對於我來說，我在sml環境中找不到當前目錄。如果我試圖：使用「filename.sml」它引發異常..我找不到我的文件放置在哪裏.. btw文件是用notepad ++編寫的，只是名爲w/a .sml擴展名。

1熱度

3回答

factorial函數輸入int，輸出實數？

這絕對讓我瘋狂。我能想象的最簡單的事情，我無法做到。我只是想計算機階乘輸入一個int並輸出一個實數。我試過以各種方式脅迫。 fun factorial 0 = 1 | factorial n = n * factorial(n-1);

8熱度

2回答

問題OSX下運行smlnj 10.6

我下載並安裝使用DMG針對x86從這裏SML NJ實現： http://smlnj.cs.uchicago.edu/dist/working/110.72/index.html 然而，當我打開一個終端窗口，然後轉到/usr/local/smlnj-110.72/ bin並運行sml我得到一個bash命令未找到。我對UNIX不是很熟悉，所以我想我做錯了什麼。感謝您的幫助！