Что такое «у» в бесформенном (скала)?

Я видел объект (вероятно, функцию) с именем «at», разбросанный по бесформенному источнику и в коде, который использует бесформенный. В частности, он используется в ответе наэтот другой ...

Любая причина, почему Scala не поддерживает явно зависимые типы?

Любая причина, почему Scala не поддерживает явно зависимые типы?

Существуют зависимые от пути типы, и я думаю, что в Scala можно выразить почти все особенности таких языков, как Epigram или Agda, но мне интересно, почему Scala не поддерживаетэто [http://en.wikipedia.org/wiki/Dependent_type]более явно, как это ...

Проверка утверждения о том, что что-то не должно компилироваться

Эта проблемаКогда я'я работаю с библиотеками, которые поддерживают программирование на уровне типов, я часто пишу комментарии, подобные следующим (изприм...

Проверка утверждения о том, что что-то не должно компилироваться

ПроблемаКогда я работаю с библиотеками, которые поддерживают программирование на уровне типов, я часто пишу комментарии, подобные следующим ...