《中国科大.pptVIP

* * * * * * * * * * * 6.3 递 归 类 型 自然数类型的递归定义 nat ? unit+(unit+(unit+(unit+(unit+…+nat)…))) 自然数0和1的定义如下 ?0? ? fold(Inleft?) ?1? ? fold(Inright fold(Inleft?)) 对任何自然数n ? 0，可以类似地定义如下 ?n?? fold(Inright fold(Inright…fold(Inleft?)…)) 后继函数正好使用fold和Inright： succ ? ?x:nat. fold(Inright x) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 6.3 递 归 类 型 自然数表的类型 list ? unit + (nat ? list) list ? ? t.unit + (nat ? t) nil ? fold(Inleft ?) cons x l ? fold(Inright ?x, l?) 根据表的形式进行分支的函数listcase定义如下