Praktische Anwendungen eines dynamischen Typs in Scala

Question

Neben der Integration mit dynamischen Sprachen auf der JVM, was sind die anderen mächtigen Verwendungen einer Dynamic type in einer statisch typisierten Sprache wie Scala?

Answer 1

Ich denke, ein dynamischer Typ könnte verwendet werden, um einige der Funktionen in JRuby, Groovy oder anderen dynamischen JVM-Sprachen wie dynamisches Metaprogrammieren und method_missing zu implementieren.

Zum Beispiel Erstellen einer dynamischen Abfrage ähnlich Active Record in Rails, wo ein Methodenname mit Parametern in eine SQL-Abfrage im Hintergrund übersetzt wird. Dies verwendet die method_missing-Funktionalität in Ruby. So etwas wie diese (in der Theorie - habe nicht versucht, etwas Derartiges zu implementieren):

class Person(val id: Int) extends Dynamic { 
    def _select_(name: String) = { 
    val sql = "select " + name + " from Person where id = " id; 
    // run sql and return result 
    } 

    def _invoke_(name: String)(args: Any*) = { 
    val Pattern = "(findBy[a-zA-Z])".r 
    val sql = name match { 
     case Pattern(col) => "select * from Person where " + col + "='" args(0) + "'" 
     case ... 
    } 
    // run sql and return result 
    } 
} 

erlauben Nutzung wie dieser, wo Sie ‚Name‘ Methoden aufrufen können und ‚findByName‘, ohne sie explizit in der Klasse Person definiert ist, :

val person = new Person(1) 

// select name from Person where id = 1 
val name = person.name 

// select * from Person where name = 'Bob' 
val person2 = person.findByName("Bob") 

Wenn dynamisches metaprogramming hinzugefügt wurde, würde der dynamische Typ Methoden zu ermöglichen, benötigt Aufruf, die während der Laufzeit hinzugefügt wurden ..

Answer 2

Man könnte es auch für syntaktischen Zucker auf Karten verwenden:

class DynamicMap[K, V] extends Dynamic { 
    val self = scala.collection.mutable.Map[K, V]() 
    def _select_(key: String) = self.apply(key) 
    def _invoke_(key: String)(value: Any*) = 
    if (value.nonEmpty) self.update(key, value(0).asInstanceOf[V]) 
    else throw new IllegalArgumentException 
} 

val map = new DynamicMap[String, String]() 

map.foo("bar") // adds key "foo" with value "bar"  
map.foo   // returns "bar" 

Um ehrlich zu sein, dies erspart Ihnen nur ein paar Tastenanschläge aus:

val map = new Map[String, String]() 
map("foo") = "bar" 
map("foo") 

Answer 3

Odersky sagt die primäre Motivation war die Integration mit dynamischen Sprachen: http://groups.google.com/group/scala-language/msg/884e7f9a5351c549

[Bearbeiten] Martin weiter bestätigt diese here