Add Type Lambdas in Scala3 syntax as well

typelevel / CT_from_Programmers.scala

Scala sample code for Bartosz Milewski's CT for Programmers

277 stars 39 forks source link

Open hmemcpy opened 5 years ago

hmemcpy commented 5 years ago

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?

kailuowang commented 5 years ago

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.