сверхпозднее связывание — передача сообщения, только в момент получения можно сказать, какой конкретно объект его получит, и сам объект отвечает за то, как он его обработает (например пул воркеров обрабатывает поток сообщений)

развесистая система типов — система типизации по образцу Haskel или Scala

кто о чем, а у меня прогрессирующий IoT головного мозга: можно ли создать языковую систему, которую можно использовать для программирования распределенного компьютера в целом, в настолько неконтролируемой среде?
десятки независимых вендоров, сотни классов устройств, и единственная цель выхода каждой минорной версии прошивки в том чтобы быть несовместимой со всеми предыдущими, и любыми существующими протоколами (чтобы то, что спер сосед за стенкой соседнего цеха, перестало работать с единственным сервисом вендора)