浏览 1929 次
|
锁定老帖子 主题：高阶函数的威力
精华帖 (0) :: 良好帖 (0) :: 新手帖 (4) :: 隐藏帖 (0)
|
|
|---|---|
| 作者 | 正文 |
|
发表时间：2011-06-27
最后修改：2011-06-28
高阶函数的威力
从All about monads里看到的解释mondad的例子，令人感动的优雅代码，我用纯foldl改写，去除了其中monad的内容，这样初学haskell的人应该也看得懂。 我们先定义类型羊(Sheep)和两个函数，求羊的父亲和母亲
type Sheep = String father :: Sheep -> Sheep father s = "f_" ++ s mother :: Sheep -> Sheep mother m = "m_" ++ m 如果要查找羊的奶奶或者爷爷怎么办呢？很简单 grandma :: Sheep -> Sheep grandma s = mother (mother s) grandpa :: Sheep -> Sheep grandpa s = father (father s) 当然，依次类推，你可以写上几页代码把羊的十八代祖宗都写出来，但我相信正常的程序员不会愿意那么干的。 那么我们就来看看利用高阶函数能写出怎样优雅的实现。 -- 我们传递一个函数(Sheep->Sheep)的集合来作为第二个参数，然后利用foldl来计算它。
findAncestor :: Sheep -> [(Sheep -> Sheep)] -> Sheep
findAncestor s l = foldl getParent s l -- 将函数作为参数传递
where getParent s f = f s
用法 findAncestor "dolly" [mother,father,father] -- dolly's mother's father's father findAncestor "dolly" [father,mother,father,mother] -- dolly's father's
声明：ITeye文章版权属于作者，受法律保护。没有作者书面许可不得转载。
推荐链接
|
| 返回顶楼 | |
