Dependent method types, which used to be an experimental feature before, has now been [enabled by default in the trunk][1], and apparently this seems to have created [some excitement][2] in the Scala community. 

At first look, it&#39;s not immediately obvious what this could be useful for. Heiko Seeberger posted a simple example of dependent method types [here][3], which as can be seen in the comment there can easily be reproduced with type parameters on methods. So that wasn&#39;t a very compelling example. (I might be missing something obvious. Please correct me if so.)

What are some practical and useful examples of use cases for dependent method types where they are clearly advantageous over the alternatives? 

What interesting things can we do with them that weren&#39;t possible/easy before? 

What do they buy us over the existing type system features?

Also, are dependent method types analogous to or drawing inspiration from any features found in the type systems of other advanced typed languages such as Haskell, OCaml?


  [1]: https://lampsvn.epfl.ch/trac/scala/changeset/25859
  [2]: http://twitter.com/#!/milessabin/status/127160650249154560
  [3]: https://gist.github.com/1303276#comments

All Dependent Method-Type Solutions on Gang of Coders

Total of 1 Dependent Method-Type Solutions

What are some compelling use cases for dependent method types?