так что для отладки потребуется нода пожирнее

> significant memory overhead (up to 2x for Asan, up to 3x for Msan, up to 10x for Tsan)

ну не так плохо на самом деле

зависит от. минимальный оверхэд - это тупо под shadow memory. а это 1/8 от основной памяти

размеры red zone - настраиваются

с учетом того, что занято 99 процентов, да, нода пожирнее нужна, либо данные попроще для инструментированной сборки

лучше иметь 2x запас

это делает точно не ms, а ms research 🙂 ну и судьба будет как у сингулярити

я ж не спорю, это некоторые тут панику разводят. но если из линейных регионов что-то интересное получится, может и в какой практический язык приползет

согласен

Интересный вопрос. Смотря что понимать под "развесистой" системой типов. И "сверхпоздним" связыванием. Классы типов насколько позднее связывание обеспечивают например?

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

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

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

китайсо диктует рынок, а у них не то что не существует патентного права, а такое ощущение что физиологически заблокированы области мозга, отвечающие за понятия "интеллектуальная собственность" или "поддержка продукции", даже элементарно user manual не вытянешь на продукцию, чуть ли не под NDA и договор поставки
прошивки пишут так, чтобы только кое-как заработало и стало продаваться, слово "багфикс" вообще не способны понять

В плане системы типов для распределённых систем на сообщениях я бы, разумеется, смотрел в сторону Multiparty Session Types.

+

позднее связывание происходит во время работы программы, а классы типов же известны во время компиляции

Некоторые "поздним связыванием" называют виртуальные вызовы, которые формализуются и реализуются классами типов. Но Дмитрий уже пояснил, что он имел в виду под "сверхпоздним связыванием". А что Вы имели в виду я не понял.

ну вот в смоллтоке было позднее связывание -- прилетает объекту сообщение и объект думает, что с ним делать

Это любой if нужно поздним связыванием называть?

Вы уже все сообщения в чате прочитали, нет?

просмотрел, слишком много мусора, не относящегося к теме чата