型システム入門プログラミング言語と型の理論

ベンジャミン・C.ピアス(著者), Benjamin C.Pierce(著者), 住井英二郎(訳者), 住井英二郎(訳者)

• 販売会社／発売会社: オーム社
• 発売年月日: 2013/03/27
• JAN: 9784274069116

商品レビュー

2025/08/04

とりあえずで雑に読んだ。

型というものを考えることでプログラムが安全になり、プログラマは不安から解放されるメリットがあるということはなんとなくわかった。

単純型付きラムダ計算あたりまではまあまあ理解できたが、その先は難しいことが多くなったので流し読みになった。

大まかに言えば、実用的な言語にあるような機能を導入しながらも型安全性は壊したくないという要望に応えるために色々と考えられてきたということだろう。

2013/04/05

[関連リンク]
書評「型システム入門」 - あどけない話: http://d.hatena.ne.jp/kazu-yamamoto/20130404/1365059686

2013/03/25

読み始めました。

読書記録を取り始めました。
http://bit.ly/106mL2c

プログラマの視点で、何がどう役立つかを考えながら読んでいます。

訳者の住井英二郎が作ったMinCamlをMacintoshで動かそうとしながら読んでいます。
ご意見、ご指摘をお願いします。

ps.
Software Foundationの輪講には参加しています。
http://proofcafe.org/sf/

ps2.
某TH大学の某U先生が、歴史的な流れ、必要なことについての記述の不十分性を指摘されていました。
内容がわかりかけたら確認してみます。

ps3.
２年前のPPLの時、「何のために」がない研究についての反省を聞いたことがあります。
型システムが、何のためにあるのかの理解を第一目標にします。