A High-level Language Features and Parallelism Support Comparison
Haskell vs. F# vs. Scala
A High-level Language Features and Parallelism Support Comparison
型理論・型システムの定番の入門書「TAPL」の日本語版が発行されるぞ - Route 477
■ [book][prog] 型理論・型システムの定番の入門書「TAPL」の日本語版が発行されるぞ Types And Programming Languages、通称TAPLの日本語版が発行される。 発売日は今月26日なのだが、すでにTwitter(の一部)で話題になって いたり、発売記念トークショーが予定されていたり(予約受付中)、あげくAmazonのランキングでニンジャスレイヤー4巻と並んだりと、専門書の発売とは思えない盛り上がりを見せている。 4274069117 TAPLといえば、大学のソフトウェア関係の研究室で輪講の題材として使われたりする、型理論の定番の入門書だ。 型理論(Type Theory)とは、静的型付け言語、特にHaskellやOCamlといった関数型言語の型チェックや型推論の基礎になっている理論だ。関数型言語に興味のある人なら、目次の中の「ラムダ計算」「多相型」「
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
