- 博客(42)
- 问答 (1)
- 收藏
- 关注
RSS订阅原创 关于Kibro
这是一个灵活性很高的fastcgi框架 kibro --> panda 可以看看这两个包的源代码，kibro写的极为妙，panda有点晕 注意 :你的lighttpd版本一定是1.4.19 ，千万不要高版本，低版本我就不知道了。...
2009-04-14 20:25:14
220
原创 潜心修炼
看了很多，感觉已经知道monad是咋个回事儿了，面对却胆怯。 monad transformer 感觉自己还是需要多磨练磨练
2009-04-12 09:01:06
156
原创 我的眼好疼
最近发生了一些事情，好在自己假装很从容。 一些论断： 1、如果没有垄断的技术，就没有什么价值;譬如开源，只是一种商业上的成功。 2、要想进入社会，就一定要有一个文凭 3、人不是追求名就是追求利，你是哪一个？ 4、你需要拿东西来证明 5、你需要第三方权威证明 …… 我觉得这样很累，大家都在纸上谈信任，其实我们还是互相恐惧、互...
2009-04-10 20:30:10
118
Write Yourself a Scheme in 48 Hours(5)
5. 插曲：检查错误 目前，在代码的很多地方我们要么忽略了错误，要么静默的指定像#f或者0这种没有任何意义的“默认”值。一些语言 - 像Perl和PHP - 用这种方式工作的不错。但是，它常常意味着那些错误在整个程序里安静的传递知道它们变成大的问题，这说明除错机制对程序员相当不方便。我们希望一旦错误信 号发生它们立刻产生excution。 首先，我们需要导入Cont...
2009-04-10 19:19:25
148
原创 如何让java环境显示中文
找到中文字体 /usr/share/fonts/wenquanyi/wqy-zenhei/wqy-zenhei.ttc 找到jre fonts目录 /opt/java/jre/lib/fonts 建立fallback目录并链接字体 $sudo mkdir fallback $sudo ln -s /usr/share/fonts/wenquanyi/wqy-zenhei/wqy-zenhe...
2009-04-10 08:21:33
3249
Write Yourself a Scheme in 48 Hours(4)
4. 求值，第一部分 4.1 开始求值 现在，我们仅仅能打印我们是否能分辨给定的代码碎片。我们将向一个工作的 Scheme 解释器迈向第一步：确定程序碎片的值。我们先从一些简单的阶段开始，但是很快你就能发展到可以计算。 让我们从告诉 Haskell 如何将各种可能的 LispVal 表示成字符串打印开始： showVal :: LispVal -> String show...
2009-04-09 21:10:56
172
原创 安装小记
系统在我的修修补补中变得有些凌乱，我重新安装了一遍，顺便记录以下： archlinux： 桌面：slim openbox idesk tint2 obconf obmenu lxappearance 系统: xorg xf86-video-intel hal alsa-util wicd ntfs-3g abs yaourt (Server = http://repo.archlinu...
2009-04-09 10:56:53
138
Parsec3
Parsec3和它的上一个版本变了不少，官方说法是应用范围更广了。 写道 This is a first release of the Parsec 3, the Google Summer of Code of Paolo Martini. The main changes are: * The Parser monad has been generalized into a ...
2009-04-07 21:15:31
192
Write Yourself a Scheme in 48 Hours(3)
3. 语法分析 3.1 ：写一个简单的分析程序 现在，让我们试着写一个简单的分析程序。我们会使用 Parsec 库，这个库可能来自 GHC 但是如果你使用其他编译器这个库可能需要单独下载。 开始添加这一行在导入节 (import section) ： import Text.ParserCombinators.Parsec hiding (spaces) 这让我们...
2009-04-07 10:53:06
211
Write Yourself a Scheme in 48 Hours(2)
2. 第一步 首先，你需要安装 GHC 。在 Linux 环境，它常常被预安装了或者能够通过 apt-get 或者 yum 命令获得。它也可以从 http://www.haskell.org/ghc/ 下载。二进制包大概是最容易的，除非你真的知道你在做什么。 GHC 应该像其他的软件包一样下载和安装。这个教程在 Linux 下面完成，但是如果你知道如何使用 DOS 命令行所有的东西应该...
2009-04-06 09:36:37
176
Write Yourself a Scheme in 48 Hours(1)
PRE:Write Yourself a Scheme in 48 Hours是我觉得比较好的教程之一，我想翻译它，借此留下我学习的痕迹，并能够与大家交流，希望大家指正。 ------------------------------------------------------------------------------------------- 1 、概论 大多数网络上的 H...
2009-04-05 08:56:01
281
抱怨 :: All about Monad
代码写得太BT，恶心死了 例： convert :: String -> String convert s = let (Right str) = do { n <- parseHex s; toString n } `catchError` printError in str where printError e = return $ "At in...
2009-04-04 20:42:10
120
原创 ECUG III 第一日
记完睡觉。 第一个presentation是周爱民老师作的。我自从看了《大道至简》就认识了老师。毫不夸张，我认为周老师已经到了“手中有剑，心中亦有剑”的境界。今天将的erlang的高级程序设计语言接口非常有意义，这个我的看泛稍后提到。不过我认为dephi（pascal）可以终结了，因为我不认为这个语言的语法和性能有多大优势，也没有什么特殊能力。 后面是Web方面的话题，主要是围绕web...
2008-12-21 02:39:55
162
原创 日志12-15
非常激动，被批准参加ECUG3，估计会收获满满。 最近的看了一大堆东西，渐渐的感觉，web还是web，以后将是html+javascript的天下。 对于最近的erlang学习，我现在还没有办法深入下去，能力有限，但是也在不断积累。 现在最近半年要学的知识体系erlang+yaws+couchdb+jquery 后面三个一定要把源码读一遍。 看sina在搞web10年...
2008-12-15 23:29:10
107
随笔12-4
几天了，不想说一点话。 erlang程序设计看完了，不出意料，是一个本好书。写的很多，但是都不是特别深入，属于导论型。下面又要开始读技术手册了。。 这几天的学习，说实话，erlang的语法实在是不怎的，最出彩的倒不是它是一门FP语言，是他的面向消息和强大的OTP。 随便看了一下库函数，lists:sort的性能可以哭了，但是无所谓，因为erlang天生就不是干这一行的，它是作为一个很好...
2008-12-04 23:06:54
125
Erlang学习记录
又开辟了一条战线，这一条是最主要的，我预计。 回忆一下我原来的学习路线： c -> pascal -> algorithms && data structures -> c -> c++ -> c -> linux -> emacs -> vim -> rails -> ruby -> UML ->
2008-11-28 14:33:34
158
原创 Emacs中的文件管理器 Dired
详细的用法说明可以参照Emacs的info文件，这里只是介绍一些常用的功能。 M-x dired 或者 C-x d，可以进入dired-mode，这样便可以对文件进行操作了，作为一个文件管理器还是挺不错的。 在.emacs里加入以下语句。 ( setq dired-recursive-deletes t) ; 可以递归的删除目录 ( setq dired-recursive-...
2008-11-26 22:25:37
342
emacs 学习
一直小瞧了Emacs。 几年前试用过，感觉很丑，而且命令复杂，于是被我无情的抛弃了。。 现在因为要学习erlang，所以重新将它从我的记忆中找了出来，花了一会儿，基本调试好了，用起来非常舒服：） 直到现在，我看了看Dired, 随便用了用，简直是怪物级别的editor。。太强大了 ……参见我的转载 －－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－ 慢慢用就熟了：...
2008-11-26 22:07:56
79
原创 Git日常命令
Git Daily Commands (Git日常命令) By jianingy on October 10, 2008 10:00 PM ...
2008-11-26 20:23:12
95
原创 Functional Programming For The Rest of Us
原文链接：Functional Programming For The Rest of Us 原文作者：Vyacheslav Akhmechet 翻译：lihaitao (电邮: lihaitao在gmail.com) 校对：刘凯清 程序员拖沓成性，每天到了办公室后，泡咖啡，检查邮箱，阅读 RSS feed，到技术站点查阅最新的文章，在编程论坛的相关版面浏览公共讨论，并一次次地刷新以免漏掉一条信...
2008-11-26 08:25:33
135
原创 11－24自省
我在想，为什么现在我的提高很慢？ 抽象无非就是三种： 1、数据的抽象 2、函数的抽象 3、模块化 现在，我看书和做题目都没有问题，haskell到现在，除了对Monad和更高级的技术不大熟，我觉得，精华我已经领悟了。但是又总是碰到很多问题。 我觉得，还是自己的实践太少了。我需要大量的项目练手。 我原来的计划之一就是写一个编辑器，现在准备放弃了，因为想借学习lisp的机会学习一下...
2008-11-24 14:29:14
87
我的学习Haskell经验
才学了一个月不到，谈不上太多的经验 1、现明白abstraction的概念，看看现在你用的语言的抽象能力 2、Haskell--The Craft of Functional Programming 有中山大学乔海燕老师的简单翻译版（淘了老半天了） 3、Haskell 98 (看看那些强大的数学家们怎么定义这个语言） 4、All about Monads 5、Real World...
2008-11-22 22:10:54
368
谈谈Haskell的抽象
数据抽象 原子 Tuples && Lists 代数类型 Monads 函数抽象 原子 高阶函数 多态（函数类） 模块化(Modules) 最牛的应该是函数可以像有机体一样叠加，无语，不可以这么强的。。...
2008-11-22 22:01:02
211
原创 停笔～
对于JavaEye没有解决syntax highlight问题深表遗憾 而且最重要的排版能力。。 希望可以参考tex 这个也是大多数blog的通病
2008-11-22 19:59:05
102
Iterate abstract --Basic
不存在“无中生有”，物理学家寻找基本粒子，我们即是上帝，数学家用定义和公理确定这些“基本例子”。下面我来总结一下Haskell里面最Basic的基本粒子。 Bool -- |The 'Bool' type is an enumeration. It is defined with 'False' -- first so that the corresponding 'Prelude.Enum...
2008-11-21 20:34:12
103
Iterate abstract --Prelude
熟悉Haskell的同志对这个标题很熟悉，iterate Prelude。然而这里的prelude只是本意，前奏曲。我想写点东西，讲讲我对haskell的理解和学习记录，这些文字即是开始。 计算机理论的发展，很大程度都是抽象的发展，iterate abstract 我想这个high-order function非常确切。 iterate abstract 让我开始…… PS: 写...
2008-11-21 19:55:00
84
原创 为什么要学FP
1、抽象和模块化大幅提高生产力 2、FP中函数是First-class elments，抽象能力进一步增强 由上，要进一步提高生产力，请学习FP
2008-11-21 12:33:03
150
Section 2.2
2.17 {- Prelude.last -- | Extract the last element of a list, which must be finite and non-empty. last :: [a] -&...
2008-11-21 12:25:13
122
原创 Wearing the hair shirt: a retrospective on Haskell
写道 Simon Peyton Jones 在 POPL 2003 受邀演講 Wearing the hair shirt: a retrospective on Haskell 中花了不少篇幅介紹 monad，認為它是理論與實務的成功結合，並介紹了它的種種好處。Haskell 唯一的大錯誤，他說，是 monad 這冰冷生硬的數學名詞把人嚇跑了。我們應該把它取名為「暖暖毛毛的東西（warm, f...
2008-11-20 23:10:26
122
原创 Monad 资源
1. A video of monad lectures on Youtube http://www.youtube.com/watch?v=9fohXBj2UEI 2. http://flolac.iis.sinica.edu.tw/lambdawan/zh/taxonomy/term/86 3. http://en.wikibooks.org/wiki/Haskell/Ca...
2008-11-20 21:51:36
320
Section 2.1
2.1 {-data Ration x = R Integer Integer instance (Show a) => Show (Ration a) where showsPrec _ (R n d) = shows (n `div` g).showString " % ". shows (d `div` g) where g = gcd' n d ...
2008-11-19 23:27:39
98
原创 Haskell 资源
Haskell Wiki -- Haskell 相关的各种信息、资源及链接： http://www.haskell.org/ 介绍性的资源 －－－－ Wikipedia 上的 Haskell 条目，相当不错的介绍： http://en.wikipedia.org/wiki/Haskell_ (programming_language) How to read Haskell -- 阅读...
2008-11-18 21:31:11
333
原创 SICP 第一章小结
－－包括一些摘录和感言，和零碎的代码 1、要素 写道 Every powerful language has three mechanisms for accomplishing this: * primitive expressions , which represent the simplest entities the language is concerned with,...
2008-11-18 16:06:23
167
Section 1.3
1.29 cube :: Double -> Double cube x = x*x*x getSum term a next b = if a>b then 0 else term a + getSum term (next a) next b simpsonIntegral :: (Double -> Double) -> Double -> Double...
2008-11-17 16:14:02
97
Section 1.2
1.9 略 1.10 略 1.11 {- recursive style f3' n | n<3 = n | otherwise = f3(n-1) + 2*f3(n-2) + 3*f3(n-3) -} getBegin n = n-(fromIntegral t)-1 where t = floor (n-3) ::Integer f3 n |...
2008-11-17 16:13:32
105
空空如也
haskell 中 (!) 的意思
2009-04-03
TA创建的收藏夹 TA关注的收藏夹
TA关注的人