函数/变量定义的形式语法

时间:2011-11-17 22:50:06

标签: language-agnostic syntax

我记得在某个地方看到过这样一个用于正式定义变量的符号:

variable_name: type

同样地:

function_name(....): return_type

但我不记得了,我找不到这种语法的正式定义。

首先我的问题是,这真的是一个正式的语法还是有人刚刚补救?我的第二个问题,你能给我一个名字,还是一个参考?

我在问,因为我想知道如何定义函数参数。会这样吗?

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

如果是这样,默认值如何显示?

1 个答案:

答案 0 :(得分:0)

您描述的语法用于ML family编程语言。在具有形式语义的Standard ML中,没有默认值,在声明时必须初始化所有内容。