The approach looks 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-...
In Kentucky Mule – limits of Scala typechecking speedscala
scala3
Scala2014–2026
scala / scala3
scala3
The Scala 3 compiler, also known as Dotty.
48Distinct people
76Mentions
0Explicit recommenders
6.3KGitHub stars
What to know before exploring
What it is
The Scala 3 compiler, also known as Dotty.
GitHub
Where it is used
No documented product use was verified in the last source check.
What people are saying
No recommendation phrase was found in the indexed comments.
No classified warning is attached to this page. Read the discussions before treating silence as approval.
Also in these discussions
- scala/scala · linked in 2 of the same discussions
Mentioned in the same Hacker News threads. That is not proof they are substitutes.
This week on Hacker News
Nov 8–Nov 15 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/15/2026, 4:01:40 AM UTC.
No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.
Mentions over time
HN mentions by year76 dated mentions
Observed mentions: 2014-02-19 09:03:06 UTC to 2026-09-03 14:19:53 UTC.
* An incomplete calendar period is marked with an outlined bar. Its count is not directly comparable with a full period.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| 2014 | 2014-01-01 00:00:00 UTC | 2015-01-01 00:00:00 UTC | 6 | 1 | 5 |
| 2015 | 2015-01-01 00:00:00 UTC | 2016-01-01 00:00:00 UTC | 8 | 3 | 5 |
| 2016 | 2016-01-01 00:00:00 UTC | 2017-01-01 00:00:00 UTC | 8 | 2 | 6 |
| 2017 | 2017-01-01 00:00:00 UTC | 2018-01-01 00:00:00 UTC | 16 | 6 | 10 |
| 2018 | 2018-01-01 00:00:00 UTC | 2019-01-01 00:00:00 UTC | 15 | 6 | 9 |
| 2019 | 2019-01-01 00:00:00 UTC | 2020-01-01 00:00:00 UTC | 5 | 2 | 3 |
| 2020 | 2020-01-01 00:00:00 UTC | 2021-01-01 00:00:00 UTC | 4 | 1 | 3 |
| 2021 | 2021-01-01 00:00:00 UTC | 2022-01-01 00:00:00 UTC | 8 | 4 | 4 |
| 2022 | 2022-01-01 00:00:00 UTC | 2023-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2023 | 2023-01-01 00:00:00 UTC | 2024-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2024 | 2024-01-01 00:00:00 UTC | 2025-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2025 | 2025-01-01 00:00:00 UTC | 2026-01-01 00:00:00 UTC | 3 | 0 | 3 |
| 2026 (partial) | 2026-01-01 00:00:00 UTC | 2027-01-01 00:00:00 UTC | 2 | 1 | 1 |
From the project README
An excerpt from the repository, fetched Nov 13, 2026.
Read the project’s introduction
Scala 3
This is the home of the Scala 3 standard library, compiler, and language spec.
More documentation here.
Building a Local Distribution
sbt dist/Universal/packageBin
Find the newly-built distributions in dist/target/
Code of Conduct
Scala 3 uses the Scala Code of Conduct
for all communication and discussion. This includes both GitHub, Discord and
other more direct lines of communication such as email.
How to Contribute
Contributing guide
Issues where help is wanted
Policy regarding the use of LLM-based tools
License
Scala 3 is licensed under the Apache License Version 2.0
Read the full README on GitHubWhat Hacker News says
8 sourcesScala 3 on GitHub: The Fourth Anniversary (2016)
4 points · Open discussionhttps://en.wikipedia.org/wiki/Design_by_contract
https://coq.inria.fr/about-coq
http://www.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/
http://www.gebish.org/
http://spockframework.github.io/spock/docs/1.1-rc-2/introduc...
In Ask HN: Is there a programming language with embedded testing support?Scala 3 (aka Dotty) type-safety not implied by the DOT calculus, after all
2 points · Open discussion> No garbage collection, so no GC performance hiccups.
Swift has ARC(https://en.wikipedia.org/wiki/Automatic_Reference_Counting) which is a GC strategy. And I don't think it can compete with the performance of the JVM's G1 (currently).
> I wonder whether Java will get displaced by Swift on the server at some point. Anyone want to place bets?
I'd bet on Scala(http://scala-lang.org/) which has far more benefits 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(https://www.scala-js.org/) and there'll be an LLVM(https://github.com/scala-native/scala-native) backend too.
In Close Encounters of the Java Memory Model KindThat's a very interesting aspect that's also being explored in our lab under 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
In Scala NativeIf you're interested in Dotty, other talks with more information are listed at https://github.com/lampepfl/dotty/wiki/Getting-Started#talks...
In Scala on LLVM"Dotty is a platform to try out new language concepts and compiler technologies for Scala." [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
In Typesafe Changes Name to Lightbend