[B! Erlang] takuto_hのブックマーク

Erlangの型システムを定式化してみる - 檜山正幸のキマイラ飼育記 (はてなBlog)

「続・Erlangの型記法（間違い訂正）」にて： Erlangの型記法（type notation）は、言語仕様の外にある規約に過ぎません。しかし、型変数や型構成子が自由に使えるとなると、形式的に割ときれいな型システムを作れそうです。実際にやってみます。Erlangの型システムを定式化してみます。ここで、型システムとは、型の表現（type expression）に関する構文論と意味論のことだと考えます。次の2つを目標とします。現状使われている非形式的な型表記（type notation）構文をできるだけ尊重する。形式的にある程度満足できる定式化を提供する。内容：型表現の構文いろいろな型関数型演算子型変数と型環境新しい型関数の定義局所的な型束縛開いた型表現の解釈圏論的な意味論まとめ（になってない） ●型表現の構文型表現（type expression）は、型定数、

takuto_h 2010/02/23

リンク

続・Erlangの型記法（間違い訂正） - 檜山正幸のキマイラ飼育記 (はてなBlog)

「Erlangの型記法（Type Notation）」において、関数の型仕様（type spec）記述に関して、僕が誤解していた点があるので訂正します。間違っていたところは、次のような書き方の解釈です。 find_char(Str, Ch) -> integer() Str = string() Ch = char()僕は、イコール記号の使用を慣例的濫用＜らんよう＞だと思っていました。そうじゃなかったんですよ。誤解の背景まず、僕の間違った解釈の背景を説明しましょう。僕は、「Erlangの型仕様記述は、Cの関数プロトタイプ宣言と同じだろう」と理解しました。 /* C */ int find_char(string str, char ch); % Erlang find_char(Str::string(), Ch::char()) -> integer() ねっ、同じでしょう。もっと

takuto_h 2010/02/23

リンク

Erlangの型記法（Type Notation） - 檜山正幸のキマイラ飼育記 (はてなBlog)

[追記 date="翌日"]帰る間際にあわててアップロードして、いくつか細かいミスがあったので修正しました。[/追記] Erlangは静的な型チェックをまったくしないプログラミング言語ですが、データにはもちろん型（タイプ）があります。コンパイラはデータ型を気にしなくても、ドキュメンテーションではデータ型の記述が重要です。そこで、ドキュメンテーションのため（ひょっとすると、将来の型システム拡張のため？）に、型を記述する記法が使用されています。 Erlangの型記法は慣習的（conventional）なものなので、だいぶ“ゆらぎ”や“不整合”があるのですが、なるべく合理的な線を探りながら説明してみます。ネタ元は、アームストロングの本"Programming Erlang"の付録Aです。この型記法は、Erlangのmanページや一部の開発ツール*1で使用されています。型の名前型の名前は小文字