Erlang资源列表

已翻译的Erlang资料

这里收集已经被翻译成中文的重要Erlang资料。

参考：http://ecug.googlecode.com/svn/trunk/translation/ (该地址可通过SVN客户端直接下载)

Erlang Classics

Getting Start with Erlang

英文版¹ by Erricson AB

中文版 《Erlang/OTP R11B 文档》 翻译: DinoWu (目前中文版包括“入门”和“OTP设计原则”)

SVN

Making reliable distributed systems in the presence of software errors

英文版² by Joe Armstrong

中文版 《面对软件错误构建可靠的分布式系统》 翻译: 段先德

Concurrent Programming in Erlang, Part I

英文版³ by Prentice Hall

Programming Erlang

英文版 by Joe Armstrong

翻译: jackyz & TrustNo1 (进行中)

EUC 07 Erlang WorkShop

(此部分来自 krzycube 的贡献)

Commercial Applications of Multi-core at Ericsson

英文版[暂缺]⁴ by H. Nilsson.

Extended Process Registry for Erlang

英文版⁵ by U. Wiger.

中文版 《扩展 Erlang 的进程注册表》 翻译：gigix

A Language for Specifying Type Contracts in Erlang and its Interaction with Success Typings

英文版⁶ by M. Jim茅nez, T. Lindahl, K. Sagonas

Introducing Records by Refactoring

英文版⁷ by L. L枚vei, Z. Horv谩th, T. Kozsik, R. Kir谩ly

Towards Hard Real-Time Erlang

英文版⁸ by V. Nicosia, C. Santoro

Programming Distributed Erlang Applications: Pitfalls and Recipes

英文版⁹ by H. Svensson, L.-脜. Fredlund

中文版 《编写分布式的Erlang程序:陷阱和对策》 翻译：gigix

Timed Verification of Erlang/OTP Components with the Process Algebra muCRL

英文版[暂缺]¹⁰ by Q. Guo, J. Derrick

Priority Messaging made Easy

英文版¹¹ by J. H. Nystr枚m

Optimising TCP/IP Connectivity

英文版¹² by O. Hellstr枚m

翻译: Jerry (进行中)

An Erlang Framework for Autonomous Mobile Robots

英文版¹³ by V. Nicosia, C. Santoro

Learning Programming with Erlang

英文版¹⁴ by F. Huch

Programming Efficiently with Binaries and Bit Strings

英文版¹⁵ by Per Gustafsson (来自 Jerry 的贡献)

翻译: Jerry (进行中)

其他资料

Purely Functional Data Structures

英文版¹⁶ 演示 by Chris Okasaki (来自 cn-erlounge-ii 现场，由 krzycube 贡献)

Practical Type Inference Based on Success Typings

英文版¹⁷ by Tobias Lindahl and Konstantinos Sagonas (来自 gigix 的贡献)

Design Patterns for Simulations in Erlang/OTP

英文版¹⁸ by Ulf Ekstrom (来自 gigix 的贡献)

A More Accurate Semantics for Distributed Erlang

英文版¹⁹ by Hans Svensson, Lars-Ake Fredlund (来自 myrc 的发现，由 mryufeng 提供下载地址)

出处

本文部分内容来自 http://erlang-china.org/wiki/erlang-doc

Footnotes

1. This is a “kick start” tutorial to get you started with Erlang. Everything here is true, but only part of the truth. For example, I’ll only tell you the simplest form of the syntax, not all esoteric forms. Where I’ve greatly oversimplified things I’ll write *manual* which means there is lots more information to be found in the Erlang book or in the Erlang Reference Manual.

2. Doctor’s Thesis at KTH. Describes Erlang, OTP, how and why.

3. The first part of the Erlang Reference book.

4. The main point I took away was the scalability of Erlang in multi-core hardware is nearly linear. Nilsson provided examples from studies conducted internally at Ericsson and an external 8 core 8 CPU Sun box.

5. Wiger addresses the issue of finding a specific process from a large pool of processes in particular for debugging and profiling purposes. At present, an earlier version of his extension is in use at Ericsson. This earlier extension only deals with local process registration while the talk focused on gproc, a global process registration service. gproc allows grouping processes into global and local properties reducing the search space when looking for a specific process. gproc also implements the necessary interface for use with QLC. Only minimal application code changes are needed to use/remove gproc making it definitely worthwhile to try out.

6. Recent questions on the mailing list regarding edoc brought references to this particular topic with details revealed here. Essentially a slight modification/addition to edoc specs providing more information to dialyzer and a new to-be-written tool (by Luna) for type checking Erlang code.

7. Presentation on the refactoring tool previously announced on the mailing list. Focuses on global code refactoring converting a tuple into record. Changes both internal references to the tuple and callee functions.

8. Using an undocumented priority level and a new behaviour to provide hard realtime support within Erlang. The implementation is currently experimental although the speaker will be using it in the near future for his autonomous mobile robot project. A project worth tracking for those requiring hard realtime.

9. This talk should be part of the Erlang FAQ. Get a copy of the paper and read it!

10. Interesting verification work on gen_fsm with timeout. Unfortunately the transformation is current done by hand but since the analysis portion seems independent to Erlang it should be possible to do the same for any other language.

11. Nystr枚m provides several examples of why priority message are hard to get right. Or for that matter with clean coding styles as Francesco once said “If you want dirty workarounds for selective receives in gen_servers, let me know. It will however have to be after lunch, as I will loose my appetite”. We get to see why in this talk.

12. Bottom line - use SuSE!

13. A very nice example of modular Erlang with C controller ports to control a robot. The AI portion, ERESYE, is also written in Erlang.

14. Huch uses an Erlang system called Kara to attract prospective female university applicants into the Computer Science program. The list of concepts taught is impressive, non tail-recursion on day 1 and processes/message passing on day 3! Hopefully access to the video of this interactive engaging talk could be made public. Hint hint.

15. A new datatype, the bit string, and a new construct for manipulating binaries, binary comprehensions, are included in the R12B release of Erlang/OTP. In addition to this the implementation of binary construction and matching have been altered to make straightforward programs that operates on binaries or bit strings more efficient.

16. When a C programmer needs an efficient data structure for a particular problem, he or she can often simply look one up in any of a number of good textbooks or handbooks. Unfortunately, programmers in functional languages such as Standard ML or Haskell do not have this luxury. Although some data structures designed for imperative languages such as C canbe quite easily adapted to a functional setting, most cannot, usually because they depend in crucial ways on assignments, which are disallowed, orat least discouraged, in functionallanguages. To address this imbalance,we describe several techniques for designing functional data structures, and numerous original data structures based on these techniques, including multiple variations of lists, queues, double-ended queues, and heaps, many supporting more exotic features such as random access or efficient catenation.

17. We show that it is possible to reconstruct a significant portion of the type information which is implicit in a program, automatically annotate function interfaces, and detect definite type clashes without fundamental changes to the philosophy of the language or imposing a type system which unnecessarily rejects perfectly reasonable programs. To do so, we introduce the notion of success typings of functions. Unlike most static type systems, success typings incorporate subtyping and never disallow a use of a function that will not result in a type clash during runtime. Unlike most soft typing systems that have previously been proposed, success typings allow for compositional, bottom-up type inference which appears to scale well in practice.

18. The growing field of Design Patterns o?ers hope of controlling the complexities associated with the development of large software applications. The architecture of a system can be expressed at a higher level of abstraction, which allows the designer to concentrate on the specifics of the application rather than having to deal with low-level issues. Simulations are today an essential tool for research and training in areas such as national defense, where simulations are a cheaper (and sometimes the only possible) alternahttp://lambda-the-ultimate.org/node/1910tive. This work has focused on finding design patterns for simulation software and provides an implementation of the discovered patterns in Erlang/OTP as something called behaviours. The main simulation software in this study is Sim94 - A concurrent simulator for plan-driven troops, written in the Erlang programming language at the Computing Science Department of Uppsala University in 1994. This paper also investigates patterns in general as well as the relationship between behaviours and design patterns.

19. In order to formally reason about distributed Erlang systems, it is necessary to have a formal semantics. In a previous paper we have proposed such a semantics for distributed Erlang. However, recent work with a model checker for Erlang revealed that the previous attempt was not good enough. In this paper we present a more accurate semantics for distributed Erlang. The more accurate semantics includes several modifications and additions to the semantics for distributed Erlang proposed by Claessen and Svensson in 2005, which in turn is an extension to Fredlund’s formal single-node semantics for Erlang. The most distinct addition to the previous semantics is the possibility to correctly model disconnected nodes.