7 ms·
Not sure that's correct. I remember going to a talk around 2013 with Odersky and got the impression that dotty would be the future scala.
by eweise 5y ago
Not sure that's correct. I remember going to a talk around 2013 with Odersky and got the impression that dotty would be the future scala.
- darksaints 5y agoLooked it up, the official announcement that it would become Scala 3 happened in 2018. https://www.scala-lang.org/blog/2018/04/19/scala-3.html https://www.scala-lang.org/blog/2018/04/19/scala-3.html You can dig through the git history of the readme for Dotty, it's actually pretty enlightening how Odersky's perception of it has evolved over time. For example, in 2014 he referred to dotty as an experimental compiler for a dialect of scala. https://github.com/lampepfl/dotty/commit/6a42d32181bd7b8639f717c20de5009c06141727#diff-b335630551682c19a781afebcf4d07bf978fb1f8ac04c6bf87428ed5106870f5 https://github.com/lampepfl/dotty/commit/6a42d32181bd7b8639f...
- eweise 5y ago"the work on Dotty over the last 5 years was intended to explore what a new Scala could look like"
- darksaints 5y agoThat doesn't read to you like it was intended to be a new language?
- eweise 5y agoI take it to mean a new version of Scala.
- valenterry 5y agoFor me it sounds like neither. More of "we make this condensed core, based on Scala - and if we are lucky and it turns out that the current Scala core can be made sound easily, then it will become Scala 3, else it will be a completely separate language". E.g. if it would have turned out that you can't make implicits sound, then I doubt that dotty would have become Scala 3. With existential types however, they decided to remove this feature (which is a bit sad imho) and sacrifice it to make dotty become Scala 3.