Например, trait Root trait Node extends Root trait Leaf extends Root type RootId

Question

Например, trait Root trait Node extends Root trait Leaf extends Root type RootId

= Int @@ Root
type NodeId = Int @@ Node
type LeafId = Int @@ Leaf

def someF(k: RootId)
попытка вызвать с инстансом, который был тагнут, как NodeId предсказуемо проваливается. А как, чтобы не проваливалась?

#programming #russian #scala

0

15.11.2017

1 ответов

15 просмотров

Mikhail S · Accepted Answer

Mikhail S

ты же не можешь скормить Leaf туда, где требуется Node ) Но было бы можно если бы Leaf extends Node. С тегами тоже можно через OverTagged

0

15.11.2017

169 похожих чатов

Например, trait Root trait Node extends Root trait Leaf extends Root type RootId

1 ответов

Похожие вопросы