書評「型システム入門」 - 純粋関数空間
追記：Amazonのリンクを張っていますが、オーム社のサイト http://estore.ohmsha.co.jp/titles/978427406911P からも購入できます。 AmazonのKindle版はまだ出ていないようですが、 こちらからは今現在でDRMなしのPDFも購入できます。 Kindle版リリースの際にも、 フローレイアウトになる予定はないそうですので、 Amazonにこだわりがあるのでなければ、 電子版で読みたいという方は、こちらから購入されるのが良いかと思います。 あらかじめお断りしておきますと、 この記事は書評ではなく、宣伝です。 数年前に原著を読んだ時から、 本書は私の中では間違いなく良書ということになっておりますので、 私がいまさら内容の善し悪しを語ることには、 はじめから意味がないと思っております。 なのでここでは、この本の魅力、読んで欲しい人、どういう風に読
Erlang -- Types and Function Specifications
Expand All Contract All Chapters Introduction Top of chapter Purpose Prerequisites Document Conventions Complete List of BIFs Reserved Words Character Set and Source File Encoding Top of chapter Character Set Source File Encoding Data Types Top of chapter Terms Number Atom Bit Strings and Binaries Reference Fun Port Identifier PID Tuple Map List String Record Boolean Escape Sequences Type Conversi
Introduction | Learn You Some Erlang for Great Good!
6.1. 強烈な強さの型付け¶ これまでの「 (本当に)始めましょう！ 」での例や、「 モジュール 」と「 関数の構文 」でモジュールや関数での型付けの例に気づいたかもしれませんが、変数の型を書いたり、関数の型を書いたりする必要はありませんでした。 パターンマッチをするときは、書いたコードがどんなものが適用するか分かっていませんでした。 {X,Y} というタプルに対して {atom, 123} でもいいし {"A string", <<"binary stuff!">>} でも {2.0, ["string","and",atoms]} でもなんでも適用します。 うまく動かない場合は、実行時に目の前にエラーが投げらます。これはErlangが動的型付けだからです。 すべてのエラーはランタイムに取得され、コンパイラは常にモジュールをコンパイルするときに、 「（本当に）始めましょう！ 」での "
succ_types.dvi
Practical Type Inference Based on Success Typings Tobias Lindahl 1 Konstantinos Sagonas 1,2 1 Department of Information Technology, Uppsala University, Sweden 2 School of Electrical and Computer Engineering, National Technical University of Athens, Greece {tobiasl,kostis}@it.uu.se Abstract In languages where the compiler performs no static type checks, many programs never go wrong, but the intende
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://community.haskell.org/~simonmar/papers/erltc.pdf
