haskell 乱搞笔记[原创]

脑洞时间：为什么世界上有那么多程序语言,那是腐朽的资本主义为了增加广大人民学习成本以及编译原理太过普及造成的，建议大学取消编译原理的一切课程，并挥起奥姆休的剃刀,把所有程序语言统统踢了，除机器语言外只留下两种语言：汇编和haskell（逃

简明扼要的写一点haskell 好玩的东西

首先是一些基本操作，命令行按ghci进入，一些基本操作前面用冒号，用惯vim的人应该很熟悉，比如

:quit 退出

:t　显示变量的类型(char,int之类的)

:l　链接外面写好的函数文件，事实上这种模式不能自己写函数，必须在外面写好后再link进来才能用

　　首先很精彩的便是list，list和python里的list或是其它语言中的array有点像,用一对方括号括起来，比如[1,5,2,2] ["xin","ru","zhang"]

然后就是和python不一样的了,haskell能够猜，比如[1..5]表示[1,2,3,4,5]　[1,3..9]表示[1,3,5,7,9]前面两个元素以及最后的元素，haskell便能自动判断并填充步长，此外惰性求值也是haskell有别于python的地方　比如我可以不写最后一个元素[1..]表示的就是[1,2,3,4,5,........]所有自然数,它的元素个数是无限的，但是haskell不会傻到把无限的数放到内存里，而是放着不管它，等到要用的时候再计算

　　然后就是list的一个大杀器了,你让一个高中生写一个正奇数的集合,那么可能是这样写：{2*k-1| k>=1}　如果用Ｃ语言之类的写呢,一般会这么写:for(int i = 1;i <= MAXN ; i++)oddArray[i] = 2 * i - 1; 然后如果用haskell写可以是这样的　[2 * k - 1 | k　<- [1..]] woc！！！还可以加限制条件比如要找除７余数为１的奇数可以这么写:　[2 * k - 1 | k　<- [1..]　, (2 * k - 1) `mod` 7 == 1] 相比之下其它写法真是low爆了！

　　第二件萌萌哒事就是,haskell并没有循环！haskell并没有循环！haskell并没有循环！重要的事要说三遍．事实上函数式编程是基于和图灵机等价的lambda演算的,所以请不要把它看作这个ＰＣ的生物！所以呢只能靠萌萌哒递归来处理了，举个栗子，要求一个list中最大的元素， let a = [1,5,6,2]，当然有系统提供的函数maximum，直接maximun a就可以，但是如何自己造这个轮子呢，可以写成这样：

max‘ [x] = x

max‘ (x:xs)

|x > max‘ xs = x

|otherwise = max‘ xs

嘛，反正haskell会从上到下匹配,所以如果把递归上面那么就有神奇的左递归出现．．．

max‘是函数名haskell 允许在函数名后加个‘来区分哪些功能只差一点的函数，而不是max1,max2,max3...maxinf　

这个很好理解当list中只有一个元素时最大值就是本身,否则就等于第一个元素和数组中剩下元素最大值的最大值，翻译成Ｃ应该是这个样子：

int max(std::vector<int> Arr, int k)//求数组Arr[]第k个元素开始到最后一个元素的最大值

{

if(k+1 == Arr.size())return Arr[k];

int leftMax = max(Arr ,　k+1);

if(leftMax > Arr[k])return leftMax;

else return Arr[k];

}

同理求list里所有element的和可以这么写

sum‘ [x] = x

sum‘ (x:xs) = x + sum‘ xs

如果说以上那么多废话都是helloworld水平半小时内看下书就可以学会的东西的话，那看到下面这个东西才是真正让我觉得有记录必要的东西,快排！

sort‘ []=[]

sort‘ [x] = [x]

sort‘ (x:xs)=sort‘[y|y<-xs,y<=x]++[x] ++ sort‘[y|y<-xs,y>x]

这个姿势的快排美爆了啊,那些Ｃ++２min　１min敲完的手速狗门快哭了啊！！有木有！！接触haskell俩小时,印象就是递归写的东西这货写都很美！！