Type-driven development with Idris /
Brady, Edwin,
Type-driven development with Idris / Edwin Brady. - xxiv, 453 pages : illustrations ; 24 cm
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.
9781617293023 1617293024
2017288477
Idris (Computer program language).
Functional programming (Computer science)
QA76.62 / .B73 2017
005.133
Type-driven development with Idris / Edwin Brady. - xxiv, 453 pages : illustrations ; 24 cm
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.
9781617293023 1617293024
2017288477
Idris (Computer program language).
Functional programming (Computer science)
QA76.62 / .B73 2017
005.133