Literally dependent types in Scala?

View: New views

1 Messages — Rating Filter: Alert me

Literally dependent types in Scala?

by Szymon Jachim :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

Is it possible that this enhancement will become a part of standard Scala soon?
http://existentialtype.net/2008/07/

Do you think it would be then possible to use 'symbolName.type to index type safe property bag based on HList?

Szymon