TY  - BOOK
AU  - Brady,Edwin
TI  - Type-driven development with Idris
SN  - 9781617293023
AV  - QA76.62 .B73 2017
U1  - 005.133 23
PY  - 2017///]
CY  - Shelter Island, NY
PB  - Manning Publications Co.
KW  - Idris (Computer program language)
KW  - Functional programming (Computer science)
N1  - Includes index; Introduction. Overview ; Getting started with Idris -- Core Idris. Interactive development with types ; User-defined data types ; Interactive programs : input  and output processing ; Programming with first-class types ; Interfaces : using constrained generic types ; Equality : expressing relationships between data ; Predicates : expressing assumptions and contracts in types ; Views : extending pattern matching -- Idris and the real world. Streams and processes : working with infinite data ; Writing programs with state ; State machines L verifying protocols in types ; Dependent state machines : handling feedback and errors ; Type-safe concurrent programming
ER  -