This is the first of a series of hands on Idris meetings working through Edwin Brady's forthcoming book "Type-Driven Development with Idris".
The aim is to get everybody coding so please bring a laptop. There will be a short talk to introduce the material and then we will work through as many exercises as we have time for.
This session covers: functional programming, pure functions, total functions, types and dependent types. Getting started with Idris, your first Idris program and interactive development with types (chapters 1 to 3).
YOU MAY ALSO LIKE:
- Test all the things with Intern 4 with Dylan Schiemann! (in London on 15th March 2017)
- Jenny Martin and Pete Buckney's BDD From Start to Finish - Successful Delivery through Continuous Collaboration (in London on 20th - 22nd March 2017)
- Gáspár Nagy's Developing with SpecFlow (in London on 28th - 30th June 2017)
- Agile Testing & BDD eXchange 2017 (in London on 9th - 10th November 2017)