http://www32.atwiki.jp/erlang/ erlang @ Wiki ja 2008-03-04T21:05:32+09:00 http://www32.atwiki.jp/erlang/pages/35.html maagrena.tripod.com [O] これから15分でErlangを始めるための資料 http://blog.overlasting.net/2007-05-09-1.html Erlang Land http://www.kmonos.net/alang/etc/erlang.php Erlang - Wikipedia http://ja.wikipedia.org/wiki/Erlang Thinking-in-Erlang-Japanese-version http://www.scribd.com/doc/45477/ どう書く？org :doukaku http://ja.doukaku.org/ リレーショナルでもオブジェクトでもない、JSONが前提のドキュメントデータベース CouchDb Project Website http://couchdb.org/CouchDB/CouchDBWeb.nsf/Home?OpenForm DSAS開発者の部屋 http://dsas.blog.klab.org/ Erlang クエックブック http://ancient.s6.xrea.com/erlang/cookbook.html 少年よ大志を抱け:Erlang http://bba-ltom.blogspot.com/search/label/erlang Erlangプログラミング (Erlang Programming) 基本的な使い方・構文 (Getting Started)]] Erlnag リファレンスマニュアル (Erlang Reference Manual)]] 2008-03-04T21:05:32+09:00 http://www32.atwiki.jp/erlang/pages/1.html **Erlangに関する情報をまとめるwikiです。 -[[Erlangとは]] -[[インストールガイド (Installation Guide)]] -[[リンク集]] 2007-10-19T23:39:09+09:00 http://www32.atwiki.jp/erlang/pages/37.html The OTP Design Principles is a set of principles for how to structure Erlang code in terms of processes, modules and directories. OTPの設計原則はErlangコードのプロセス、モジュール、ディレクトリといった項目の構築原則のセットです。 *1.Supervision Trees supervisionツリー A basic concept in Erlang/OTP is the supervision tree. This is a process structuring model based on the idea of workers and supervisors. Erlang/OTPの基本的なコンセプトはsupervisionツリーです。これはworkerとsupervisiorのアイディアモデルベースのプロセス構築です。 -Workers are processes which perform computations, that is, they do the actual work. ワーカは、計算指示を実際の動作に変換するプロセスです。 -Supervisors are processes which monitor the behaviour of workers. A supervisor can restart a worker if something goes wrong. Supervisiorsはworkerビヘイビアのモニターをするプロセスです。supervisiorは、想定外の事が起こった場合にワーカーを再起動できます。 -The supervision tree is a hierarchical arrangement of code into supervisors and workers, making it possible to design and program fault-tolerant software. supervisionツリーはコード内にsupervisorsとworkerの階層的引数を持ち、障害耐性の高いソフトウェアの設計とプログラムを可能にします。 *2.Behaviours *3.Applications *4.Releases *5.Release Handling 2007-10-19T23:29:25+09:00 http://www32.atwiki.jp/erlang/pages/2.html メニュー -[[トップページ]] -[[Erlangとは]] -[[インストールガイド (Installation Guide)]] **Erlangプログラミング (Erlang Programming) -[[基本的な使い方・構文 (Getting Started)]] -[[Erlnag リファレンスマニュアル (Erlang Reference Manual)]] -[[OTP 設計原則 (OTP Design Principles)]] //-[[プラグイン]] //-[[メニュー]] //-[[メニュー2]] ---- //-[[@ウィキ ガイド>http://atwiki.jp/guide/]] //-[[@wiki 便利ツール >http://atwiki.jp/tools/]] //-[[@wiki>http://atwiki.jp]] // リンクを張るには "[" 2つで文字列を括ります。 // ">" の左側に文字、右側にURLを記述するとリンクになります **counter -- &counter() -- today &counter(today) -- yesterday &counter(yesterday) **更新履歴 #recent(10) 2007-04-19T00:22:35+09:00 http://www32.atwiki.jp/erlang/pages/14.html *1. Introduction *1.1 Erlang と OTP Erlangは多目的プログラミング言語であり、並列性、配布、バグを内包している。 OTP（Open　Telecom　Platform）は、強固で適応性のあるテレコムシステムのためにtime-savingと柔軟な発展性を提供することを目的としている。またOTPは、Erlang Runtime Systemと、たくさんのready-to-useコンポネント（主にErlangで書かれた）と、Erlangプログラムのための設計原理のまとまりから成る。ErlangとOTPは密接な関係があるので、Erlang/OTPは一般的にOTPの代わりとして使われる。 *1.2 Erlang/OTP *1.2.1 Erlang Runtime System Erlang Runtime System(ERTS)は、OSの上を走るエミュレータと、配布とI/Oのような低レベルサービスを提供するカーネルと、膨大な再利用モジュールを含んだ標準ライブラリから成る。ERTSの一つの導入は、"Getting started with Erlang"の第二章に書いてある。完全なドキュメントは、書籍"Erlang 5.1/OTP R8 Basic Applications"に書いてある。 OTP設計原理は、アプリケーションを呼ぶコンセプトに基づくシステムを構築する手段をユーザーに提供する。OTPアプリケーションはシステムコンポネントをパッケージ化する方法で、モジュールライブラリかスーパービジョンツリーのまとまりである。スーパービジョンツリーは、fault-tolerantシステムプログラムに使われたプロセスの階層的な木のことである。そのプロセスは最も簡単な実装されたビヘイビアモジュールで、それは設計パターンの形式化である。標準ライブラリはスーパービジョンとサーバーとステイトマシンと一般的イベントハンドラのためのビヘイビアモジュールを含んでいる。"OTP Design Principles"の第四章で、設計原理が詳細に説明されている。 *1.2.2 OTP コンポーネント OTPコンポネントは６つのカテゴリに分けられる。 -基本的アプリケーション－基本的Erlang/OTP関数 --コンパイラ 高次元なコンパクトコードを提供するErlangのためのバイトコードコンパイラ --カーネル Erlang/OTPを走らせる関数的必需品 --SASL (System Architecture Support Libraries) コード置換や警告処理などのためのツールセット --STDLIB 標準ライブラリ -オペレーションと保守－ユーザーとErlang/OTP自身の両方によって改善されたシステム --EVA multi-featuredイベントと警告処理 --OS_Mon OSからの検査を許すモニター --SNMP MIBコンパイラとSNMPエージェントのためのツールを内蔵したSNMPサポート -インターフェースとコミュニケーション－相互運用性とプロトコルサポート --Asn1 ASN1のサポート --Comet ウインドウ上でErlang/OTPにCOMオブジェクトを呼ばせるライブラリ --Crypto 暗号化サポート --Erl_Interface Cへの低レベルインターフェース --GS ユーザーインターフェースから独立したプラットフォームを書くのに使うグラフィックシステム --Inets WebサーバーやFTPクライアントのようなサービスのセット --Jinterface Javaへの低レベルインターフェース --SSL 安全なソケット層（SSL)、UNIX BSDソケットへのインターフェース -データベース運用 --Mnemosyne DBMSの問い合わせ言語サポート --Mnesia リアルタイムで記述されたデータベースの重大な義務 --Mnesia_session Mnesia DBMSへの外国語インターフェース --ODBC ODBCデータベースインターフェース -CORBAサービスとIDLコンパイラ --cosEvent Orber OMG Event Service. --cosNotification Orber OMG Notification Service. --cosTime Orber OMG Timer and TimerEvent Services. --cosTransactions Orber OMG Transaction Service. --IC IDL compiler --Orber A CORBA object request broker. -Tools. --Appmon OTPアプリを見るのにつかうユーティリティ --Debugger Erlangプログラムのテストとデバッグ --Parsetools A set of parsing と語句解析のツール --Pman Erlang/OTPシステムの状態の検査に使うプロセスマネージャ --Runtime_Tools プロダクションシステムでのインクルードするためのツール --Toolbar Erlang/OTPツールに簡単にアクセスするためのツールバー --Tools 変換解析などを含んだプログラミングツールのセット --TV ETSとMnesiaグラフィックテーブルビジュアライザー *1.3 狙いと目的 このドキュメントは、ErlangランタイムシステムとOTPアプリケーションとOTP設計原理について説明している。読み手はErlangプログラミング言語に精通しているが、Erlangでのプログラムの方法については説明できないと想定している。Erlangは”Concurrent Programming in Erlang, 2nd Edition”（ ISBN 0-13-508301-X）で詳細に記してある。 *1.4 The Erlang/OTP Documentation について *1.4.1 この本の構造 ドキュメントは８つのパートに分割されている。この本, Erlang 5.1/OTP R8 System Documentation, EN/LZT 108 4095 R2,は、ドキュメントのポイントから始まり、Erlang言語とランタイム、OTP設計原理、Erlang/OTPのインストールと設定の仕方が書いてある。 -Chapter 2: "初めてのErlang"では、Erlangランタイムシステムについて記述してあり、読者にコンパイラやデバッガのようなツールを紹介している。 -Chapter 3: "4.4からのErlangの拡張"では、最新バージョンの本Concurrent Programming in ERLANGから、Erlangに加えられたすべての拡張を列挙してある。 -Chapter 4: "OTP Design Principles（OTP設計原理）"では、アプリケーションタームのErlangコードとスーパービジョン木の構築の仕方について記述している。典型的な例などを挙げてある。 -Chapter 5: "Installation Guide（インストールガイド）"では、UNIXとWindowsでのErlang/OTPのインストールのガイドラインについて記述してある。 -Chapter 6: "System Principles（システム原理）"では、Erlang/OTPを始めるのに役に立つオプションや使い方について記述してある。この章はまた、Erlang/OTPでのアプリケーションについて簡潔に記述してある。 -Chapter 7: "Embedded Systems（組み込みシステム）"は、"Installation Guide"の補足である。組み込みシステム上でErlang/OTPを走らせることの問題点や特徴について記述してある。 -Chapter 8: "Operation and Management Principles（制御と運用の原理）"では、制御のモデルやサブシステムの保守について記述してある。 -Chapter 9: "Tutorial（チュートリアル）" は、別のプログラミング言語で書かれたプログラムとErlangプログラムを統一する時に使われるメカニズムのオリエンテーションである。 *1.4.2 印刷規定 次のような印刷規定が使われている。 Examples of typographical conventions. 規定 Where used コマンド To show menu selections and equivalent command line entries. To show keyboard entries at system prompts. コード To highlight Erlang code, module and function names, arguments, variables, and file names. *2. Things Left Out 2007-04-15T22:33:08+09:00 http://www32.atwiki.jp/erlang/pages/36.html + [[概要(Overview)>Des_Overview]] ++ Supervision Trees ++ Behaviours ++ Applications ++ Releases ++ Release Handling + [[Gen_Server Behaviour>Des_Gen_Server]] ++ Client-Server Principles ++ Example ++ Starting a Gen_Server ++ Synchronous Requests - Call ++ Asynchronous Requests - Cast ++ Stopping ++ Handling Other Messages + [[Gen_Fsm Behaviour]] ++ Finite State Machines ++ Example ++ Starting a Gen_Fsm ++ Notifying About Events ++ Timeouts ++ All State Events ++ Stopping ++ Handling Other Messages + [[Gen_Event Behaviour]] ++ Event Handling Principles ++ Example ++ Starting an Event Manager ++ Adding an Event Handler ++ Notifying About Events ++ Deleting an Event Handler ++ Stopping + [[Supervisor Behaviour]] ++ Supervision Principles ++ Example ++ Restart Strategy ++ Maximum Restart Frequency ++ Child Specification ++ Starting a Supervisor ++ Adding a Child Process ++ Stopping a Child Process ++ Simple-One-For-One Supervisors ++ Stopping + [[Sys and Proc_Lib]] ++ Simple Debugging ++ Special Processes ++ User-Defined Behaviours + [[Applications]] ++ Application Concept ++ Application Callback Module ++ Application Resource File ++ Directory Structure ++ Application Controller ++ Loading and Unloading Applications ++ Starting and Stopping Applications ++ Configuring an Application ++ Application Start Types + [[Included Applications]] ++ Definition ++ Specifying Included Applications ++ Synchronizing Processes During Startup + [[Distributed Applications]] ++ Definition ++ Specifying Distributed Applications ++ Starting and Stopping Distributed Applications ++ Failover ++ Takeover + [[Releases]] ++ Release Concept ++ Release Resource File ++ Generating Boot Scripts ++ Creating a Release Package ++ Directory Structure + [[Release Handling]] ++ Release Handling Principles ++ Requirements ++ Distributed Systems ++ Release Handling Instructions ++ Application Upgrade File ++ Release Upgrade File ++ Installing a Release ++ Updating Application Specifications + [[Appup Cookbook]] ++ Changing a Functional Module ++ Changing a Residence Module ++ Changing a Callback Module ++ Changing Internal State ++ Module Dependencies ++ Changing Code For a Special Process ++ Changing a Supervisor ++ Adding or Deleting a Module ++ Starting or Terminating a Process ++ Adding or Removing an Application ++ Restarting an Application ++ Changing an Application Specification ++ Changing Application Configuration ++ Changing Included Applications ++ Changing Non-Erlang Code ++ Emulator Restart 2007-04-15T18:40:05+09:00 http://www32.atwiki.jp/erlang/pages/28.html *1. Defining and Using Macros A macro is defined the following way: マクロの定義は以下のようにします: -define(Const, Replacement). -define(Func(Var1,...,VarN), Replacement). A macro definition can be placed anyhere among the attributes and function declarations of a module, but the definition must come before any usage of the macro. マクロ定義はモジュールの属性と関数が出来るみたいな。しかし、定義はマクロを使う前に必要だってかんじ。 If a macro is used in several modules, it is recommended that the macro definition is placed in an include file. もしも、マクロがseveralモジュール内でつかうなら、これはマクロ定義はインクルードファイルないにあるとrecomendされる。 A macro is used the following way: マクロは以下のように使われる: ?Const ?Func(Arg1,...,ArgN) Macros are expanded during compilation. A simple macro ?Const will be replaced with Replacement. Example: マクロはコンパイル時に展開される。シンプルなマクロ?Constは置き換えられるだろう。例: -define(TIMEOUT, 200). ... call(Request) -> server:call(refserver, Request, ?TIMEOUT). This will be expanded to: これは以下のように展開されるでしょう: call(Request) -> server:call(refserver, Request, 200). A macro ?Func(Arg1,...,ArgN) will be replaced with Replacement, where all occurences of a variable Var from the macro definition are replaced with the corresponding argument Arg. Example: マクロ?Func(Arg1,...,ArgN)はバリアブルVarのマクロ定義からoccurencesの全ては置き換えられたcorresponding引数Argである、ところのReplacementによって置き換えられる。 -define(MACRO1(X, Y), {a, X, b, Y}). ... bar(X) -> ?MACRO1(a, b), ?MACRO1(X, 123) This will be expanded to: これはこう展開されるでしょう: bar(X) -> {a,a,b,b}, {a,X,b,123}. It is good programming practice, but not mandatory, to ensure that a macro definition is a valid Erlang syntactic form. このことはよいプログラミングの練習です、しかし、mandatoryではなく、to ensure that a マクロ定義がvalid な Erlang シンタックスから。 To view the result of macro expansion, a module can be compiled with the 'P' option. compile:file(File, ['P']). This produces a listing of the parsed code after preprocessing and parse transforms, in the file File.P. マクロexpansionの結果を見る、モジュールはPオプションによりコンパイルできる。 compile:file(File,['P']). このproduces　パースされたコードのリスニング　わからん。 *2. Predefined Macros The following macros are predefined: 以下のようなマクロがさいっしょっから定義されてる: ?MODULE The name of the current module. カレントモジュールの名前。 ?MODULE_STRING. The name of the current module, as a string. カレントモジュールの名前の文字列。 ?FILE. The file name of the current module. カレントモジュールのファイルの名前 ?LINE. The current line number. カレント行番号。 ?MACHINE. The machine name, 'BEAM'. マシン名、'BEAM'。 *3. Flow Control in Macros The following macro directives are supplied: マクロディレクティブは以下のようなサプリード: -undef(Macro). Causes the macro to behave as if it had never been defined. Causes マクロ to behave as もしこれが定義されてなかったら。 -ifdef(Macro). Evaluate the following lines only if Macro is defined. もしもマクロが定義されていれば以下の行が計算される。 -ifndef(Macro). Evaluate the following lines only if Macro is not defined. マクロが定義されてなかったら以下の行が計算される。 -else. Only allowed after an ifdef or ifndef directive. If that condition was false, the lines following else are evaluated instead. elseだよ。 -endif. Specifies the end of an ifdef or ifndef directive. endifだろ。 Example: 例： -module(m). ... -ifdef(debug). -define(LOG(X), io:format("{~p,~p}: ~p~n", [?MODULE,?LINE,X])). -else. -define(LOG(X), true). -endif. ... When trace output is desired, debug should be defined when the module m is compiled: トレースしたいときー、debug should be 定義された モジュールmがコンパイルされたときー: トレースしたいときは コンパイル時にdebugを定義しろってこった: % erlc -Ddebug m.erl or とか 1> c(m, {d, debug}). {ok,m} なかんじで。 ?LOG(Arg) will then expand to a call to io:format/2 and provide the user with some simple trace output. ?LOG(Arg)はまぁ、アレだ。io:format/2とシンプルなユーザーのトレース出力を含んだものに展開できるだろうと。 *4. Stringifying Macro Arguments The construction ??Arg, where Arg is a macro argument, will be expanded to a string containing the tokens of the argument. This is similar to the #arg stringifying construction in C. ??Argはなんかつくる。Argがマクロ引数のところ。展開　文字列を含む。引数トークン。これはシミュラーです。#arg文字列うんたらのCのなかみたいな。 The feature was added in Erlang 5.0/OTP R7. 未来は君のためにある。 Erlang 5.0/OTP R7から追加されたフューチャ Example: 例: -define(TESTCALL(Call), io:format("Call ~s: ~w~n", [??Call, Call])). ?TESTCALL(myfunction(1,2)), ?TESTCALL(you:function(2,1)). results in 結果 io:format("Call ~s: ~w~n",["myfunction ( 1 , 2 )",m:myfunction(1,2)]), io:format("Call ~s: ~w~n",["you : function ( 2 , 1 )",you:function(2,1)]). That is, a trace output with both the function called and the resulting value. このように、トレース出力は関数呼び出しのようにして結果をえられるとかそんなかんじ。 2007-04-15T18:06:57+09:00 http://www32.atwiki.jp/erlang/pages/16.html http://www.erlang.org/ から入手可能です。 Emacsの設定 erl5.5.3\lib\tools-2.5.3\emacs にErlang Emacs modeがあります。 2007-04-13T15:45:01+09:00 http://www32.atwiki.jp/erlang/pages/34.html 1. Ports 2. Port Drivers 3. Port BIFs 2007-04-13T15:13:13+09:00 http://www32.atwiki.jp/erlang/pages/33.html 1. Compilation 2. Code Loading 3. Code Replacement 2007-04-13T15:13:01+09:00