> Interface types are similar to interface types in languages like Java, with one huge exception: you don't need to declare what interface types you implement!

> Interface types are similar to interface types in languages like Java, with one huge exception: you don't need to declare what interface types you implement! Nice. This seems to add the benefits of duck-typing, but with type checking.