Здравствуйте, FDSC, Вы писали:
FDS>Ещё пару вопросов насчёт выбора языка программирования.
FDS>Есть ли язык программирования, в котором есть следующие фичи:
Нет такого языка программирования и не будет в обозримом будущем.
А вот анализатор исходного кода, который бы все это отлавливал, можно сделать. Да уже и сделано много таких анализаторов —
https://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis
Что характерно, юольше всего анализаторв следано для C/C++ — вероятно, потому, что они там нужнее. На втором месте Java, полагаю потому, что легче делать благодаря четкой спецификации.
Так что возьмите любой язык, который вам симпатичен, и проверьте анализаторы для него — может, они уже умеют делать все, что вам нужно. А если нет, то попытайтесь доработать.