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 (12)

The Little Typer Study Group - Session 11. Final Chapter!

Zuhlke Engineering Ltd

The Little Typer Study Group - Session 10

Zuhlke Engineering Ltd

The Little Typer Study Group - Session 9

Zuhlke Engineering Ltd

The Little Typer Study Group - Session 8

Zuhlke Engineering Ltd

Photos (3)