OberonCore

Здравствуйте, дорогие участники форума. Года 2 назад я случайно наткнулся на упоминание о языке программирования Modula-3. И лишь недавно я решил поближе познакомиться с этим яыком. Впечатления самые, что ни на есть положительные.
Сегодня [13.02.2009] я создал блог, посвящённый Модуле-3. Адрес: http://modula3.blogspot.com Со временем он будет наполняться статьями. И, где-то в обозримом будущем, если ничего не помешает, планирую выложить в свободный доступ компилятор CM3 в стандартной комплектации для Win32. (На сайте разработчика имеется только base версия).
Хотелось бы услышать Ваши мнения об этом языке. И конечно же, все приглашаются на мой блог. Комментиарии могут оставлять все! [т.е. даже не зарегистрированные пользователи]

Только сейчас обнаружил, что можно скачать STD-пакет Модулы-3 здесь.
Надо отметить, что и с версией MIN можно без проблем собирать программы под консоль.

Интересный ресурс, спасибо!

Здорово, что кому-то это интересно! А я что-то к этому языку так прикипел! Теперь оторваться не могу!
А STD-сборочку всё же придётся самому делать. То, что лежит на сайте - это сборка под Cygwin, а надо MinGW. К тому же, работает она коряво.

Будет крайне любопытно посмотреть.

Что интересного Вы нашли в Модула-3? В ней есть что-то, чего Вам не хватает в Обероне?

Например дженерики.

Возможность полноценно выбирать между сборщиком мусора и его отсутствием (причем всё в рамках одного проекта).

Разнесение спецификации модуля с его реализацией (при том что спецификация первична ( ) а реализация вторична).

Наличие открытых развивающихся полноценных компиляторов под несколько платформ (*nix, windows).

PS. Да, забыл многопоточность.

Да, приятно, что они дают свежие компиляторы... А оконечники у них свои или стандартные?

Ещё интересно, как "выбирать с/без сборки мусора". В двух словах не расскажите, как? Если не сборка, то какой способ - просто ручной DISPOSE или нечто полуавтоматическое, типа Ады?

P.S. Сам бы посмотрел, но всё никак, не до того

имеется ввиду backend? (ибо frontend это таки тоже оконечник, только с другого конца )
CM3 вроде имеет как какой-то свой backend так и gcc-шный. Плюс есть и другие компиляторы.


В двух словах -- выбирается за счет типа ссылки:


Память освобождается посредством unsafe Dispose.


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

Но опять же, от Dispose никуда не деться в общем случае.


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

Ну, достаточно имя автора языка узнать - уже респект и интерес должен проклюнуться!

ЗЫ Хотя, после оберонов каким-то всё половинчато-компромиссным видится начинает, пмсм...

Какого именно автора? Вот списочек: Luca Cardelli, Jim Donahue, Mick Jordan, Bill Kalsow, Greg Nelson.

Какую-то книжку пролистывал месяца два назад... Луки Карделли. То ли по теории типов, то ли что-то около того... Не помню )

А, вот его страница: http://www.lucacardelli.name/
Да, как раз Type Systems работа.

Лука Карделли вапще мегагуру в области теории типов...

Да, именно эту работу и просматривал.

Слишком абстрактные штуки, имхо, just-for-fun. Не прикладная математика. Т.е. "прикладная", но в области такой же абстрактной информатики ИМХО.

Нашел интересное сравнение Модулы-3 с Адой:
http://www.cs.wichita.edu/~rodney/languages/Modula-Ada-comparison.txt

Поинтересовался насчет коммерческой тех. поддержки как Модулы-3 вообще, так и CM3 в частности. Оказалось что она возможна. Причем вплоть до формата 24x7.

Да, по ходу дела, качественная штука.

И отметим ещё раз, что Европа "Паскаль-культура"

... гуманизм...
общечеловеческие ценности...
культур-мультур...
бремя белого человека...
дранг нах остен...
и, в конце - опять - надписи на Рейхстаге... :о))))))))))))))))))))))))))))))))))))))))))))))))))

ЗЫ Навеяло чего-то...
ЗЫЗЫ Наверное всё тем же ядром FreeBSD и опусами МакКузика.... :о))))

ЗЫ ЗЫ ЗЫ Интересно, за год кто-нить Сафонова и Пентковского-таки "одолел", что бы опять цацками из-за бугра восхищаться?

"Эльбрус" "Эльбрусом" - это чудно
Но есть ощутимое отличие: у наших всё очень качественно, по высшему классу проектирования... Но не было потребности экономить, отсекать небольшие ядра, которые можно реализовывать "малой кровью"...
У Вирта же и подобных академических команд военного финансирования и госзаказа не было, и команды на полный рабочий тоже

Поэтому свои особенности и там, и там наблюдаются.

Сейчас для российских реалий полезно изучать что-то типа "Эльбрусов", а потом усекать это до самого-самого, откидывая "фантазии" и оставляя только то, что главное и что быстро может начать "летать".

И в итоге есть основания думать, что это будет лучше не только для конкретной ситуации, а вообще. Ограниченность ресурсов мобилизует "второй умотип"