Ответ на »сообщение 2685« (Руслан Богатырев)
___________________________
Да процесс и так упорядочен - существуют VСS (Subversion), закрытые форумы для обсуждения и т.п.
А это сторонний энтузиаст опубликовал... :-)

Ответ на »сообщение 2684« (Илья Ермаков)
___________________________

Смотрел на дистрибутив - там бардак и неразбериха...
Выпускать вот так на ляп-тяп да еще называть это 2.0-ем совершенно некорректно со стороны авторов. Получается дискредитация марки, которая известна надежностью и продуманностью.

А можно ли этот процесс как-то упорядочить? Например, выпускать бета-версию силами ядра развития BlackBox, а доводить до нормального дистрибутива более расширенной командой с выдерживанием определенного уровня требований (с грамотной локализацией, с учетом i18n и L10n)?

Ответ на »сообщение 2683« (AVC)
___________________________
Смотрел на дистрибутив - там бардак и неразбериха...
Выпускать вот так на ляп-тяп да еще называть это 2.0-ем совершенно некорректно со стороны авторов. Получается дискредитация марки, которая известна надежностью и продуманностью.

В BlackBox Mailing List появилось интересное сообщение Marco Ciot о сделанных доработках к ББ, которые он даже назвает BB 2.0 beta 0.0.
Насколько я понимаю, это плод длительного улучшения BB 1.5, в основном усилиями Марко Киота и Александра Ильина.
Приведу сообщение целиком, возможно, оно вас заинтересует.

0) Hi everybody

1) I am a dare devil.

2) "BB 2.0 beta 0.0" can be downloaded now from http://ciot.org/0BB.zip

3) The shortcut supplied in the zip-Archive has to be adapted to your
environment, before using BB 2.0:

It comes as
"C:\0BB\20inc\BB2.exe  /w C:\0BB\ProjectXyzMC  /r C:\0BB\ProjectXyz  /w
C:\0BB\ClientMC
  /q C:\0BB\PersMC  /q C:\0BB\20incMC  /r C:\0BB\20inc  /r C:\BlackBox"

If you unzip it to the same location as I have it (C:\BB) you will only need
to modify the last directory entry: "C:\BlackBox". It has to point to any
BlackBox 1.5 Directory.

4) When successfully started BB 2.0 you can see a long Main Window Title.

5) Check out menus
File -> File Browser
Dev -> Reference Graph
Help -> About BlackBox 2.0
and the PopupMenu for Source, Interface and Documentation for non qualified
(Module.Ident) identifiers also!

6) You must be a dare devil if you want to try it out, because all further
information will come only on demand...

66) Contribute!

666) Beware! The compiler was modified!!! ...
Marco Ciot

--- BlackBox
--- send subject HELP or UNSUBSCRIBE to blackbox@oberon.ch

Ответ на »сообщение 2681« (Руслан Богатырев)
___________________________
Спасибо, изучаю!

Ответ на »сообщение 2679« (Илья Ермаков)
___________________________

ASM Юрия Гуревича -- достаточно известный формализм. Вот ссылка на персональную страницу Гуревича в Microsoft Research: http://research.microsoft.com/~gurevich/

(Там вверху странички с его статьями можно переключаться между библиографическими страницами). Гуревич регулярно приезжает в Москву на Microsoft Academic Days. Видел его в 2003 г. Был он, по-моему, и в 2005 г.

Есть страничка в МГУ: http://www.math.msu.su/~mcss/2005/rus/lect.htm

---

Что касается языка RUSLAN, то в Интернете текста не видел. Можно списаться с его автором -- проф. Александром Васильевичем Замулиным. Он работает в Институте систем информатики им. Ершова в Новосибирске. Вот ссылка на персональную страницу: http://www.iis.nsk.su/structure/personpage.asp?PersonID=34&lang=eng
(для русского надо =eng заменить на =rus). Доступ к сайту бывает очень медленный.

Ответ на »сообщение 2677« (Geniepro)
___________________________

Школа Кернигана-Ричи

Школа Кернигана? А что сделал Брайан Керниган, кроме беллетристической деятельности? Ах, да! Ratfor, AWK и AMPL.

Вообще-то "школа" подразумевает некие устои, некие традиции и некую преемственность. Из вышеперечисленного "Школа Милнера - Школа Маккарти", пожалуй, имеет право на такое название. Школы образуются, как правило, там, где носители знаний и технологий могут лично передавать их своим ученикам.

В исследовательских центрах корпораций (AT&T Bell Labs, Xerox PARC) это делать затруднительно, в отличие от университетских центров (ETH Zurich, University of Cambridge, MIT, Stanford). Хотя Xerox PARC -- это уникальное явление. Правда, роль Алана Кея в общем спектре блестящих разработок PARC относительно невелика.

Но Ваша мысль вполне стОящая, разве что такие школы противопоставлять уже вряд ли стоит. Можно исходить из того, что школы программирования формируют более объемлющее понятие -- культуру программирования.

Ответ на »сообщение 2673« (Руслан Богатырев)
___________________________
Руслан, я тут покопался по ссылкам о верификации - в "Specification of an Oberon Compiler..." Замулина. Скажите пожалуйста, у Вас случайно нет под рукой ссылок на материалы по "typed Gurevich machine" & "specification language Ruslan"?

По поводу деления на "американскую" и "европейскую" - не понимаю возмущения многих таким делением. Национальных наук (т.е. знаний) нет, но есть научные школы различных культур, цивилизаций (т.е. стиль мышления, традиции, подходы, мотивация - да что угодно), и с этим не поспоришь. Никто же не говорит об одностороннем видении вопроса, но выделить какой-то ключевой вектор развития для тех или иных научных школ полезно. Даже если они и приходят к похожим результатам, то весьма различными путями, а, на мой взгляд, изучение пути гораздо важнее изучения результатов. Поэтому, я думаю, полезно ставить вопрос, как это сделал Руслан, об американском и европейском путях в информатике.

Ответ на »сообщение 2677« (Geniepro)
___________________________
Дык человеческая натура такова что сразу ищется обобщение. И если обобщить до рамок государства невозможно, то стараются удержаться хотя бы в рамках континента :))
На самом деле так называемое "европейское програмирование" имеет четко выраженные точечные очаги, центры, каждый из которых может весьма значительно отличаться по своим подходам.
Сравните например шотландский Эдинбург с его инновациями в области ФП (ML) и швейцарский Цюрих - штаб квартира Вирта.
И все это преподносится пол одним колпаком "европейская школа" :))
В данном случае конечно все что не вписывается разработки швейцарцев попросту игнорируется, замалчивается.
И далее услиенными ударными темпами создается "классовая идеология".

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

Господа, вам пора бы понять, что большевизм, идеология "обьединения против" в наше время не работает.
И если хотите продвигать и развивать оберон, то нашлепывать на него ярлыки "европейский" или там "советский" - больше вреда чем пользы.

Возвращаясь снова к школам программирования...

Наверное, правильнее говорить не Американская Школа - Европейская Школа, а, например, Школа Вирта - Школа Кернигана-Ричи, Школа Милнера - Школа Маккарти, Школа Алана Кея - Школа Алена Колмероэ...