Помимо интеграции с динамическими языками на JVM, каковы другие мощные возможности использования динамического типа в статически типизированном языке, таком как Scala?