Basic SML类型不匹配及未绑定变量错误求助

编译错误原因 #

• Random.randRange未绑定：自定义的Random结构仅暴露了rand函数，且覆盖了标准库的Random结构，导致无法访问标准库中的randRange函数。
• Random.rand()类型不匹配：标准库Random.rand需要两个整数作为随机种子（类型为int*int），但代码中以无参方式调用（传入unit类型），引发类型不兼容错误。

修复方案 #

1. 移除自定义Random结构：直接使用标准库提供的Random模块，无需重新封装。
2. 正确初始化随机生成器：用Random.rand(seed1, seed2)生成随机状态，通过Random.randRange生成指定范围随机数，同时维护随机状态的更新。
3. 修正其他潜在问题：
   • 标准差计算中，Array.tabulate返回数组，不能直接用List.foldr，需改用数组折叠函数计算。
   • midrange函数初始最大值设为~0、最小值设为100逻辑不合理，改用数组第一个元素作为初始值。

修复后的完整代码 #

fun generateRandomArray() =
  let
    val randState = Random.rand(42, 100)  (* 初始化随机状态，种子可自定义 *)
    fun gen _ = Random.randRange(1, 100) randState
  in
    Array.tabulate(100, gen)  (* 直接生成100个随机数的数组 *)
  end;

(* O(n) *)
fun average (vector : int array) =
  let
    val sum = Array.foldl (op +) 0 vector
    val n = Array.length vector
  in
    sum div n
  end;

(* O(nlogn) *)
fun median (vector : int array) =
  let
    val sorted = Array.toList vector |> ListMergeSort.sort (op <)
    val n = length sorted
    val mid = n div 2
  in
    if n mod 2 = 0 then (List.nth(sorted, mid - 1) + List.nth(sorted, mid)) div 2
    else List.nth(sorted, mid)
  end;

(* O(n) *)
fun midrange (vector : int array) =
  let
    val first = Array.sub(vector, 0)
    val max = Array.foldl Int.max first vector
    val min = Array.foldl Int.min first vector
  in
    (max + min) div 2
  end;

(* O(n) *)
fun standardDeviation (vector : int array) =
  let
    val avg = real(average vector)
    val len = Array.length vector
    val squaredDiff = Array.tabulate(len, fn i => 
      Real.pow(Real.fromInt(Array.sub(vector, i)) - avg, 2))
    val sumSq = Array.foldl (op +) 0.0 squaredDiff
    val variance = sumSq / real(len)
  in
    Real.sqrt(variance)
  end;

val randVector = generateRandomArray();

print("Random Vector: " ^ Array.toString randVector ^ "\n");
print("Average: " ^ Int.toString(average randVector) ^ "\n");
print("Median: " ^ Int.toString(median randVector) ^ "\n");
print("Midrange: " ^ Int.toString(midrange randVector) ^ "\n");
print("Standard Deviation: " ^ Real.toString(standardDeviation randVector) ^ "\n");

修复说明 #

• 移除自定义Random结构后，直接调用标准库函数解决了randRange未绑定问题。
• 用带种子的Random.rand初始化状态，确保随机数生成逻辑符合类型要求。
• 简化数组生成逻辑，通过Array.tabulate直接创建目标数组，避免手动更新元素的冗余操作。
• 修正标准差计算中的类型转换与折叠函数使用，保证数值计算的正确性。
• 调整midrange初始值逻辑，避免因数组元素超出预设范围导致的错误结果。

内容的提问来源于stack exchange，提问作者user21831652