Dependent function types just landed in Dotty: https://github.com/lampepfl/dotty/pull/3464 … ... really good to see @odersky moving things in the right direction. I'd love to take a stab at backporting this to #Scala.
Replying to @milessabin @odersky
And I would love you to! I currently have to work around their absence by giving up some typesafety or compromising on type inference.
8:04 AM - 13 Nov 2017
from City of London, London
0 replies
0 retweets
3 likes
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.