Сразу оговорюсь, что я не программист.
Сейчас, как известно, множество языков программирования с различным синтаксисом и прочими нюансами. Если мы хотим использовать какую-то библиотеку, для неё надо писать биндинги для того языка программирования, откуда хотим её дёргать.
Чисто в теории можно ли создать язык программирования, который будет пригоден и для низкоуровневой работы (вместо языка C, например, для разработки ядра), и для написания прикладного ПО и скриптов?
Например, в языке может присутствовать как статическая, так и динамическая типизация. Вроде что-то подобное есть в, прости, Г-споди, C#, там есть тип dynamic
. В Qt есть класс QVariant
. Можно сделать оговорку, что, если хотим компилируемый бинарник, то пользуемся только статическими типами.
Реально ли это? Чисто в теории. На практике однозначно не получится, так как это будет не замена существующих языков, а ещё один язык.