Popularity
9.6
Declining
Activity
9.9
Stable
3,983
236
612

Description

Dotty is a platform to try out new language concepts and compiler technologies for Scala. The focus is mainly on simplification. We remove extraneous syntax (e.g. no XML literals), and try to boil down Scala's types into a smaller set of more fundamental constructors. The theory behind these constructors is researched in DOT, a calculus for dependent object types.

Programming language: Scala
Tags: Compiler     Tools     Simplification    
Latest version: v0.25.0-RC2

dotty alternatives and similar packages

Based on the "Tools" category

Do you think we are missing an alternative of dotty or a related project?

Add another 'Tools' Package

README

Dotty

Dotty CI Join the chat at https://gitter.im/lampepfl/dotty

Try it out

To try it in your project see also the Getting Started User Guide.

Code of Conduct

Dotty uses the Scala Code of Conduct for all communication and discussion. This includes both GitHub, Gitter chat and other more direct lines of communication such as email.

How to Contribute

License

Dotty is licensed under the Apache License Version 2.0


*Note that all licence references and agreements mentioned in the dotty README section above are relevant to that project's source code only.