Amazon cover image
Image from Amazon.com

Type-driven development with Idris / Edwin Brady.

By: Material type: TextTextPublisher: Shelter Island, NY : Manning Publications Co., [2017]Copyright date: 2017Description: xxiv, 453 pages : illustrations ; 24 cmContent type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISBN:
  • 9781617293023
  • 1617293024
Subject(s): DDC classification:
  • 005.133 23
LOC classification:
  • QA76.62 .B73 2017
Contents:
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.
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Book Book Library 005-2016 (Browse shelf(Opens below)) Checked out 12/12/2025 AT-ISTA#001361
Total holds: 0

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.

Powered by Koha