Our next meeting is on Monday 18th June at MadLab’s new venue at PLANT NOMA (Redfern, Dantzic Street, NOMA, M60 0AE).
The meeting starts at 7pm (doors open a little earlier, we aim to start by 7:05pm).
Please register to let us know you’ll be attending.
Idris is a purely functional language that has a number of interesting features like dependent types and totality checking. It can also be used as a proof assistant, similar to Coq and Agda.
In this talk I’ll cover development using Idris and how you can use types to help you write your code - rather than thinking of types just as things that need to be checked, we can instead see them as a plan for producing a robust program by following the three steps of type, define and refine.
You don’t need any experience with Idris or functional programming as I’ll be starting from the basics, but if you do happen to know Haskell you’ll probably see some similarities!
This event is generously sponsored by Equal Experts, a network of talented, experienced software consultants, specialising in agile delivery. Equal Experts will be providing refreshments, yay!
(Please register to let us know you’ll be coming!)
(And please get in touch if you’d like to talk at a future event: (contact the mailing list or ping @lambdamcr, or speak to us at the event! We’re a very supportive crowd, do let us know if you have any questions!)