OCaml 模块和签名

Question

在我的练习中，我必须根据其签名编写 OCaml 模块：

module type Range
 = sig
   type t
   val range : int * int -> t
   (*val list_of_range : t -> int list*)
 end

我目前拥有的模块：

module Range = 
  struct
  type t = int
  let range (n,m) = 
    if m > n then () else (n,m)
  end

范围 (n,m) 的任务是取 2 个整数，如果 n 表达式具有 'a * 'b 但表达式应为单元类型。任何人都可以帮助我继续前进吗？

PS。这是我使用 OCaml 的第一天。

PPS。我已经注释掉了 list of range.. 部分，因为这是练习的第二部分，如果第一部分不起作用，则无论如何都不会起作用。

更新

我已经更新了我的代码，结果看起来很有希望。

module type Range
 = sig
   type t
   val range : int * int -> t
   val list_of_range : t -> int list
 end

module Range = 
  struct
  type t = int

  let range (m,n) = 
    if m > n then (0,0) else (m,n)      

  let rec list_of_range (m,n) = 
    let t = range(m,n) in 
    let x = fst(t) in let y = snd(t) in
    if x = 0 && y = 0 then [0] else x :: list_of_range(x+1,y)
  end

上面的代码给了我几乎完美的预期结果。如果我输入 (1,5)，结果是 [1;2;3;4;5;0]。问题是 0 作为列表中的最后一个元素。为什么会有？它来自哪里？

Answer 1

问题来自您的函数范围，它不能返回单位类型（即 () ）和元组。此外，它违反了签名，您将 range 定义为返回 int 的函数。