[theory] 推荐两篇haskell和Category theory文章。
simohayha
2007-06-19
http://en.wikibooks.org/wiki/Haskell/Category_theory
http://www.alpheccar.org/en/posts/show/74 顺便问下,haskell中能不能直接用pair来构造list. PS:我用(1,(2,()) 试了下,不行的说. 还有这本书 http://www.douban.com/subject/1949066/ 谁有?有的话共享下. |
|
dogstar
2007-06-19
这本什么时候出来呢?http://www.douban.com/subject/2011397/
|
|
simohayha
2007-06-19
cookoo 不是已经在读了? 问他吧,哈哈.
|
|
Lich_Ray
2007-06-19
simohayha 写道 顺便问下,haskell中能不能直接用pair来构造list. PS:我用(1,(2,()) 试了下,不行的说. 你这个代码吓到我了~~Haskell 有专门的 pair 构造运算符 ':' 这样: Hugs> 3:5:1:[] [3,5,1] :: [Integer] |
|
simohayha
2007-06-19
呵呵,这个我知道,我是想说,它能不能像scheme那样:
(cons 1 (cons 2 ()))) 就是一个 (list 1 2).嘿嘿 |
|
Lich_Ray
2007-06-19
别忘了,Haskell 中可是“一切皆函数”:
cons a b = a : b |
|
simohayha
2007-06-19
: 只是用来操作list的吧。
|
|
cookoo
2007-06-20
你可以自己定义类似:的运算符,不过pair/tuple是固定长度的,扩展它实际就是复制数据再重建一个, 不像list是链表可扩展。
Haskell教科书大同小异,反正都不会讲实用点的,看那么多干嘛哈哈。听说当年唐凤(Audrey Tang)只看了那本gental introduction就开写pugs了。。。 Erlang那本7月出来,马上就有拉。 |
|
simohayha
2007-06-20
那个yaht我快看完了,cookoo再推荐本? 直接看那个haskell98 report吗?
|
|
cookoo
2007-06-20
你不是已经在看programming in haskell了么
有时间再去泡haskell-cafe和freenode的#haskell,会看到很多稀奇古怪的东西:) |