Related Books
Language: en
Pages: 744
Pages: 744
Type: BOOK - Published: 2017-03-13 - Publisher: Simon and Schuster
Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2017-04-07 - Publisher: Manning
Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking
Language: en
Pages: 168
Pages: 168
Type: BOOK - Published: 2018-12-26 - Publisher: Packt Publishing Ltd
A fast paced guide for JavaScript developers for writing safe, fast, and reusable code by leveraging ResaonML's strong static type system Key FeaturesReduce cod
Language: en
Pages: 418
Pages: 418
Type: BOOK - Published: 2018-09-18 - Publisher: MIT Press
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a
Language: en
Pages: 392
Pages: 392
Type: BOOK - Published: 2015-02-17 - Publisher: "O'Reilly Media, Inc."
"This fast-moving guide introduces web application development with Haskell and Yesod, a potent language/framework combination that supports high-performing app
