此版本引入了...的语法具有条款:
...
具有
过滤器:{A:Set}->(A->Bool)->列表A->List A过滤器p[]=[]使用px过滤p(x::xs)…|true=x::filter p xs…|false=筛选pxs
现在相当于
过滤器:{A:Set}->(A->Bool)->列表A->List A过滤器p[]=[]使用px过滤p(x::xs)过滤器p(x::xs)| true=x::filter p xs过滤器p(x::xs)|false=过滤器p xs
阿格达
编辑提要栏