'Type-driven Development with Idris' - Edwin Brady - Bog

Brand: Edwin Brady

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

Reklamelink — vi modtager en kommission fra produkter købt igennem siden. Det påvirker ikke prisen for dig. Der tages forbehold for udsolgte varer, tastefejl og prisændringer.