如何理解這段代碼在新澤西州

Question

的標準ML我有這樣的代碼：

exception BadToken of string*(string list) 
fun 
advance ts = let val h = hd (!ts) 
       val t = tl (!ts) 
      in 
       ts := t; 
       h 
      end 

fun 
eat t ts = if (hd (!ts)) = t then (advance ts; t) 
      else raise BadToken (t,!ts) 

我不明白是什麼:=，! TS前後;代表。在解釋器中，提前的數據類型是：val advance = fn : 'a list ref -> 'a

我不明白'a list ref的含義。

Answer 1

讓我們從'a list ref開始。 ref是可變的數據結構，所以你可以添加和刪除它的內容，你可以找到描述here。 'a list ref是ref包含任何類型的列表的數據結構。 :=是超載運算符，用於將t添加到ts的內容中，因此在ts := t之後ts將包含t。 ;只是分隔陳述或聲明，在您的代碼中您有兩條陳述ts := t和h，因此您需要將它們與;分開。 !是重載運算符，用於獲取ref對象的內容，因此在您的代碼中它將返回'a list。