Какой ты ... странный, так скажем. Придумал про тебя анекдот. Живёт-поживает человек в тайге, совем один. От нечего делать придумал колесо. Шляясь по тайге с колесом однажды таки накнулся на город и увидел машины. - От блин, не успел придумать колесо, как у меня уже украли машину! - расстроился бедолажка. Не понятно на каком основании экспроприируешь концепцию макроса в пользу лиспа просто по названию сущности, как и технические особенности реализаций интерпретируемых ЯП.Макросы бывывают разными и не все они МСЕ. Растовые макросы скорее не являются MCE, но какой-нибудь c прероцессор или bash - вполне. Также макросы в современных языках это отдельные от основного языка языки со строго разделяемыми стадиями работы. Макросы в ~ это костыли на стадии компиляции, в то время как в лиспе макросы и MCE это центральная регулярная рантаймовая часть ЯП. Если говорим о заимствовании идей, то это только вариант использования как в lisp.
Возможность замены кода ф-ии в питоне не является MCE, это естественная особенность такого динамического интерпретируемого ЯП. Как и возможность посмотреть байткод - он есть сам по себе, потому что ЯП интерпретируемый, и это только интроспекция для технических нужд. Можно попробовать навернуть видимость MCE через кодогенерацию + eval или генерацию прямо байткода, но это не MCE в чистом виде и за это больно бьют по морде. Так питон не используется не смотря на техническую возможность.
Немного обобщу на счёт всего динамического метапрограммирования - это зло и оно не нужно в ЯП общего назначения.
> Доказательства есть, тому как используется этот язык в компаниях?
Ты же сам только что кинул ссылку на саксес сториез. Не осиливаешь прочитать что там? Там, если что, есть ещё ссылки.
> Можно посмотреть на использование guile в guix или elisp в emacs.
Можно, и что? Это как раз пример полутора калек. Ты же наверняка обучен грамоте, умеешь считать и можешь посмотреть в чиселках сколько твоих всех этих guile, кложурей, лиспа, хаскелей ... в килограммах по сравнению с остальными ЯП. Что тут ещё может быть не ясно? Это же, кстати, относится к julia и nim - бумажные ЯП для пары калек в вакууме. Функциональщине уже много лет и за всё время она нигде не взлетела за исключением DSL-ей и точечных поделий персон из академической среды, которые в общем то мало кому ещё нужны.