Здравствуйте, little_alex, Вы писали:

_>Вообще-то такая фукциональность доступна в виде библиотек. Да и в коммерческих реализициях есть подобная фунциональность.

Эти библиотеки должны быть по сложности равноценны компилятору. И это при том, что комапиляторы Лиспа сами не обеспечивают даже простого вывода типов. В общем, это больше похоже на сказку.

_>Я не утверждал, что Lisp лучше или хуже Нэмерле, но доступ к семантической информации в Lisp точно есть.

Да она сама в Лиспе под большим вопросом. Язык то по сути динамически типизированный. Ну, как ты сможешь определить что некий парамерт это получает INT если в него передано сложное выражение?