中古品
¥ 4,805
+ ¥ 257 関東への配送料
中古品: ほぼ新品 | 詳細
コンディション: 中古品: ほぼ新品
コメント: Used Book; Like New; Will Not Be Disappointed; In English, Fast Shipping from our UK Warehouse
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
2点すべてのイメージを見る

Type-Driven Development with Idris (英語) ペーパーバック – 2017/4/7

5つ星のうち 4.5
星5つ
5
星4つ
1
星3つ
1
星2つ
0
星1つ
0
5つ星のうち 4.5 7件のAmazon.comでのレビュー us-flag |

その他()の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
Amazon 価格
新品 中古品
ペーパーバック, 2017/4/7
¥ 5,183 ¥ 4,805
click to open popover

キャンペーンおよび追加情報

Kindle 端末は必要ありません。無料 Kindle アプリのいずれかをダウンロードすると、スマートフォン、タブレットPCで Kindle 本をお読みいただけます。

  • Apple
  • Android
  • Android

無料アプリを入手するには、Eメールアドレスを入力してください。


商品の説明

内容紹介

Types are often seen as a tool for checking errors, with the programmer writing a complete program first and using the type checker to detect errors. And while tests are used to show presence of errors, they can only find errors that you explicitly test for. In type-driven development, types become your tools for constructing programs and, used appropriately, can show the absence of errors. And you can express precise relationships between data, your assumptions are explicit and checkable, and you can precisely state and verify properties. Type-driven development lets users write extensible code, create simple specifications very early in development, and easily create mock implementation for testing.

Type-Driven Development with Idris, written by the creator of Idris, teaches programmers how to improve the performance and accuracy of programs by taking advantage of a state-of-the-art type system. This book teaches readers using Idris, a language designed from the very beginning to support type-driven development. Readers learn how to manipulate types just like any other construct (numbers, strings, lists, etc.). This book teaches how to use type-driven development to build real-world software, as well as how to handle side-effects, state and concurrency, and interoperating with existing systems. By the end of this book, readers will be able to develop robust and verified software in Idris and apply type-driven development methods to programming in other languages.

Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.

著者について

Edwin Brady leads the design and implementation of the Idris language. He is a Lecturer in Computer Science and regularly speaks at conferences.


登録情報

  • ペーパーバック: 453ページ
  • 出版社: Manning Pubns Co; Pap/Psc版 (2017/4/7)
  • 言語: 英語
  • ISBN-10: 1617293024
  • ISBN-13: 978-1617293023
  • 発売日: 2017/4/7
  • 商品パッケージの寸法: 18.5 x 2.3 x 23.4 cm
  • おすすめ度: この商品の最初のレビューを書き込んでください。
  • Amazon 売れ筋ランキング: 洋書 - 21,127位 (洋書の売れ筋ランキングを見る)
  • さらに安い価格について知らせる
    この商品を出品する場合、出品者サポートを通じて更新を提案したいですか?


カスタマーレビュー

まだカスタマーレビューはありません。
他のお客様にも意見を伝えましょう

Amazon.com で最も参考になったカスタマーレビュー

Amazon.com: 5つ星のうち4.5 7 件のカスタマーレビュー
Emre Sevinc
5つ星のうち5.0"I don't care how easy it is to write correct programs in a language, I care about how hard it is to write wrong ones."
2017年6月5日 - (Amazon.com)
5人のお客様がこれが役に立ったと考えています.
Smart4
5つ星のうち5.0A new language to fill a gap - taking security to a whole new level.
2017年6月15日 - (Amazon.com)
Vine先取りプログラムメンバーのカスタマーレビュー( 詳細 )
1人のお客様がこれが役に立ったと考えています.