programme

The greatest weapons

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

从lambda到simple+complex解释器再到树形抽象

定义一个eternity函数,并尝试是否可以执行 (define eternity (lambda (x) (eternity x))) 其实eternity永远在执行着,无法退出
… 阅读全文>>

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的过度追求 反而更加难于编程
… 阅读全文>>

语言抽象

我们每天都在做的事情 1.打开电脑,找到我们要做的事情,保存我们做完的事情,提交,我们可能挨训,也可能加班 2.我们可能去打球,我们可能跟朋友、亲人聊天 3.我们可能在周末的时候,跟女朋友、家人去看电影,去郊游 4.我们可能去参加一些团体活动……
… 阅读全文>>

尾递归

尾递归的好处就是快速计算,尾递归实际上是在递归计算的过程中, (印象中递归过程[表示语法形式-调用自己]和递归计算过程[表正线性方式 和非线性方式]是不一样的), 加入了迭代的思想,不断的修改了product和counter的值, 不需要树形展开。
… 阅读全文>>

求定积分


… 阅读全文>>

找出函数的不动点--Navier-Stokes方程

##Beautiful code! 数x为函数的f的不动点(f可以代表N-S方程),如果满足f(x)=x,则称x 为函数f的不动点。 性质 f(x),f(f(x)),f(f(f(x)))…., change the x’s value if f(x)=x,then you found!
… 阅读全文>>

折半查找有条件

You want to solve F(x)=0, if f(a)<0<f(b), so the value must be inside the [a,b].
… 阅读全文>>