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

EP>В C++, кстати, подобная проблема проявляется при использовании шаблонов функций, решается схожим образом — в основном комментариями/документацией/именами параметров функции/именами шаблонных параметров. Грядущие концепции несомненно улучшат ситуацию.

Да, ситуация похожа, это верно. Хотя есть и кардинальное отличие – проблема вылезет на этапе компиляции, а не "когда нибудь потом", что иногда сильно напрягает.

EP>По поводу "все помнят параметры у API наизусть" — важны ведь не только сами параметры, но ещё и pre/post-conditions — так что за исключением каких-то тривиальных случаев, описание придётся читать в любом случае.

Да, за прелести динамической типизации приходится платить