形式語法功能/變量定義

Question

我記得在什麼地方見過這樣的符號，正式定義一個變量：

variable_name: type 

而且類似：

function_name(....): return_type 

但我不記得了，我可以」 t找到這個語法的正式定義。

我的問題首先是，這是一個真正的形式語法，還是有人只是補充它？我的第二個問題，你能給我一個名字嗎？還是一個參考？

我在問，因爲我想知道函數參數是如何定義的。會是這樣嗎？

function(arg1:type1, arg2:type2): type 

如果是這樣，如何顯示默認值？

Answer 1

您所描述的語法在編程語言的ML family中使用。在具有正式語義的Standard ML中，沒有默認值，所有聲明時都必須初始化。