小编hie*_*n42的帖子

我试图了解这段代码正在做什么:

let rec size x =
    match x with
      [] -> 0
    | _::tail -> 1 + (size tail) ;;

我知道这个表达式计算列表的大小,但我不明白它在代码中的位置逐一减少了列表.例如,我认为它需要从[1; 2; 3]到[2; 3]到[3],但是在哪里或如何做到这一点？我不明白.

谢谢.