Popularity
9.6
Growing
Activity
9.9
Stable
3,484
235
518

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    

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