Как использовать новый синтаксис SCALA переписать «TowersOfHanoi»

Question

код приходит от https://gist.github.com/jrudolph/66925:

object TowersOfHanoi { 
    import scala.reflect.Manifest 

    def simpleName(m:Manifest[_]):String = { 
    val name = m.toString 
    name.substring(name.lastIndexOf('$')+1) 
    } 

    trait Nat 
    final class _0 extends Nat 
    final class Succ[Pre<:Nat] extends Nat 

    type _1 = Succ[_0] 
    type _2 = Succ[_1] 
    type _3 = Succ[_2] 
    type _4 = Succ[_3] 

    case class Move[N<:Nat,A,B,C]() 

    implicit def move0[A,B,C](implicit a:Manifest[A],b:Manifest[B]):Move[_0,A,B,C] = { 
     System.out.println("Move from "+simpleName(a)+" to "+simpleName(b));null 
    } 

    implicit def moveN[P<:Nat,A,B,C](implicit m1:Move[P,A,C,B],m2:Move[_0,A,B,C],m3:Move[P,C,B,A]) 
    :Move[Succ[P],A,B,C] = null 

    def run[N<:Nat,A,B,C](implicit m:Move[N,A,B,C]) = null 

    case class Left() 
    case class Center() 
    case class Right() 

    def main(args:Array[String]){ 
    run[_2,Left,Right,Center] 
    } 
} 

Он использует старый синтаксис SCALA, и некоторые из них, вероятно, не рекомендуется (например ClassManifest), а некоторые новая функция (например, sealed)

Как улучшить его с помощью новой новой скалы?

Answer 1

ИМХО, только 2 вещи, которые вы можете улучшить, чтобы заменить все код вхождения Manifest в ClassTag и изменения trait Nat к sealed trait Nat.