猪宝斋

Erlang的传统优势领域是分布系统。Erlang在web应用领域发展的话我认为有以下一些局限： -类型缺乏，连字符串类型都没有，用list模拟出来的效率低下。虽然可以通过binary方式包装，但是把简单操作搞复杂了。 -对关系数据库严重缺乏支持 -现在share-nothing的cluster对多核芯片的利用率不见得比Erlang差很多 -大部分读多写少的web应用并发瓶颈在数据库那边...

Why I chose erlang (very, very long story) http://www.erlang.org/ml-archive/erlang-questions/200302/msg00013.html I've been following the discussions about OTP the past few days and found the ...

我以前总以为list comprehension这个语法糖不过就是些map,filter转换罢了，最近看到Haskell和Erlang的递归用法来实现排列，比循环方法要简洁很多： Haskell: java 代码 permutation [] = [[]]      permutation xs = [x:ys | x <- xs, ys <- permutati...

Confessions of a Used Programming Language Salesman - Getting the Masses Hooked on Haskell The author summaries that functional programming has finally reached the masses, except that it is called Vi...

在F#中内置了两个很有用的运算符 |> 和 >> ，用来串联数据和函数，有效减少括号的使用，让代码不那么lispy。这两个符号的定义很简单，在Ocaml中也一样可以方便使用。 运算符 |> 定义： [code]let (|>) x f = f x val (|>) : 'a -> ('a -> 'b) -> 'b[/code] 例子：形如[code]f(g(h(i(x))))[...

Born to be together，这句也是Apple以前iTune和iPod的广告词。不过这里是用来比喻两个语言特性：类型推断和命名参数。 自ML诞生的类型推断技术似乎随着C#3的宣传日渐进入主流视野，一些新语言如D,Scala也实现了所谓“局部类型推断”（只简化声明，但不推断函数接口）。类型推断简化了大量不必要的类型声明，使代码获得动态脚本语言一样的感观，同时有获得编译期的类型检查和...

In Don Syme's [url=http://blogs.msdn.com/dsyme/archive/2006/12/18/DraftChaptersUpdateDec2006.aspx]excellent book drafts[/url] of his upcoming book [i]Expert F#[/i], the following code is used to demon...

(Quoted from LexiFi)LexiFi found that a functional programming language was the most effective tool for developing compositional contract and scenario algebras. LexiFi users derive important benefits...

[url=http://blade.nagaokaut.ac.jp/cgi-bin/scat.rb/ruby/ruby-talk/256569]Rocaml[/url] lets you wrtie Ruby extension in Ocaml. It can be a relief to my project, I truely hope. We are using Ocaml with Ra...

1. Marshal从文件读出来的东西不包括类型信息，需要手动造型 2. 一直奇怪为什么在cygwin里的ocaml的toplevel还是不能load 'unix.cma' 原来是平台不支持动态加载，得硬把模块link进定制的toplevel: [code]ocamlmktop -o mytop.exe unix.cma[/code] 3. String是mutable的，best...

http://www.cs.washington.edu/education/courses/csep505/06sp/ 本课程以Caml/Ocaml为蓝本介绍现代程序语言中的诸多特性，虽然这不是编译原理的课程，但是肯定也很合对此感兴趣的人的胃口。网站包括所有讲义pdf, 代码，作业和答案，授课视频和mp3。 课程大纲： 1. Purpose of studying programm...

[url=http://abridgegame.org/darcs/]Darcs[/url] 是新一代轻量级分布式版本控制系统. 完全使用Haskell编写而成。 不同于以往的版本控制系统, Darcs没有中央服务器. 任何一个本地repository都可以既是 客户端也是服务器, 节点之间可以任意同步. 这样我们可以不依赖网络离线comit任何修改: 比如在笔记本上修改, 然后回去在...

International Conference on Functional Programming 2006大赛结果： 第三名Team: Can't Spell Awesome Without ASM, from Google，使用汇编 第二名Team kuma， from Japan，使用D语言 第一名Team Smartass， from Google，使用Haskell，并辅以C++...

The Next Mainstream Programming Language: A Game Developer's Perspective by Tim Sweeny (from Epic Games, Unreal引擎开发公司) http://www.st.cs.uni-sb.de/edu/seminare/2005/advanced-fp/docs/sweeny.pdf 这...

发信人: faint (faint), 信区: FuncProgram 标 题: 什么是Monad(1): introduction 发信站: 水木社区 (Sun Oct 8 05:06:47 2006), 站内 在函数式编程里面，Monad是一个门槛。但是要解释“什么是monad”，这世界上没几个人 能一下讲清楚，因为涉及的背景知识太复杂。 介绍Monad可以被认为是一个"...

Haskell工业级编译器[url=http://www.haskell.org/ghc/]GHC[/url] 6.6版本刚刚发布，重要更新是可以在编译期[url=http://www.haskell.org/ghc/docs/6.6/html/users_guide/sec-using-smp.html]选择让Haskell线程调度器使用多少本地线程[/url]。 Perl6实现[ur...

[url=http://www.apress.com/book/bookDisplay.html?bID=10146]Practical Ocaml[/url]是Apress最近新书。我还在观望买不买呢？$25 for PDF... 通过[url=http://on-ruby.blogspot.com/2006/10/author-interview-joshua-sm_1161614518...

Happen to find this [url=http://www.venge.net/graydon/talks/mkc/html/mgp00001.html]nice presentation[/url] on quickly developing static DSL in OCaml. Here, 'static' means the DSL is processed by a for...

1. 重定义类型并不会出警告？（不对吧？） 2. int是31位，Int32才是32位。 3. bytecode模式才能debug 4. 不支持运算符重载，但能定义新运算符？（确实支持运算符重载的阿？） 5. 一个函数只能返回一种类型，注意有exception的时候。 6. 递归函数应该尽量用非递归函数封装起来以免计数参数外露 7. 尾递归判断的两个条件：1.递...

Several friends have asked me about Haskell functional programming language. I haven't used it in daily jobs, yet I'm learning it not only because of its beauty and simplicity to express math, logic a...