欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Erlang
|   | 
您可以在Wikipedia上了解到此条目的英文信息 Erlang Thanks, Wikipedia. | 
Erlang
目录 | 
简介
Erlang是一个结构化,动态类型编程语言,内建并行计算支持。最初是由爱立信专门为通信应用设计的,比如控制交换机或者变换协议等,因此非常适合于构建分布式、软实时并行计算系统。
新闻
功能
EEP Erlang Enhancement Process
Erlang是参与者模型(Actor model)最佳实践。
使用Erlang编写出的应用运行时通常由成千上万个轻量级进程组成,并通过消息传递相互通讯。进程间上下文切换对于Erlang来说仅仅只是一两个环节,比起C程序的线程切换要高效得多得多了。
使用Erlang来编写分布式应用要简单的多,因为它的分布式机制是透明的:对于程序来说并不知道自己是在分布式运行。
Erlang运行时环境是一个虚拟机,有点像Java虚拟机,这样代码一经编译,同样可以随处运行。它的运行时系统甚至允许代码在不被中断的情况下更新。另外如果你需要更高效的话,字节代码也可以编译成本地代码运行。
Types and Function Specifications
- Erlang + Yaws vs. Ruby on Rails
 - Open Telecom Platform (OTP) is written in Erlang.
 - The Zen of Erlang
 
版本
- Erlang/OTP 24 Highlights
 - 23 OTP 23 Highlights
 - 22 OTP 22 Highlights
 - 21 My OTP 21 Highlights
 - 20
 - 19
 - 18
 - 17
 
