Type-Driven Development with Idris

Type-Driven Development with Idris
お得情報
  • Amazonマーケットプレイス
    ¥ 4,805 より
  • Edwin Brady
  • Manning Pubns Co - ペーパーバック - 2017/04/07
  • ¥ 5,083定価 ¥ 5,79112%OFF
「Type-Driven Development with Idris」をAmazonで購入する
amazon.co.jp 詳細ページへ

商品の紹介

This book, 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.

「Type-Driven Development with Idris」が好きな人は、こんな商品も購入しています

他の商品を探す

「Type-Driven Development with Idris」を含む人気エントリー