Types and a basic use case for them
Ren Pillay
A talk on building a library interface to a basic RESTful API.
Starts by implementing a naive implementation with traditional OO techniques. Then moves to a slightly better implementation using Options to explain how safety can be achieved. Finally demonstrates a better implementation still by using types to represent the state of the API to show how the library can help achieve both safety and be easier to use.
Recursion non-recursively
David Barri
There are some absolutely fantastic discoveries that make it trivial to work with recursive data types. Unfortunately, they aren't common knowledge amongst programmers in general. A significant part of the reason is that the theory is dense with jargon, and in a form that imposes a high barrier of entry. This is a property of the medium and not the content.
I will present algebras, coalgebras, fixpoints and various morphisms with the goal of making it comprehensible to any programmer sufficient in Scala, and without theoretic prerequisites.
