解釋sml中的[] :: []，[] :: [] :: [

Question

我想問一下如何在SML/NJ中概念性地解釋[]::[]和[]::[]::[]。

我的想法：

我認爲[]::[]會產生錯誤或產生一個空的列表，但實際上它產生val it = [[]] : 'a list list。

後，我知道[]::[]產生[[]] : 'a list list，我認爲[]::[]::[]會產生[[[]]] : 'a list list list但實際上它產生[[],[]] : 'a list list

Answer 1

::是右關聯：在a::b::c::[] A，B，C必須是同一類型的元素和

a::b::c::[] = a::(b::(c::[])) 
      = a::(b::[c]) 
      = a::[b,c] 
      = [a,b,c] 

這仍然是正確的，即使一個，b，c是[]：

[]::[]::[]::[] = [[],[],[]]