You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Oddly, there doesn't appear to be an open issue to collect discussion on this feature yet? So I'm hereby creating this one for that purpose.
There is some previous discussion about HKTs, type lambdas, type inference, and so on in the comments on the default type parameters RFC.
Given that : at the type level is already taken for trait bounds, here is my basic idea for the syntax of kinds.
And finally my motivation for creating this issue: I wanted someplace to link this Scala issue, the discussion in which, and the papers which are referenced, may also be relevant for us.
The text was updated successfully, but these errors were encountered:
Oddly, there doesn't appear to be an open issue to collect discussion on this feature yet? So I'm hereby creating this one for that purpose.
There is some previous discussion about HKTs, type lambdas, type inference, and so on in the comments on the default type parameters RFC.
Given that
:
at the type level is already taken for trait bounds, here is my basic idea for the syntax of kinds.And finally my motivation for creating this issue: I wanted someplace to link this Scala issue, the discussion in which, and the papers which are referenced, may also be relevant for us.
The text was updated successfully, but these errors were encountered: