Archive

Posts Tagged ‘erlang’

[转]InfoQ视频访谈 Joe Armstrong and Simon Peyton Jones

October 10th, 2009 :: jackyz

InfoQ 又为我们带来了新的访谈!感谢 InfoQ 的编辑们。

这次记者在 Erlang Factory 上逮到了 Joe Armstrong 和 Simon Peyton Jones 这两头大猛人,一起抓来做了一个 Interview 。众所周知,这两人分别在 Erlang 和 Haskell 语言中都是的大神级的人物,此番聚首实在是难得的机缘。

这次在 Erlang Factory 上的会面,两人大聊 Erlang 和 Haskell 在并发方面的特性,从技术角度而言,含金量颇高。当 Programmer 界两个脾气火爆的老头碰到一起,各位 IT 八卦爱好者同样也很好奇,他们究竟会冒出怎样火花呢?请移步 [这里] 观看。

misc , , ,

[转]Erlang的类型系统和静态分析

June 9th, 2009 :: jackyz

转载说明

“Erlang 是动态类型的语言,因而不能进行静态分析,所生成的文档也不包含有助于理解的类型信息”——这是惯常的看法,广为流行,而且被看作是 Erlang 在开发大型系统时的一个短板(大型系统意味着更强烈的静态分析需求和更严重的依赖文档进行沟通)。

然而 Erlang 是一个有着 20 多年历史的成熟系统,它早已发展出了一套自己的类型标注系统,不仅用来生成文档,更重要的是可以据此对源码进行静态分析,通过程序来排除一些低级的和隐藏的错误。在这方面, Erlang OTP 的源码本身及其文档就是最好的例子。在 《Erlang 程序设计》 的附录A部分,对于这个系统的使用已经进行了充分的说明。

需要强调的一点是在 Erlang 语言的背后还有一个活跃的社区(后者更为重要),其 EPP 过程一直都在持续不断地推进语言本身的进化。这方面最新的成果便是:在 R13 中,将此前文档级的 @spec,@type 标注升级为语言级的 -spec,-type 标注。可以预期的一点是,在未来的版本中,这些方面仍将持续推进。

litaocheng 同学的这篇“Erlang类型及函数声明规格”,风格严谨,论述详尽,涵盖了最新的语言特性,是任何一个程序员想要开发“严肃 Erlang 程序”的必读文档。

Read more…

study , , ,

Windows中erlang环境配置

January 15th, 2009 :: ezhozhe

各位发的贴都很高深啊,-_-!,我只能冒死出来发点扫盲类贴子了。接触erlang是在今年7月(忘了已经09年了),公司有一批code,在完全不懂的状况下拿来依葫芦画瓢的改,那个郁闷就别提了,erlang的可读性大家都知道…… 2个月前开始系统学习,对于像我这样的非专业编程人士,很希望能在windows下跑erlang。《Programming Erlang》有一章是讲怎么配windows环境的,不过配置过程中还是遇到不少问题,于是上网查了些资料。总而言之,都是别人的东西,我只是拿来总结一下。废话不多说,开始:

1.安装erlang  http://www.erlang.org/download.html

2.配置Erlang的CWD(current working directory)

在C:\Program Files\erl5.6.2下建一个名为 _erlang 的文件,文件内容如下:

io:format(“consulting .erlang in ~p~n” ,
[element(2,file:get_cwd())]).
%% Edit to the directory where you store your code
c:cd(“c:/zmz/erlang/home/code” ).
io:format(“Now in:~p~n” , [element(2,file:get_cwd())]).

3.配置环境变量

Computer->Properties->Advanced system settings->Advanced->Environment Variables->System variables
添加 HOME c:\zmz\erlang\home

3.安装emacs ftp://ftp.gnu.org/gnu/emacs/windows/, windows下我找不到什么好用的IDE了。eclipse的erlide是beta版,并且是1年多前开发的,此后再也没有新的版本。我装过,经常出错,很不好用。还有个中国牛人自编的erlang IDE,也不太顺手,所以就用了emacs。

4.配置emacs的CWD,最简单的办法就是在启动emacs的快捷方式中,右键选属性,在Start in那一栏当中填上你要的目录,比如C:\zmz\erlang\home。这样在emacs打开文件时,会默认打开这个目录,否则就是打开emacs的安装目录,那样很不爽。

5.配置emacs环境

创建文件C:\zmz\erlang\home\_emacs,文件内容如下:

     ;; Erlang mode
     (setq load-path (cons  “C:/Program Files/erl5.6.2/lib/tools-2.6.1/emacs“ load-path))
     (setq erlang-root-dir “C:/Program Files/erl5.6.2″)
     (setq exec-path (cons “C:/Program Files/erl5.6.2/bin” exec-path))
     (require ‘erlang-start)

      ;; Emacs client
      (server-start)

6.安装MinGW http://www.mingw.org/download.shtml。 安装选项中确认“MinGW base tools” 和 “MinGW make” 被选中。有了这个就可以使用makefile来编译程序。

把 C:\Program Files\MinGW\bin\mingw32-make.exe 另存一个名为make.exe的文件,存在同一目录下。不是改名,2个.exe都要,至于为什么我不记得了。

7.安装MSYS http://www.mingw.org/download.shtml, 下载MSYS-1.0.10.exe 。安装过程中会问到你的MinGW安装目录,比如C:\Program Files\MinGW。有了这个你就有了个shell环境,可以运行很多UNIX命令。

以上步骤全都在Vista下测试过,全部完成后,就可以很方便的在emacs下用erlang了。另外一个小的tips就是在emacs下选择File->Split window,可以把emacs分成上下2个窗口,一个写程序,另一个开Erlang shell编译调试。

祝大家好运,并预祝牛年大吉大利。

misc , ,

Joe Interview on Qcon

November 18th, 2008 :: jackyz

那边厢斯德哥尔摩的 EUC 刚刚结束,遍寻互联网而不见干货,这边 Joe 老头在 QCon 上的采访又已出炉。各位粉丝,请看[这里]。我在想,会不会有哪位神人愿意出手,给配个中文字幕啥的?

news , , ,

“Comet & Erlang” 为 beijing open party 准备的 Slide

November 15th, 2008 :: jackyz

Beijing open party 准备了一个 Slide ,主要讨论在 Comet 和 Erlang 领域的最新进展。这也是我准备要在 CN Erlouge III 上讲到的内容(当然,在 Erlouge 上讲的时候,侧重点和深度会有很大的不同),也算是我对 topic 的一次 preview 吧。有兴趣的同学可以看看。

misc , , ,