新品:￥16,031 税込 ポイント: 160pt (1%) 配送料 ¥2571月10日-20日にお届け 発送元: SuperBookDeals_ 販売者: SuperBookDeals_
新品:
￥16,031 税込
ポイント: 160pt (1%)
配送料 ¥2571月10日-20日にお届け
発送元: SuperBookDeals_
販売者: SuperBookDeals_
中古品 - ほぼ新品￥13,061 税込 ポイント: 131pt (1%) 配送料 ¥4301月2日-12日にお届け 発送元: worldbooksjapan 販売者: worldbooksjapan
中古品 - ほぼ新品
￥13,061 税込
ポイント: 131pt (1%)
配送料 ¥4301月2日-12日にお届け
発送元: worldbooksjapan
販売者: worldbooksjapan
無料のKindleアプリをダウンロードして、スマートフォン、タブレット、またはコンピューターで今すぐKindle本を読むことができます。Kindleデバイスは必要ありません。
ウェブ版Kindleなら、お使いのブラウザですぐにお読みいただけます。
携帯電話のカメラを使用する - 以下のコードをスキャンし、Kindleアプリをダウンロードしてください。
Types and Programming Languages (Mit Press) ハードカバー – 2002/2/1
英語版Benjamin C. Pierce(著)
このページの読み込み中に問題が発生しました。もう一度試してください。
{"desktop_buybox_group_1":[{"displayPrice":"￥16,031","priceAmount":16031.00,"currencySymbol":"￥","integerValue":"16,031","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"bGwdrJko44A1U1NPiD%2Fal4n%2B7G%2FdheOWLtR%2FzI5DiVv%2FrElOq50HLonT5xpFbe1cVBcy30JBh6EfJFcqdlW1e1ShwZkrg5pTQJieU%2B%2BRVuzq9ev8yYdkXswCSwk224YgOwbt%2BFXZegScqJZx9qZ3x73UqtKCXHUvuKBjE%2FSRiS%2FIfnA%2BaDPlcDlB4TRsmG%2FE","locale":"ja-JP","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}, {"displayPrice":"￥13,061","priceAmount":13061.00,"currencySymbol":"￥","integerValue":"13,061","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"bGwdrJko44A1U1NPiD%2Fal4n%2B7G%2FdheOWhnnU6pMKAsr8vACrdpHJKb9x9wb8I%2F3xjEkL%2B5wKrr1OJN7N15%2F8jQWficrsHCJmCJJoIzrXzp1SmFkQaGZXA4axOSqUsU2N5UpaRbSp6hQXVvMbQsmZAnHDpdT8l%2BIrqG4aLz%2FjDADHS%2BIWukX6lg%3D%3D","locale":"ja-JP","buyingOptionType":"USED","aapiBuyingOptionIndex":1}]}
購入オプションとあわせ買い
A comprehensive introduction to type systems and programming languages.
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systemsand of programming languages from a type-theoretic perspectivehas important applications in software engineering, language design, high-performance compilers, and security.
This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.
The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
- 本の長さ623ページ
- 言語英語
- 出版社Mit Pr
- 発売日2002/2/1
- 寸法23.88 x 20.62 x 3.61 cm
- ISBN-100262162091
- ISBN-13978-0262162098
この商品をチェックした人はこんな商品もチェックしています
ページ:1 /1最初に戻る
商品の説明
レビュー
"Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects."--Robin Milner, Computer Laboratory, University of Cambridge
& quot; Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects.& quot; --Robin Milner, Computer Laboratory, University of Cambridge
" Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects." --Robin Milner, Computer Laboratory, University of Cambridge
--Robin Milner, Computer Laboratory, University of Cambridge
& quot; Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects.& quot; --Robin Milner, Computer Laboratory, University of Cambridge
" Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects." --Robin Milner, Computer Laboratory, University of Cambridge
--Robin Milner, Computer Laboratory, University of Cambridge
著者について
Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.
登録情報
- 出版社 : Mit Pr (2002/2/1)
- 発売日 : 2002/2/1
- 言語 : 英語
- ハードカバー : 623ページ
- ISBN-10 : 0262162091
- ISBN-13 : 978-0262162098
- 寸法 : 23.88 x 20.62 x 3.61 cm
- Amazon 売れ筋ランキング: 洋書 - 36,552位 (洋書の売れ筋ランキングを見る)
- Computer Hacking - 43位
- Software Development - 155位
- Computer Programming Language & Tool - 222位
- カスタマーレビュー:
著者について
著者をフォローして、新作のアップデートや改善されたおすすめを入手してください。
Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.
著者の本をもっと見つけたり、似たような著者を調べたり、おすすめの本を読んだりできます。
カスタマーレビュー
星5つ中4.8つ
92グローバルレーティング
評価はどのように計算されますか?
全体的な星の評価と星ごとの割合の内訳を計算するために、単純な平均は使用されません。その代わり、レビューの日時がどれだけ新しいかや、レビューアーがAmazonで商品を購入したかどうかなどが考慮されます。また、レビューを分析して信頼性が検証されます。
上位レビュー、対象国： 日本
レビューのフィルタリング中にエラーが発生しました。ページを再読み込みしてください。
- 2020年7月21日に日本でレビュー済みフォーマット: ハードカバー日本で、最近まで
本書をまともに読まれている方が非常に少ないことに驚く限りである。
Riehl をはじめ、世界的な人材を輩出しているPenn （Pierce 率いるペンシルベニア工科大学の情報系）と比べ、
日本と、世界とのレベルの隔たりが明確にあることを感じさせてくれる。
本書を読む前に、英語が日本語のように曖昧に文脈がとれる言語である、などという甘い考え方は捨てた方が良い。
もし、その程度の英語力で本書を読むくらいであれば、お金を払ってでも、英語の直訳（つまりは構文がとれる力）を明確に養う必要がある。（通常、センター試験でふるい落とすはずなのだが、）英語の直訳すらまともにできない大学生、社会人などが多すぎるのではなかろうか。通常、英語を日本語に直すとき、日本語の文書の曖昧性から英語の同等の文書より情報量が少なくなっている。ということが多々生じるのであるが、その行間を埋める作業が意訳であるとも言うことができる。（例えば、十分に英語の具体性を享受している人が読めば、あのような邦訳の出版にはならないであろう。）
また CoPL などの日本を代表する型推論の書籍と本書とを比べるのも少し趣が違うように思う。
本書 TaPL においては、（CoPL が古い高々ゲーデルの System T レベルで閉じた型推論器の実装であるのとは異なり）、その先50年の情報学科の発展がふんだんに盛り込まれている。
日本産 CoPL にはない、TaPL の有用性についてあげるときりがない。
* Untyped Lambda Calculus について言及がなければ、そもそもλ計算の面白み、有用性などが、
まるで消し飛んでしまう。これらは、System F や Infinite Type などを通じて、Type System の中で再現される。
* Subtype や、Existential Type などの融合で、
オブジェクトオリエントなプログラミングの型付け、隠蔽や継承の概念などが実現できることなど、現代のコンパイラの根幹をなす理論を形成することができる。
* System F に始まる、証明支援系言語への理解が、ラムダキューブを通じて図られ、pure type system, あるいは
dependent type system 強いて言えば、Homotopy Type Theory の基盤へと繋がる道が本書で与えられている。
* Algebraic Data Type 強いて言えば、W-types を理解するのに必要な、無限型、System F、などの概念が定義されている。
* 無限型における、部分型付けを例に、Coinduction / Induction と言った タルスキの重要な定理が事細かに記されており、マシンの安全性の証明をするための土台について学ぶことができる。
本書の日本語訳も私には相当悪い印象があるが、
それ以上に、「我々の英語に対する認識の甘さ」が、この希書を、通読する機会を奪っているのではないか。
と最近思う。
もちろん実装がついてあるので、
どれほど優秀な方であろうと二周は読める書籍ではないだろうか。 - 2007年3月13日に日本でレビュー済みフォーマット: ハードカバー普段関数プログラミングを行わないような一般のプログラマーが、ML や Haskell のような所謂静的な型を持つ関数型言語を学んだ次に、その理論的背景となっている型理論について学んでみようと思って手にとってみるのに手ごろな一冊です。
理論に手をつける時の最大の障害は、それがどのように役に立つのかが直ぐには見えてこなくて途中で放り出してしまいそうになることです。
本書では「オブジェクト指向の機能の実現方法を示す」という、一般プログラマーに馴染みのある題材を中核にして一本筋を通すことで、このような問題を回避しています。また、動かして試せるぐらいのおもちゃのようなレベルではあるものの、理論として示したものを実際に動作させることのできる処理系の作り方を示してい（たりサポートサイトにそのソースがあ）るのも、とりあえずこの本で学ぼうとする独習者にとっては魅力的だと思います。
その反面、関数プログラミングに十分に馴染みのあるようなプログラマーがさらに高みを目指すために読むには、記述してある内容が保守的過ぎて少々物足りないかもしれません。SML# や Haskell などの最先端をいっているような言語に対する興味が強い方は、章の最後の Note などに少しだけ書かれている話こそを知りたいと思うことが多々あるでしょう。
とはいえ、細々したところまで精読すれば、型理論の全体像をある程度俯瞰することができるので、そういった意味で関数プログラマーにとっても悪くはない入門書だと思います。参照型や例外など関数プログラミングにも関連するトピックもありますし、Types and Programming Languages であって Types and Functional Programming (Languages) ではないことを予め理解していれば、手にとって損はない一冊なのではないでしょうか？
最後に、本書の続編にあたる Advanced Topics in Types and Programming Languages という本が出ているので、この本を読むために前提知識として本書を読むのもありでしょう。続編には、ML のモジュールや（最新の成果を踏まえた）型推論の説明など、関数プログラマーにとっても興味のある題材もありますし。
他の国からのトップレビュー
- Donovan2023年10月5日にオーストラリアでレビュー済み
5つ星のうち3.0Spine was worn, and arrived on the very last day of expected delivery date.
フォーマット: ハードカバーAmazonで購入I did not like that no tracking info was provided.
The spine was slightly worn when I received the book. - Amazon Customer2017年11月2日に英国でレビュー済み
5つ星のうち5.0Great readings.
フォーマット: ハードカバーAmazonで購入Great book.
Be sure to understand that this book is not to teach you how to program. - Ivan Migalev2024年2月17日にオランダでレビュー済み
5つ星のうち5.0Great book, good delivery
フォーマット: ハードカバーAmazonで購入The tracking code was indeed not available right from the start (as some other commenters noted), but eventually I received the tracking info on the order page in Amazon.
The printing quality is good. The book itself — well, maybe you already know about it if you are here :) - davor kljucevic2018年5月4日にカナダでレビュー済み
5つ星のうち5.0Five Stars
フォーマット: ハードカバーAmazonで購入Thumbs up emoji - nono2023年10月14日にフランスでレビュー済み
5つ星のうち5.0Livre en bon état et livré à temps
フォーマット: ハードカバーAmazonで購入Le livre est arrivé en bon état et à la date butoir. Pas déçu du contenu de ce livre !
