scala/scala3
View on GitHub ↗ ★ 6,332 Scala
The Scala 3 compiler, also known as Dotty.
76 mentions on Hacker News by 48 people: 26 stories, 50 comments · first 2014-02-19 · latest 2026-09-03
20082026
-
…the Scala standard library employs an analogous optimization in their Set[0] collection type. 0 - https://github.com/scala/scala3/blob/88438e2c6e6204e12666067...
comment by AdieuToLogic · 2026-02-28 · in Allocating on the Stack -
…As a matter of fact the Scala compiler has thousands, likely even tens of thousands of test cases. https://github.com/scala/scala3/tree/main/tests But that's not all. Scala (2 & 3) has also a test case called "community build" where new…
comment by still_grokking · 2025-12-08 · in Scala 3 slowed us down? -
…variables are initialized. [1] https://doc.rust-lang.org/reference/patterns.html#r-patterns... [2] https://github.com/scala/scala3/blob/main/compiler/src/dotty...
comment by matchee · 2025-12-05 · in Nimony (Nim 3.0) Design Principles -
…since Scala 3.0.0 has been released in May 2021, which is almost 4 years and counting. https://github.com/scala/scala3/releases/tag/3.0.0 Scala 3.x is to remain compatible for the whole 3.x series (think of semantic versioning). There's no…
comment by sideeffffect · 2025-03-26 · in Evolving Scala -
…To get a sense of where this matters, consider that Scala 3.5 introduces "best effort compilation": https://github.com/scala/scala3/pull/17582 I also like Kotlin and sadly, it's missing a good LSP implementation, and I don't think…
comment by bad_user · 2024-09-12 · in Why Haskell? -
…waiting to finally get an usable effect system? But there is something on the horizon for Scala: https://github.com/lampepfl/dotty/blob/release-3.1.0/docs/do... One can have a proper effect system on the JVM also already today with Flix:…
comment by still_grokking · 2021-12-18 · in ‘Woof’, a pure Scala 3 logging library -
…worth noting that Scala 3 drops this limitation by implementing function arguments with arrays: https://github.com/lampepfl/dotty/pull/1758
comment by ibraheemdev · 2021-02-12 · in From First Principles: Why Scala? -
…seem to have gained momentum. [3] looked promising but it seems like development has stalled. 1: https://github.com/lampepfl/dotty 2: https://smlfamily.github.io/ 3: https://eta-lang.org/
comment by emmanueloga_ · 2020-11-03 · in Leaving OCaml -
…regret, especially as more and more people become familiar with Python, which is more succinct: https://github.com/lampepfl/dotty/issues/2491
comment by grumpyprole · 2020-04-17 · in Gleam: A statically typed language for the Erlang VM -
…https://contributors.scala-lang.org/t/proposal-to-remove-exi... Significant indentation syntax https://github.com/lampepfl/dotty/pull/7083
comment by AheadOfTime295 · 2020-04-11 · in What's Next for Scala -
Scala 3 has been around for seven years on Github https://github.com/lampepfl/dotty/commit/2308509d2651ee78e11... Scala.js and Scala Native will support Scala 3 eventually. SBT isn't nearly as bad as it used to be. It's an open question…
comment by AheadOfTime295 · 2019-12-21 · in The Road to Scala 3 -
…[2] https://stackoverflow.com/questions/56227629/segmentation-fa... [3] https://github.com/lampepfl/dotty/pull/7466/
comment by shakna · 2019-12-19 · in Make CPython segfault in 5 lines of code -
https://dotty.epfl.ch/blog/2019/06/11/16th-dotty-milestone-r... implicit -> delegate for Y, given https://github.com/lampepfl/dotty/pull/6649 https://dotty.epfl.ch/docs/reference/contextual/given-clause...
comment by based2 · 2019-07-13 · in Keynote: Some Mistakes We Made When Designing Implicits – Martin Odersky -
…union type, which is very important for Scala.js, but it's not really a language interaction. [1] https://github.com/lampepfl/dotty/pull/5143
comment by sjrd · 2018-12-09 · in Cross-Platform Language Design [pdf] -
…could be paired together with the Rsc type checker for the first pass for even bigger improvements. https://github.com/lampepfl/dotty/pull/4767
comment by doikor · 2018-07-23 · in Scala: Understanding implicits -
At least some of the content is appearing as Github issues: https://github.com/lampepfl/dotty/pull/4153
comment by threeseed · 2018-07-11 · in The Last Hope for Scala's Infinity War [video] -
…engineers working on Kotlin/KotlinJS/Kotlin Native). [0] https://github.com/DarkDimius [1] https://github.com/lampepfl/dotty
comment by virtualwhys · 2018-06-04 · in Ruby 2.6.0-preview2 released with JIT -
Here's the current state: https://github.com/lampepfl/dotty/pull/4229
comment by modersky · 2018-04-20 · in Towards Scala 3 -
I was really hoping they implement python-ish syntax https://github.com/lampepfl/dotty/issues/2491 But no, "Implicit Function Types" instead. Ok.
comment by viach · 2018-04-20 · in Towards Scala 3 -
…[2], macros EOL [3]) Just upgrading existing Scala projects will keep most Scala devs employed. [0] https://github.com/lampepfl/dotty [1] https://github.com/twitter/rsc [2] https://news.ycombinator.com/item?id=16461022 [3]…
comment by AheadOfTime295 · 2018-03-29 · in Scala Native 0.3.7 -
And Scala (via Dotty) is being re-worked to have sum types with a cleaner "enum" syntax soon too: https://github.com/lampepfl/dotty/issues/1970 (merged)
comment by sixbrx · 2018-02-16 · in Sum Types Are Coming (2015) -
…be tried directly in the collections library. [1] https://github.com/sjrd/scala-unboxed-option [2] https://github.com/lampepfl/dotty/pull/3181
comment by sjrd · 2018-01-12 · in Kotlin: The Problem with null -
…that an approach with the above problems that gets worked around anyway is not the solution. [1]: https://github.com/lampepfl/dotty/pull/2060 [2]: Indeed even in this HN thread there are people criticising implicit parameters in a bunch of…
comment by tekacs · 2017-11-11 · in Plain Functional Programming by Martin Odersky [video] -
…to take a look at /compiler/src/dotty/tools/dotc to whet my appetite from time to time [2]. [1] https://github.com/lampepfl/dotty [2] https://github.com/lampepfl/dotty/tree/master/compiler/src/d...
comment by idyllei · 2017-07-12 · in Dotty 0.2.0-RC1 -
…with 2.11 but not 2.12. The Scala 2.12 compiler will soon compile the Scala 3 compiler [1] [1] https://github.com/lampepfl/dotty/pull/2827
comment by AheadOfTime295 · 2017-07-12 · in Dotty 0.2.0-RC1 -
…is already under way with the new compiler, Dotty[1], which will replace present day Scala. [1] https://github.com/lampepfl/dotty
comment by virtualwhys · 2017-06-16 · in Things that Idris improves things over Haskell -
…progressing apace, folding the community in quite a bit ( https://contributors.scala-lang.org and https://github.com/lampepfl/dotty/issues )
comment by tekacs · 2017-05-27 · in Scaling Scala -
…things in this post are to 'be more like Python', which makes sense given Haoyi is also behind https://github.com/lampepfl/dotty/issues/2491 and https://github.com/lihaoyi/Scalite and (say) https://github.com/lihaoyi/macropy . [1]:…
comment by tekacs · 2017-05-27 · in Warts of Scala -
…dotty that looks almost exactly like that: enum Tree[T] { case Branch(t: Tree[T]) case Leaf(t: T) } https://github.com/lampepfl/dotty/issues/1970
comment by rbonvall · 2017-05-21 · in Scala: Consider syntax with significant indentation -
…o // you guessed it: optional Edit : somebody already brought this up in the comments on Github: https://github.com/lampepfl/dotty/issues/2491#issuecomment-3...
comment by akkartik · 2017-05-21 · in Scala: Consider syntax with significant indentation -
…replacing the standard library [2], etc. [1] Disallow implicit conversions between unrelated types https://github.com/lampepfl/dotty/pull/2060 [2] Remove parallel collections from scala-library https://github.com/scala/scala/pull/5603
comment by AheadOfTime295 · 2017-05-21 · in Scala: Consider syntax with significant indentation -
…older Scala 2.11 front-end. [1] http://www.scala-lang.org/blog/2016/02/03/essence-of-scala.h... [2] https://github.com/lampepfl/dotty
comment by densh · 2017-03-14 · in Scala Native v0.1 -
…promising, but handling all of Dotty can be challenging. Latest from Dotty: implicit function types https://github.com/lampepfl/dotty/pull/1775 http://www.scala-lang.org/blog/2016/12/07/implicit-function-...
comment by AheadOfTime295 · 2016-12-28 · in Kentucky Mule – limits of Scala typechecking speed -
…adacore.com/adaanswers/about/ada-comparison-chart http://www.adacore.com/gnatpro/toolsuite/utilities/ https://github.com/lampepfl/dotty http://www.scalatest.org/getting_started_with_feature_spec http://etorreborre.github.io/specs2/…
comment by based2 · 2016-08-27 · in Ask HN: Is there a programming language with embedded testing support? -
…compared to Swift - OOP+FP, higher kinds, typeclasses, implicits, (hygienic) macros etc. dotty( https://github.com/lampepfl/dotty ) will have union- and intersection types with other useful stuff. There is a JS backend(…
comment by idobai · 2016-06-23 · in Close Encounters of the Java Memory Model Kind -
…Dotty [1] project and it's Linker [2] subprojects. It's not a direct goal of Scala Native. [1] https://github.com/lampepfl/dotty [2] https://github.com/dotty-linker
comment by densh · 2016-05-11 · in Scala Native -
If you're interested in Dotty, other talks with more information are listed at https://github.com/lampepfl/dotty/wiki/Getting-Started#talks...
comment by gmartres · 2016-03-04 · in Scala on LLVM -
…[0] Why should Scala be dead for now? I agree its a Flying Spaghetti Monster, but so is C++. [0] https://github.com/lampepfl/dotty
comment by MrBuddyCasino · 2016-02-23 · in Typesafe Changes Name to Lightbend -
…phases together to work in one traversal. Check it out - a list of all the phases in the source! https://github.com/lampepfl/dotty/blob/master/src/dotty/tool...
comment by bonobo3000 · 2015-12-24 · in Want to Write a Compiler? Read These Two Papers (2008) -
…collections are broken and incredibly complex, and theres a proposal for new implementations here: https://github.com/lampepfl/dotty/issues/818 I think the talk was pretty influential, but atleast the community is responding. I don't think…
comment by bonobo3000 · 2015-11-13 · in Five years of Scala and counting: debunking some myths -
…aren't going anywhere, thankfully, how else could Spark et al offer such wonderful DSLs ;-) [1] https://github.com/lampepfl/dotty [2] http://www.cs.uwm.edu/%7Eboyland/fool2012/papers/fool2012_su... [3] http://arxiv.org/pdf/1510.05216v1
comment by virtualwhys · 2015-11-13 · in Five years of Scala and counting: debunking some myths -
…features. Their readme[0] and initial announcement[1] are as much details as I know of. [0] https://github.com/lampepfl/dotty [1] https://groups.google.com/forum/m/#!msg/scala-internals/6HL6...
comment by riffraff · 2015-10-31 · in The Dotty experimental compiler for Scala now bootstraps -
…kind of type theory (Dependent Object Types or DOT). They just got their compiler to self-host, see https://github.com/lampepfl/dotty and http://www.scala-lang.org/blog/2015/10/23/dotty-compiler-boo...
comment by jedharris · 2015-10-30 · in Type safety for core Scala – based on Definitional Interpreters -
…fundamental level. This is the Dotty project [1], which will influence development of Scala 3. [1]: https://github.com/lampepfl/dotty
comment by DCKing · 2014-07-28 · in Scala: Next Steps -
…fundamental changes. Experimentation is already underway: it's called the Dotty compiler [1]. [1]: https://github.com/lampepfl/dotty
comment by DCKing · 2014-06-30 · in Scala 2.12 Roadmap -
Dotty is another option, a potential successor to Scala: https://github.com/lampepfl/dotty
comment by saryant · 2014-06-10 · in Types Are The Truth -
…Github issue talking about the migration tool[1]. It's going to happen, just a matter of when. [1] https://github.com/lampepfl/dotty/issues/129
comment by virtualwhys · 2014-06-09 · in A Year of Functional Programming -
…in the room, hopefully won't crush alternate JVM language adoption, diversity's a good thing. [1] https://github.com/lampepfl/dotty
comment by virtualwhys · 2014-05-21 · in Java tools and technologieslandscape for 2014