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号
