OberonCore

См. https://www.computer-museum.ru/books/SORUCOM_2017_1.pdf
Стр. 243

LKom, большое спасибо

К сожалению, этот адрес недействительный. Видимо, устарел.

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

В крайнем случае, можете обратиться к нему в комментарии к его блогу

Спасибо, коллега budden любезно сообщил мне правильный адрес.

Я послал Алексею Недоре учебное пособие по языку ДРАКОН для ВПО и СПО
которое вскоре выйдет в свет в издательстве Юрайт.
Вот ответ Недори
Если кого-либо интересует эта книга, моя рукопись PDF здесь https://drakon.su/_media/24_zhizneritm20.pdf

А! ну вот. Не подвела меня чуйка. Зря извинялся.

По электронному адресу вышел на одну из последних публикаций, где некоторые идеи Алексея про новый язык суммированы:
https://ispranproceedings.elpub.ru/jour ... d/1215/986

Почитайте по ссылке ниже от Ивана статью.
Нет там никаких "жертв типизации".
Я-то читал это уже пару месяцев как.

Пожертвовано типизацией в ВИРе, как специфическом прототипе среды склейки пользовательских интерфейсов.

Текущие-то разработки у него, естественно, с типизацией.

На этапе компиляции не проверяется стыковка типов между компонентами. Я думаю, что это имел в виду Comdiv. Всё время надо тестами проверять, не произошло ли где-то в архитектуре рассогласование типов в сообщениях и т.п. Это то, чего удалось избежать в КП, так как между модулями все типы на этапе компиляции сверяются.

Я начал следить за творчеством Алексея Недори не с последней конференции по Оберону.
Не надо путать то, что сделано, с тем, что рассматривается к созданию, кстати, тоже спорным, что отмечается и автором.

Ну, это статья на конференцию раньше дня Оберона.
И в ней нет динамики типов.

Позже, 5-6 декабря. Я же давал ссылку https://forum.oberoncore.ru/viewtopic.php?f=6&t=6524.
Но статья это - история про ООП.
А выступление - история про сборочное программирование.

Обе истории равно интересны, и для нас, для дома Оберона. Но что там реально получилось со сборочным программированием и насколько это лучше, чем модули и паттерны dir/factory в BlackBox, остается только гадать ...

Статья из "Труды ИСП РАН, том 31, вып. 5, 2019 г. "
Всего выпусков за год - 6.
В списке литературы ссылки на ресурсы интернета даны с пометкой "accessed 09.10.2019"
Так что не декабрь.

Конференция прошла 5-6 декабря.

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

Если я правильно понимаю, это что-то вроде partial types из Модулы-3 и C# ( тоже позаимстовано из Модулы-3 ).
Когда объект разбивается на самодостаточные части ( интерфейс + реализация ) и при компиляции собирается в единый тип ( возмодна вариативность ).
Просто в ВИРе это еще и визуальная разработка, что несколько ограничивает применимость.
И тут я вспомнил про Ultimate++

Вроде, доступно
http://vir.synergetic-lab.ru/

Много шума из ничего.

Будем-те аккуратны: в Обероне.