The Dotty compiler for Scala bootstraps | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		The Dotty compiler for Scala bootstraps (scala-lang.org)
		3 points by jedharris on Oct 30, 2015 \| hide \| past \| favorite \| 1 comment

jedharris on Oct 30, 2015 [–]

Called "Dotty" because it is based on Dependent Object Theory (DOT). DOT has also just been given a big boost because researchers have found a way to prove type soundness (long term open problem). See http://lambda-the-ultimate.org/node/5270

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact