51CTO博客开发
一晃间接触Haskell已经快两年了,完全的沦陷于这种“不实用”的语言。 最初听说haskell是同学很鄙视的说我们学校之所以逼着学生入门就学Haskell是因为John在这里。我才知道原来有一种语言叫haskell,原来有种编程范式叫函数式语言,原来imperative&OO以外的世界有这么大。于是一时好奇去上了FP课程,继而AFP,继而学了很多类型理论和计算模
今天见到了久违的supervisor…… 首先是程序正确性的证明问题,如何证明我生成的hoopl representation是正确的。这个问题很复杂,老大说暂时不要纠结。的确,编译类的程序的正确性证明比较麻烦,估计要是真的能做出来东西以后才会考虑。 关于生成变量的变量名与原有变量名冲突问题,现在我的处理方法是统一前缀"prefix_",新生成变
最近两周被两个bug折磨的快要去死了…… 第一个老师帮我指对了方向,虽然当时我觉得我的改动应该没有什么影响,但真的fix了。这个说明我对Haskell的理解还是不够透彻,语言内部的一些东西都还是不很了解。 第二个今天终于解决了,我检查了不下10遍可能出现问题的地方,在纸上、Exel里面DryRun了很多遍example3&complex3,大把大把的时间花在
写作业啊写作业,这次的作业是Replay&CGI monad。 第一部分的relay monad写的时候没觉得很难,但是测试例子发现虽然计算结果是对的,但我的IORef次数不对,显示有可能每读一个答案就重新执行了一次之前的语句,原因不明,不过lift就没有影响。暂时找不到理由,纠结,搁置先…… 第二部分是写一个
TIOBE Programming Community Index for July 2011 July Headline: No competition for Objective-C to become language of the year We are half way 2011 and there is one language that stands out if we look
Contents 目录 I The Haskell 2010 Language 第一部分 Haskell 2010 语言 1 Introduction 1 介绍 1.1 Program Structure 1.1 程序结构 1.2 The Haskell Kernel 1.2 Haskell内核
我的前言 最近的生活过得太颓废了,毕设做的不是很顺利,一天到晚盯着代码也未见有效,所以决定给自己找点正经的消遣来缓解一下,比如试图翻译Haskell Report 2010。一切源于我借的Haskell98report实体书书快到期了,所以终于开始读了,感觉有些杂乱,但零零碎碎的有很多有用的东西,可以很好的解答我平时用Haskell时的一些问题。虽然我知道我的中文还有英文能力都离翻译的标准很远,
版权声明:转载时请以超链接形式标明文章原始出处和作者信息及本声明 http://riusksk.blogbus.com/logs/62891140.html 由于在终端下,命令提示符、输入及输出均为一种颜色(ls命令除外),因此当输出内容比较多时,很容易花眼,不易区分,这里我把它更改成如 BackTrack下的命令行颜色,即username@hostname为红
http://hi.baidu.com/%B5%DA%C8%FD%CC%F5%D5%F3%CF%DF/blog/item/63b9050140486cd0267fb515.html 文件系统类型 在windows中我们常见的磁盘格式有fat16、fat32和ntfs。但是windows的文件管理显得有些赘余,为打开一个文件需要打开n个地方,在一个角落里找。而且windows本身
http://www.cnblogs.com/cyq1162/archive/2011/02/19/1958538.html
You may or may not be aware that there is debate going on about the “right” way to implement heterogeneous application-to-application communication: While the current mainstream clearly
不知你是否意识到,围绕着什么才是实现异构的应用到应用通信的“正确”方式,一场争论正进行的如火如荼:虽然当前主流的方式明显地 集中在基于SOAP、WSDL和WS-*规范的Web Services领域,但也有少数人用细小但洪亮的声音主张说更好的方式是REST,表述性状态转移(REpresentationa
第一章、如何用Google Adsense赚更多的钱? google只想要你的网站流量中很小的一部分。而他们愿意为这一小部分流量付一大笔钱! 对于那些抱怨自己有个高流量但是低收入的网站的人们来说,没有比这更好更简单的办法来从那些吝啬的访问者那里获利了。 而Adsense使这变得更容易! 你不必安装复杂的软件,不必调查访问来源,不必购买任何东西,甚至连一个银行帐号都不要。那么.......
URL设计时我们应该事先做好规划,应该从用户体验和搜索引擎蜘蛛体验出发,总体上应该清晰、友好、方便记忆,然后还要适当的考虑对于搜索引擎排名的影响,URL设计时我们可以从下边几点来着手: 1、URL越短越好 这样做主要是为了用户体验,对于搜索引擎来说,不超过1000个字母都没有问题,可是如果不考虑用户体验,真的实用了这么长的URL,用户看起来就 有些麻烦了,有人做过试验,在搜索引
Copyright © 2005-2025 51CTO.COM 版权所有 京ICP证060544号