Без заголовка

То есть ты про эмуляцию multiple dispatch в Scala? Это во многих языках есть, а хоть и в Си: http://en.wikipedia.org/wiki/Multiple_dispatch (но как я понимаю, в Scala более прямые методы реализации). Я просто не понимаю, что ты хочешь сказать -- хотя твои намёки на файл-как-базу-данных и работу с типизацией данных в нём через систему типов языка я воспринимаю, но по-прежнему не понимаю, что именно ты говоришь, на какой вопрос отвечаешь.