Linuxprogrammierer schrieb am 23.04.2018 10:17:
Der Artikel umreiĂźt es zwar, bringt aber keine Details - da muss man doch wieder woanders nachlesen.
Sag bescheid wenn Du was findest. ;-)
Der Artikel ist mehr oder weniger eine direkte Ăśbersetzung des originalen Blogbeitrags. Da steht auch nicht mehr drin.
Und im Grunde gab es jetzt sowieso keine Ăśberraschungen, da das Zeug ja schon seit Jahren entwickelt wird. Seit ĂĽber einem Jahr kann man mit Dotty spielen!
Technische Details findest Du hingegen hier:
http://dotty.epfl.ch/docs/reference/overview.html
Manche Sachen sind noch im Fluss: Erst neulich sind "Phantom Types" gegen "Erased parameters" getauscht worden, die ganze "Effect Capabilities" Sache muss noch konkretisiert werden, ob "Opaque Type Aliases" so kommen wie sie gerade da stehen weiĂź ich auch nicht (weil die Idee ĂĽberhaupt erst gerade neulich aufgekommen ist, und da noch ganz viel diskutiert wird; hier dĂĽrfte ausschlaggebend sein, was in OpenJDKs "Project Valhalla" so passiert). Die anderen Sachen sind hingegen schon implementiert, und funktionieren seit einiger Zeit.
Der Spannendste Punkt sind aber momentan noch Macros. Da könnte es noch ziemlich drunter und drüber gehen. Die "alten" (also aktuellen) experimentellen Macros sollen definitiv verschwinden. Wie aber der Ersatz aussehn soll, steht noch nicht wirklich fest. Martin hat da zwar eine Idee, aber ob sie in dem Fall die beste ist?
http://dotty.epfl.ch/docs/reference/principled-meta-programming.html
https://gist.github.com/odersky/f91362f6d9c58cc1db53f3f443311140
https://github.com/epfldata/squid/
https://scala-lms.github.io/