What we're about

The aim of this group is to explore the use of new type systems, in both functional and non-functional languages, to create efficient, problem solving systems that work reliably and can be easily maintained.

The inspiration for starting the group is 'Type-Driven Development with Idris' by Edwin Brady. In that book Brady uses Idris to demonstrate how dependent type systems can be used to help a programmer write working programs.

Some ideas for the group:

* Provide a friendly, welcoming environment for people to learn about ideas in type theory and software engineering. Especially for those who are completely new to them.

* A showcase for people to demo how they've used type theory in practical projects.

* Uses of type-driven development in languages that are not purely functional (e.g Swift)

Any other ideas are welcome too.

Meetup Logo: Daniel Ullrich [GFDL, CC-BY-SA-3.0 (http://creativecommons.org/licenses/by-sa/3... (http://creativecommons.org/licenses/by-sa/3.0/))], via Wikimedia Commons

Past events (95)

Correct Code by Construction Q&A

This event has passed

Recursive Types 21.1 to 21.6 1-3 star exercises

This event has passed

Recursive Types!

This event has passed


This event has passed

Photos (13)