Доклад на Открытой конференции ИСП РАН:
«В рамках процесса совершенствования экосистемы разработки приложений для различных устройств Huawei компания работает над новым языком программирования. Принципиальной особенностью нового языка является поддержка компонентно-ориентированного программирования (COP), под которым мы понимаем возможность сборки (существенной части) программы из готовых компонентов.»
Посмотреть видео и презентацию: http://0x1.tv/20191205AD
Внимание: начиная с 15:00 начинаются сбои со звуком.
PS. Маленький кусочек работы над языком программирования…
Постоянная ссылка
После доклада не успел спросить: что думаете насчёт http://lucacardelli.name/TheoryOfObjects.html ? usebox для модулей, который Вы показывали мне здорово напомнил работы Карделли по формализации ООП.
Постоянная ссылка
Сейчас читаю «A theory of objects» — пока ничего сказать не могу.
Постоянная ссылка
Множество интерфейсов для одной и той же структуры данных напоминают возможности языка модулей ML.
Рассматривали ли вы языки ML-семейства — SML, OCaml?
Постоянная ссылка
Мы рассматриваем широкий набор языков, в основном те, с которыми мы собираемся конкурировать: Java, Kotlin, C#, Go, Swift, Dart, Lua, JS. Смотрим и на ML’s, на Rust и на Jai. Но это не значит, что мы берем какой-то язык за основу.
Мы запускаем широкое исследование, в котором задействованы университетские кадры из нескольких университетов, чтобы построить набор бенчмарков для количественного и качественного сравнения языков. Это все будет открыто, когда появятся первые результаты.
Постоянная ссылка
Так же в телеграм-чате просили передать Вам вопрос, изучали ли Вы работу Луки Карделли «Теория объектов»
http://lucacardelli.name/TheoryOfObjects.html