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: 463
Pages: 463
Type: BOOK - Published: 2016-10-04 - Publisher: Simon and Schuster
Summary Functional and Reactive Domain Modeling teaches you how to think of the domain model in terms of pure functions and how to compose them to build larger