这里的变量codice_29有类型codice_23。codice_41是匿名函数，它的形式参数codice_29的类型是推论而来，而codice_43是函数复合算子。另一个改进是，函数通过codice_1类型能管理简单的检查异常，一旦某个步骤失败就短路并返回codice_27，如果计算成功则返回正确的值而无需再评论。加法函数codice_46，在做二个codice_1值codice_37和codice_49的加法时就实现了上述改进，它可以如下这样定义：书写函数来逐一处理codice_1值的各种情