Martin Odersky is a professor at EPFL in Lausanne, Switzerland. He is best known as the inventor of the Scala language. He works on new programming language concepts that transcend the split between functional and object-oriented designs.
He is a fellow of the ACM and a recipient of the SIGPLAN programming languages software award. He has also influenced the development of Java as a co-designer of Java generics and as the original author of the javac reference compiler.
The object capability model has been established since the 1960s. It is probably the most obvious and clean way to protect trusted from untrusted components in a complex system. So why are object capabilities not used everywhere? I argue it's because they currently lack in both convenience and safety:
In Scala, we have been working on overcoming these two impediments.
I will report on the initial usage experience with these concepts and the measures we took to make the notations ergonomic.