Type-driven Development with Idris by Edwin Brady (English) Paperback Book
62,94 €
And while tests are used to show presence of errors, they can only find errors that you explicitly test for. Readers learn how to manipulate types just like any other construct (numbers, strings, lists, etc.).
Jetzt bei Ebay:
