的变量有针对某种类型codice_23的类型codice_25。例如，如果变量codice_37包含一个值，它是codice_31，这里的变量codice_29有类型codice_23。codice_41是匿名函数，它的形式参数codice_29的类型是推论而来，而codice_43是函数复合算子。另一个改进是，函数通过codice_1类型能管理简单的检查异常，一旦某个步骤失败就短路并返回codice_27，如果计算成功则返回正确的值而无需再评论。加法函数codice_46，在做二个codice_1