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

FDS>Ещё пару вопросов насчёт выбора языка программирования.

FDS>Есть ли язык программирования, в котором есть следующие фичи:

Нет такого языка программирования и не будет в обозримом будущем.
А вот анализатор исходного кода, который бы все это отлавливал, можно сделать. Да уже и сделано много таких анализаторов — https://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis

Что характерно, юольше всего анализаторв следано для C/C++ — вероятно, потому, что они там нужнее. На втором месте Java, полагаю потому, что легче делать благодаря четкой спецификации.

Так что возьмите любой язык, который вам симпатичен, и проверьте анализаторы для него — может, они уже умеют делать все, что вам нужно. А если нет, то попытайтесь доработать.