flip' :: (a -> b -> c) -> b -> a -> c
flip' f x y = f y x
等于:
flip' f = \x y -> f y x
这怎么理解哪?!
- 类型声明时 (a -> b -> c) -> b -> a -> c
- ) -> b -> a -> c
- 是一定要和 下面对应的? 表述出参数倒序?
- f = \x y -> f y x
+- \x 吼 x 是个函式? 有一个参数的函式?
+- 还是 \x y 是个匿名函式,要求有两个参数的函式?
在 2012年2月22日 上午10:11,fleurer.lee <me.s...@gmail.com> 写道:
> 非常感谢! 到这篇文档的第一个念头就是『如果早看到半年就好了』^^
>
> 2012/2/22 Zoom.Quiet <zoom....@gmail.com>
>
>> 在 2012年2月22日 上午9:28,fleurer.lee <me.s...@gmail.com> 写道:
>> > 咦,看来昨天"错修"了另一处的bug~ TvT
>> > 原先是用了的自己写的一个文档生成器,各种不靠谱,打算以后迁移到sphinx
>> >
>>
>> - 嗯嗯嗯?! 好哈! sphinx 各种工具,俺主持的 OBP 就推荐使用:
>> http://code.google.com/p/openbookproject/wiki/FlowSphinx
>> 而且有 http://readthedocs.org/ 服务,直接結合 github ...
>>
>> >
>> > - 坚持用就好
>> > - 其实,俺学习 haskell 的原因也只是要开拓思路
>> > - 日常中,真心难以规模化使用起来
>> > - 但是,就是喜欢挑战新知识哈
>> > 学习是最快乐的事儿,分享,可以令快乐加倍!
>> >
>> > 这几句收下了,回头刻在小本子上~ 多谢! ^^
--
人生苦短, Pythonic! 冗余不做,日子甭过!备份不做,十恶不赦!
俺: http://about.me/zoom.quiet
文字协议: http://creativecommons.org/licenses/by-sa/2.5/cn/