|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
商品の説明
内容説明
Isomorphisms of types is a research topic in type theory that has valuable practical applications both for programming language design and for more human-centred information retrieval in software libraries. By means of a study into the syntax of the now widely known typed lambda-calculus, it is possible to identify some simple equations between types that on one hand can improve the design of the ML language, and on the other hand provide the basis for building radically new information retrieval systems for functional software libraries. In this book the author presents the theoretical aspects of this research.
登録情報
|
この商品にタグをつける(詳細)タグは、商品との関連性が非常に強いキーワードまたはラベルのようなものです。
タグにより、すべてのお客様がお気に入りの商品の整理と確認を行うことができます。 ※タグは初期設定で公開になっています。詳しくはこちら |
カスタマーレビュー
Amazon.com で最も参考になったカスタマーレビュー (beta)
Amazon.com:
1個のレビュー
Its noble goal: trying to apply PL theory to a SE tool.
1999/11/2
形式:ハードカバー
The first chapter is quite well-written. It presents a friendly introduction to types and typed lambda calculi and intuitively sketches the motive and results of the remaining chapters.
As for those, one might do well to read the first few pages of each chapter before sinking into the details. Motivation and definitions are generally presented up front, before descending into all the requisite formalisms and proofs (which are best left to professional programming language theorists).
The general thesis is that types provide a specification of software components, and isomorphisms are useful in constructing a tool to search through libraries of components. Di Cosmo does not, however, try very hard to convince the reader that types are ENOUGH of a specification of a function's behavior to be effective for retrieving useful modules from large, real-world software libraries.
このレビューはお役に立ちましたか？
ご意見はクチコミでお聞かせください。
リストマニア
関連商品を探す
- 洋書 > Computers & Internet > Computer Science > Software Engineering
- 洋書 > Computers & Internet > Programming > Languages & Tools
- 洋書 > Computers & Internet > Software
- 洋書 > Computers & Internet > Web Development
- 洋書 > Professional & Technical > Professional Science > Mathematics > Applied
- 洋書 > Science > Mathematics > Applied
- 洋書 > Special Features > all foreign books
同じキーワードの商品を探す
フィードバック
- カタログ情報、または画像について報告
- 著者からのコメント
- 出版社からのコメント
