Now we can write for the purpose I originaly wanted to use for.
It's worth to define some syntactic sugar for it! First, down with that nasty X. Second, let's add some sugar for generators:
Features:– Such syntax can be easily extended for support of macro types in exactly parallel fashion to current syntax for macro methods. Like
– With this syntax we also obtain nice syntax for dependent tuples and dependent function types.
I would like to thank Nada Amin (ندى أمين) from EPFL for a very insightful discussion on DOT, the future of the Scala type system.