Scalaの義母・ユニオンタイプDaysOfTheWeek例

公式Scalaの義母のチームは（https://d-d.me/talks/scalaworld2015/#/12）Scalaの義母・ユニオンタイプDaysOfTheWeek例

object DaysOfTheWeek { 
    object Mon 
    object Tue 
    object Wed 
    object Thu 
    object Fri 
    object Sat 
    object Sun 

    type Weekend = Sat.type | Sun.type 
    type Workweek = Mon.type | Tue.type | Wed.type | Thu.type | Fri.type 
    type All = Weekend | Workweek 
}

からこの例を示しました。 5fd7a95-毎晩」、これらのエラーでその例の結果：

Error:(13, 18) Singleton type DaysOfTheWeek.Sat.type is not allowed in a union type 
Error:(13, 29) Singleton type DaysOfTheWeek.Sun.type is not allowed in a union type 
Error:(14, 19) Singleton type DaysOfTheWeek.Mon.type is not allowed in a union type 
Error:(14, 30) Singleton type DaysOfTheWeek.Tue.type is not allowed in a union type 
Error:(14, 41) Singleton type DaysOfTheWeek.Wed.type is not allowed in a union type 
Error:(14, 52) Singleton type DaysOfTheWeek.Thu.type is not allowed in a union type 
Error:(14, 63) Singleton type DaysOfTheWeek.Fri.type is not allowed in a union type

が働いて、この公式の例を取得する方法はありますか？

出典

2017-03-24 clay

重い開発のもとではまだ高速に動くターゲットです。 *新しい*スナップショットの代わりに古い*スナップショットを使用すると、より多くの運が得られるかもしれません。あるいは放棄されたアイデアの一部であっても、まったく実装されていない可能性があります。 –

これらのトークスライドは、Dottyプロジェクトの現在のホームページ（dotty.epfl.ch）で注目されています。また、共用体型は実装されているものとしてリストされており、他の例も使用できます。 – clay

シングルトンタイプが（現在）ユニオンタイプでは許可されていないことが分かっている限り、https://github.com/lampepfl/dotty/issues/1551 – lutzh

私は、列挙型と更新義母となった遠いはまだ同じエラーを生成しますが、おそらくここで扱われます

enum class DaysOfTheWeek 
object DaysOfTheWeek { 
case Mon 
case Tue 
case Wed 
case Thu 
case Fri 
case Sat 
case Sun; 

    type Weekend = Sat.type | Sun.type; 
    type Workweek = Mon.type | Tue.type | Wed.type | Thu.type | Fri.type; 
    type All = Weekend.type | Workweek.type; 

}

です：https://github.com/lampepfl/dotty/issues/1551話は1歳半で、義母であることを

出典

2017-06-03 02:15:48

Scalaの義母・ユニオンタイプDaysOfTheWeek例

答えて

関連する問題