我记得在某个地方看到过这样一个用于正式定义变量的符号：
variable_name: type
同样地：
function_name(....): return_type
但我不记得了，我找不到这种语法的正式定义。
首先我的问题是，这真的是一个正式的语法还是有人刚刚补救？我的第二个问题，你能给我一个名字，还是一个参考？
我在问，因为我想知道如何定义函数参数。会这样吗？
function(arg1:type1, arg2:type2): type
如果是这样，默认值如何显示？