#dependent-method-type

How to: What are some compelling use cases for dependent method types?

What are some compelling use cases for dependent method types?

Dependent method types, which used to be an experimental feature before, has now been enabled by default in the trunk, and apparently this seems to have created some excitement in the Scala community.

After first look, it’s not immediately obvious what this could potentially be useful for. Heiko Seeberger posted a simple example of…