Scala's type inference algorithm tries hard to automatically infer generic type parameters' actual values. If there are implicit parameters to a function that depend on yet underspecified type parameters, it can use this as a source of type constraints. This yields a variant of logic programming on types.
In this lightning talk, I will show the main powers and limitations of this method of metaprogramming through a series of short examples.
Rea is a language and framework based on the principles of Task-Oriented Programming, in which computations are described as workflows of independent tasks. The aim of Rea is to support programming Cyber-Physical Systems that are collaborating computational elements interacting with their physical environment and controlling physical processes. In the lightning talk, I will introduce Rea through a small example, and discuss the issues we face when implementing it in Scala.
Plugins for file resource handling (like amazon s3 bucket) and image resizing on-the-fly via URL parameters in play 2 for scala.
I'm talking about facts, impressions and summarize my favorite talks.
All videos of the conference are available at the conference website.