以下代码片段来自官方的OCaml :| a :: (b :: _ as t) -> if a = b then compress t elsea :: compress tval compress : 'a list -> 'a list = <fun>
上面的函数用连续的、重复的元素“压缩”我知道smaller是一个变量,或者是一个标识符,但是它
我正在研究一个问题,他们要求我们写一个函数来确定一个矩阵是否是正方形(n乘n,对于任何n个>= 0),对于OCaml,我已经定义了一个类型矩阵。type matrix = float list list match l with | _ :: xs' -> 1 + length xs'
现在,我正在考虑编写一个帮助函数,它检查所有行的长度<