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)