Many libraries in scala (other than shapeless) use dependent types to some extent.
It's also a very useful technique (although more seldom used) to make business code more strictly typed and therefore more robust (wink @mandubian)
-
-
Why ?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This Tweet is unavailable.
-
I am honestly not sure about what dependant typing really is. I'm able to define a function which return type varies depending on the arguments type (within some boundaries) in Scala though, and that's enough for my day to day needs.
End of conversation
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.