wadler

[juan_gandhi]

Practical Subtyping for Erlang

Comments

[dmytrish.livejournal.com]

Почему вы считаете рефлекшн «кривой козой»? Не говорит ли это наоборот, о невыразительности типовых систем этих языков?

Какой критерий «реальности» задач? Считается ли написание компилятора, операционной системы или драйвера реальной задачей?

[vit-r.livejournal.com]

Реальная задача приносит деньги. Компилятор или ось - это просто среда, в которой живут реальные задачи.

Выразительность системы типов тут не причём. Проблема в том, что ограничения, накладываемые ограниченными людьми, потом приходится с болью и слезами обходить. Не по тому, что они не выразительны, а потому, что они не правильны.