やることとか前提 Dotty Documentation の Reference 項の内容を頭から順番にやっていきます 対象のdottyバージョンは dotty-0.11.0-RC1 です 対象ドキュメントは、2018/12/03 時点のウェブサイトのものです。 が、2018/10 中旬に一度作ったのモノに追記して作っているので、古くなっている部分があるかもしれません サンプルコードは、ドキュメントそのままのモノと、独自に書いたモノが混ざっています コンパイル・実行可能なコードは、githubのリポジトリから取得可能です この記事を書いているタイミングのgit hashは673ed88640bfです New Types Literal Singleton Types 何故かドキュメントへのリンクが目次に見当たりませんでした。 リテラルを、型として取り扱う事ができます。 object Lit