Haskell

Idris

学习idris

学习idris这门语言的特性,了解依赖类型,强类型语言的优点

查看更多
Haskell

学习haskell(二)

今天发现一件很有趣的事,我在ghci下输入`:i zip`来查看zip这个函数的用法的时候得到的结果是`zip :: [a] -> [b] -> [(a, b)] -- Defined in ‘GHC.List’`,zip明明是接收2个列表作为参数,然后一个元组的列表,但是根据这个输出,感觉zip是先处理列表[a],然后再处理列表[b],最后得到一个得到一个列表[(a, b)]...

查看更多
Haskell

学习haskell(一)

上周去国图还书的时候无意中看到了一本讲haskell的书,就顺手借回来了。想想第一次听说haskell这个名字还是从王垠的博客里看到的,那时候听他在博客里讲惰性求值,列表解析,lambda函数啊,什么的...

查看更多