На самом деле есть. Можно посмотреть исторические документы LtU на тему того, как акторы хотели реализовать в Scheme, потом поняли, что акторы уже там есть :)
Erlang еще пример красивого динамического ЯП. Наряду с Лиспом и Смолтоком. Потому что только по PHP или тому же Питону некоторые делают неверные выводы о динамических ЯП в целом :)
не надо изучать ООП по "ООП языкам", это кривой и косой "ООП", прибитый гвоздями, да, но потом с него надо переучиваться, лучше сразу изучать по Кею, собственно изобретателю ООП https://habr.com/ru/company/hexlet/blog/303754/ например