Proposal to remove general type projection from Dotty^wScala 3: https://contributors.scala-lang.org/t/proposal-to-remove-general-type-projection-from-the-language/2812 … #Scala
-
-
Replying to @milessabin
As long as we get dependent types within parameter blocks, *or* multiple implicit blocks, I'm 100% in favor of this change. Without that though, a lot of stuff becomes impossible.
1 reply 0 retweets 0 likes -
Replying to @djspiewak
The former was snuck in by
@odersky a little while back. See also https://github.com/lampepfl/dotty/pull/5601 ….2 replies 0 retweets 0 likes -
Replying to @milessabin @odersky
For example, I'm pretty sure removing general type projection is the final and definitive end of the Cake Pattern.
1 reply 0 retweets 3 likes -
Replying to @djspiewak @odersky
I don't see how this kills cake ... if you have a scenario in mind could you post to the thread?
2 replies 0 retweets 1 like -
Replying to @milessabin @odersky
To be clear, I shed no tears for the death of cake. I think we've long since learned that there are far better approaches with fewer tradeoffs. I just thought I would point it out.
1 reply 1 retweet 3 likes
Interestingly, the cake pattern works great in pure lazy prototype OO languages like nix or jsonnet. I'd like to see a richly statically typed language that supports it well. Maybe Ur or Purescript, with suitable row polymorphism?
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.
Read my blog!