Формальный синтаксис для определения функции / переменной

Question

Я помню, где-то видел такую ​​запись для формального определения переменной:

variable_name: type

И аналогично:

function_name(....): return_type

Но я не помню и не могу найтиФормальное определение этого синтаксиса.

Мой первый вопрос: действительно ли это формальный синтаксис или кто-то просто придумал его?Мой второй вопрос, можете ли вы дать мне название или ссылку?

Я спрашиваю, потому что мне было интересно, как определяются аргументы функции.Будет ли это так?

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

Если да, то как отображаются значения по умолчанию?

Answer 1

Синтаксис, который вы описываете, используется в семействе ML языков программирования.В Standard ML , который имеет формальную семантику, значения по умолчанию отсутствуют, все должно быть инициализировано при объявлении.