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:
- LDNUG September 2017 - #ProgNET Special with Richard Campbell (in London on 12th September 2017)
- Progressive .NET 2017 (in London on 13th - 15th September 2017)
- Fast Track to F# with Tomas Petricek & Phil Trelford (in London on 16th - 17th October 2017)
- Test Driven Development (TDD) Workshop with Damjan Vujnovic (in London on 7th - 8th December 2017)