Type-driven Development with Idris

Edwin Brady

Bog | Engelsk

Beskrivelse

DESCRIPTION Types are often seen as a tool for checking errors, with the programmer writing a complete program first and using the type checker to detect errors. And while tests are used to show presence of errors, they can only find errors that you expli…