Существуют типы, зависящие от пути, и я думаю, что можно выразить почти все функции таких языков, как Epigram или Agda, в Scala, но мне интересно, почему Scala не поддерживает это более явно, как это очень хорошо в других областях (скажем, DSL)?
Все, что мне не хватает, как "не нужно"?...
17 окт. 2012, в 13:18