指南
下载
源代码
通过 kerl 编译和安装 Erlang 实例
kerl build git git://github.com/erlang/otp OTP_R16B01_RC1 r16b01_rc1
macOS
brew unlink erlang brew install erlang
sudo port selfupdate sudo port install erlang erl 1> toolbar:start(). 2> mnesia:start(). erl -man io
Linux/UNIX
mkdir /usr/local/erlang cd /usr/local/erlang mkdir otp_r7b cd otp_r7b gunzip -c <SOME-DIR>/<PREFIX>.tar.gz | tar xfp - ./Install /usr/local/erlang/otp_r7b ln -s /usr/local/erlang/otp_r7b/bin/erl /usr/local/bin/erl
or Unpack, configure, make, and install as follows:
$ tar -xzf otp_src_R11B-4.tar.gz $ cd otp_src_R11B-4 $ ./configure $ make $ sudo make install
or debian
apt-get install erlang
or centos
yum install erlang
Windows
先安装.exe文件, 再将 D:\Program Files\erlang-5.6\bin 加入 path 环境变量
使用
1> toolbar:start().
2> halt(). // 退出
3> 2 + 5.
4>(42 + 77) * 66 / 3.
5> [First |TheRest] = [1,2,3,4,5].
6> First.
7> TheRest.
8> io:format("hello world~n", []).
函数式编程
-module(hhfuns). -compile(export_all). one() -> 1. two() -> 2. add(X,Y) -> X() + Y(). increment([]) -> []; increment([H|T]) -> [H+1|increment(T)]. decrement([]) -> []; decrement([H|T]) -> [H-1|decrement(T)]. map(_, []) -> []; map(F, [H|T]) -> [F(H)|map(F,T)]. incr(X) -> X + 1. decr(X) -> X - 1.
工具
在用户目录下创建.emacs,如 /Users/huihoo/.emacs 加入以下内容: (setq load-path (cons "/usr/local/opt/erlang/lib/erlang/lib/tools-2.9.1/emacs" load-path)) (setq erlang-root-dir "/usr/local/opt/erlang") (setq exec-path (cons "/usr/local/otp/erlang/bin" exec-path)) (require 'erlang-start)
- Erlang Development Tool Suite
 - ErlyBird for NetBeans
 - ErlIDE for Eclipse
 - Wrangler Erlang重构工具
 
wxWidgets
项目
- Awesome Erlang 
 
 - Awesome Elixir 
 - Erlang @ GItHub
 - Languages, and about languages, on the BEAM
 - Erlang Solutions
 - N2O Enterprise Frameworks © SYNRC
 - mnesia A distributed telecommunications DBMS
 - cowboy
 - Riak 值得关注的k/v分布式存储数据库
 - chicago boss Web框架
 - Apache CouchDB
 - Couchbase
 - Zotonic
 - Megaco
 - Eddie
 - Wings 3D
 - Jungerl
 - ErlyWeb
 - MochiWeb
 - Yaws - http://yaws.hyber.org/
 - Scalaris
 - Disco MapReduce框架,Erlang + Python
 - EMQ
 - MongooseIM
 - ejabberd
 - RabbitMQ
 - AtomVM
 - pooler An OTP Process Pool Application
 - Tnesia Time-series Data Storage
 - asdf - install and manage different Elixir and Erlang versions
 
案例
Facebook选择了C++和Erlang的组合。C++模块用户用于记录聊天信息,而Erlang模块“将在线用户的对话保存在内存中并且对长时间轮询(long-polled)请求提供支持”。epoll,Linux 2.6中出现的新系统调用,被用于驱动Erlang模块。Eugene 解释了决定选用Erlang的原因:简单的说就是因为Erlang能很好地满足我们的要求。Erlang是一种面向同步的函数式语言,它具有极其轻量级的用户空间“进程”,无共享的消息传递语义,内置的分布式系统和一个被二十多年实时软件系统实践所检验过的灾难恢复系统。
- Yahoo用Erlang重写了Delicious Developing Erlang at Yahoo
 - 支撑4.5亿活跃用户的WhatsApp架构概览、日600亿消息,月4.65亿用户——WhatsApp的Erlang世界、Scaling to Millions of Simultaneous Connections
 - Worktile千万级消息系统构建实践
 - Using Erlang, Riak and the ORSWOT CRDT at bet365 for Scalability and Performance
 - bet365 Lessons learnt re-writing a PubSub system
 - 游戏 Game of War:Realtime performance at scale: the search for the Holy Grail
 - AOL RTB 系统,Real Time Bidding with Erlang
 - 挪威国家电力使用Erlang/OTP开发的电力市场自动化交易系统
 - Introducing Erlang to OpenX
 
P2P
图集
图书
- 《Erlang并发编程》中文版
 - 《Learn You Some Erlang for great good!》 随书源代码 中文版,还在翻译中
 - 维基图书《Erlang Programming》
 - 《Adopting Erlang》
 - 《Stuff Goes Bad - Erlang in Anger》
 
文档
- Making reliabledistributed systemsin the presence ofsodware errors
 - Generic Game Server
 - Multiplayer Game Server for Turn-Based Mobile Games in Erlang
 - Characterizing the Scalability of ErlangVM on Many-core Processors
 - Scalable Distributed Erlang
 - Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform
 - Erlang开发实践, 在淘宝MySQL平台(UMP)的应用 @淘宝褚霸
 - 基于Erlang构建大规模实时系统
 - Inside the Erlang VM with focus on SMP
 - An Erlang Game Stack,基于 Erlang + Lua + VoltDB 构建
 - Erlang实战 - 构建IP查询服务
 - Medical Device Automation Using Message-Passing Concurrency in Scheme
 - Erlang Web Frameworks 460页PPT
 
链接
- Erlang官网
 - Erlang Ecosystem Foundation
 - Erlang Enhancement Process
 - Erlang开放文档
 - Erlang大会资料
 - Lisp Flavored Erlang
 - 章亦春:nginx的http服务器&套Web应用开发框架 (注: 章亦春, 国内最活跃的Nginx模块开发者)
 - 轻松实现可伸缩性,容错性,和负载平衡的大规模多人在线系统
 - http://forum.javaeye.com/viewtopic.php?t=22318
 - 分布式、并行计算语言Erlang 学习笔记(第一部分)
 - 分布式、并行计算语言Erlang 学习笔记(第二部分)
 - 分布式、并行计算语言Erlang 学习笔记(第三部分)
 - Yariv's Blog: Adventures in Open Source Erlang
 - Comprehensive Erlang Archive Network
 - http://wagerlabs.com/
 - http://erlang-china.org/
 - http://download.huihoo.com/erlang/
 - Erlang 游戏服务器开发
 - Mnesia——针对电信应用的健壮分布式DBMS
 - 系统技术非业余研究 @淘宝褚霸
 - whatsapp深度使用Erlang有感
 - Go vs Erlang
 - Erlang 内存泄漏分析
 - 100万并发连接服务器笔记之Erlang完成1M并发连接目标
 - 一位Erlang程序员的自白
 - 对Erlang运行时代码阅读笔记
 - Concurrency in Erlang & Scala: The Actor Model
 
