Haskell

vim-haskell

Haskell vim可以通过vimbar 安装到vim中。vimball是一个vim插件,可以很方便地帮你安装vba格式的插件。
… 阅读全文>>

Haskell的IO main

main在Haskell充当类似c系列语言的exe文件的头函数 main对应的类型是IO Something 比如下列源码:
… 阅读全文>>

The greatest weapons

Everything in Haskell has a Type Here are some Type declarations. These are your greatest weapons.
… 阅读全文>>

Haskell几个基本概念--学而无用--无以为用

模式匹配 = +起着一种模式匹配,=不要翻译成等于 最好翻译为如果匹配前面+ 则他的值为后面.-> 也起着一种类型的模式匹配。 分支 |在创建函数的时候 体现着一种分支的效果。 if-else 这其实是一种控制语句,不能说Haskell放掉了控制语句,而应该是循环语句。 一切都是函数。 根据monad的内置结构,函数可以组合生成类似于数学的组合函数(埋藏内部的lambda结构)
… 阅读全文>>

language limits the world of you

语言可以削尖我们的思维[进行思维锐化:思维锐化工具有哪些? 鱼骨图找因果]。 语言也会限制我们的世界。 好的语言一定会影响你的思维方式,haskell,scheme,lisp Language shapes the way we think, and determines what we can think about. Benjamin Lee Whorf
… 阅读全文>>

Haskell笔记

语言的表现力,简洁性,有效性。 2001年,出生于荷兰的计算机大师、图灵奖获得者__EdsgerW.Dijkstra__给德州大学预算委员会写信,力劝不要将计算机入门课程改为Java。不幸的是,学校最终还是用Java课程替换了Haskell。Haskell真的不行了?国内有些人的评论 Haskell:函数式编程语言 Java : 命令编程语言 尽管Haskell不完美,但仍然比Java好几个数量级,Java就是一个大杂烩(它是通过大范围的广告和销售员夸张的宣传才达到它的商业接受)。 如果别人问你Haskell能够做什么? 一个能够编程的编程语言,高级函数编程语言 如果别人问你Haskell和scheme有什么区别? 比scheme更强调类型理论,但是相对scheme由于对于type theory的过度追求 反而更加难于编程
… 阅读全文>>