我是OCaml新手,我正在嘗試編寫一個簡單的OCaml類語法,而我無法弄清楚這一點。我的語法允許這樣的事情: let sub = fun x -> fun y -> x - y;;
但是,如果我想使用這樣定義的功能,我可以這樣寫:(sub 7) 3但我不能寫sub 7 3,這真讓我心煩。出於某種原因,它被解釋爲好像我寫了sub (7 3)(這將把7作爲函數與參數3)。相關章節有: /* oth
我試過了,並且燒傷了我的大腦,以理解Discrete Mathematics and its Applications(Rosen)中定期語言的定義,但沒有達到理解爲什麼定義與本書相同的目的。在頁(789),我改寫定義:3語法被定義爲 類型: w1 --> w2
其中,W1是一個非末端,和w2是以下形式: w2 = aB
w2 = a
式中B爲一非末端,並且a是一個終端。一個特殊情況是,