CT_from_Programmers.scala icon indicating copy to clipboard operation
CT_from_Programmers.scala copied to clipboard
verified publisher icon typelevel

Add Type Lambdas in Scala3 syntax as well

Open hmemcpy opened this issue 7 years ago • 1 comments

There's currently the ugly type lambda syntax (see 1.7 for example)

In addition to the comment about Kind projector, maybe (in addition) specify the proposed dotty/scala3 syntax?

hmemcpy avatar Sep 26 '18 19:09 hmemcpy

It's probably worthwhile to mention that Scala3 will likely to have a built-in syntax. Not sure if we need to give more specifics than that though.

kailuowang avatar Sep 27 '18 15:09 kailuowang