如何使一個隨機填充的列表遞歸SML/NJ

Question

fun randomList(n) = let 
    val theList = [] 
    val min = 1 
    val max = 75 
    val nextInt = Random.randRange(min,max) 
    val r = Random.rand(1,1) 
    val randomValue = nextInt r 
    in 
    if n = 0 then [] 
    else 
    (randomValue::theList; 
    randomList(n-1)) end; 

randomList(50); 

我試圖填充隨機數的列表。我得到 錯誤Warning: type vars not generalized because of value restriction are instantiated to dummy types (X1, X2,...)我見過一些不同的 可能的原因，但我無法弄清楚。我需要什麼 更改？我仍然不確定該功能是否可行，因爲我 尚未能完全運行它。

Answer 1

你給是給類型的功能：

val randomList = fn : int -> 'a list 

所以問自己，爲什麼後來是「一個沒有概括爲int？ 讓我們看看其他分支中的表達式。

- val foo = ({}; 5); 
val foo = 5 : int 

表達（E1; E2）計算E1，然後評估和返回E2， 扔掉E1的結果。從那裏，它應該開始有道理，爲什麼它返回'列表。

1. 將移動到列表爲參數。
2. 添加一個傳遞空列表的幫助函數。
3. 返回的thelist它已經累積的所有隨機數之後。

4. 當您在評論中所指出它有助於[R 拉隨機種子輔助函數的參數，所以隨機數生成器不產生不斷產生相同的號碼。

   我們仍然使用相同的初始種子randomList的每一個電話，因此同樣長度的每次調用將返回相同的列表。 更好的種子功能，可以在這裏找到： Seeding Sml/NJ RNG

fun randomList (n) = 
let fun helper (n, s) theList = 
    if n = 0 
    then theList 
    else 
     let val min = 1 
      val max = 75 
      val nextInt = Random.randRange(min,max) 
      val randomValue = nextInt s 
     in helper (n - 1, s) (randomValue::theList) 
     end; 
in helper (n, Random.rand(1, 1)) [] end;