Oberon space

Вирт в Oberon-07/11 (а возможно и раньше) запретил экспорт из модуля (даже в режиме read only) переменные не скалярный типов.

Отсюда возникает минимум два вопроса:

1) Зачем он это сделал? Чем переменные не скалярных типов хуже при read-only экспорте чем переменные скалярных типов? (мы тут всю голову сломали, но придумать вескую причину не смогли)
2) Что такое скалярный тип? В репорте про это нет ни слова. Есть предположение что это Basic Types + Pointer types (в противовес Structured types = Record types + Array types).

В Oberon-report'e этот момент не уточнен (и вообще никак не описан), поэтому предлагаю обсудить, уточнить и договориться.

Итак, ситуация следующая - модуль A экспортирует указатель на структурный тип A.R, но сам A.R не экспортирует. Может ли модуль B импортирующий A.R создать в куче переменную типа A.R?

Код:
MODULE A;
TYPE
 R = RECORD END;
 P* = POINTER TO R;
END A.

MODULE B;
IMPORT A;
VAR
 p : A.P;
BEGIN
 NEW(p)
END B.
Технически мы это можем без проблем. Но в некоторых реализациях такое вот может быть не возможно, кроме того, если такое разрешить, то по сути мы лишаемся возможности создавать opaque-типы простым способом. Кроме того возникает логическое противоречие - почему то локальную переменную мы завести не можем, а переменную через NEW уже можем.

Поэтому предлагаю следующее:
1) Если импортирован только указательный тип, то с указателем можно делать все что обычно, но нельзя NEW. То есть новых экземпляров типа R пользователь заводить не может нигде.

2) Если импортирован еще и сам структурный тип (record or array), то создавать экземпляры (через NEW или иначе) можно, а доступ есть к тем полям которые экспортированны (помечены звездочкой), можно КОПИРОВАТЬ экземпляры (statement ":="). При этом конечно возможна ситуация когда тип экспортирован, но ни одного поля не экпортированно. Увы :-)

Ну и наконец есть особый случай, который тоже неоднозначен, и про который в репорте нет ничего:
MODULE A;
TYPE
 P* = POINTER TO RECORD foo* : INTEGER END;
END A.

MODULE B;
IMPORT A;
VAR
 p : A.P;
BEGIN
 NEW(p); (* это можно? *)
 p.foo := 42 (* а это? *)
END B.
Экспортирован тип-указатель на анонимную запись, причем у этой записи есть экспортированные поля. Таким образом переменную типа этой самой записи пользователь создать не может. Но, очевидно, он может обратиться к полю. Но может ли он создать через NEW новый экземпляр таковой безымянной записи?

Предлагаю создание экземпляра через NEW, в этом случае, также запретить. Таким образом у нас получается возможность создавать типы переменные которых могут создаваться ТОЛЬКО через фабрики (где они будут гарантированно инициализированны корректно), но при этом остается возможность прямого обращения к некоторым полям. (кроме того, опять таки, это логично, что если я не могу создать локальную переменную, то и через NEW тоже не могу её создать).

Как-то так. Какие будут мнения?

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

Для этого я записался на курсы английского, вчера прошел тестирование (должно было показать мой уровень чтобы стало понятно куда меня определять, в какую группу). Откровенно говоря, мне показалось, что тестируют как-то однобоко и не правильно. То был обычный тест на времена (20 предложений с пропущенным обычно каким-нибудь глаголом, нужно выбрать форму глагола (+ to be в какой-нибудь форме) из трех вариантов). Я не представляю как этот тест покажет мое умение РАЗГОВАРИВАТЬ на английском (это тот навык который мне необходим, но которым я не владею вообще). По уровню вледения этим навыком думаю я хуже 5ти летнего ребенка-носителя языка. При этом тест я скорее всего написал лучше чем даже 7-8 летний.

Ну, а поскольку особой надежды на курсы нет в плане разговорной практики (а разговорный английский можно подтянуть только практикой), я поспрашивал у знакомых и мне присоветовали вот этот сайтик: http://livemocha.com/ там можно общаться в том числе с носителями языка непосредственно. Буду пробовать.

Аннотация: немного о космических исследованиях, по собственному опыту.

В 2008 году я работал в МИФИ над созданием комплекса научной аппаратуры космического аппарата "КОРОНАС-ФОТОН". В следующем году должен был состояться его запуск, поэтому к июлю вся работа уже была на завершающих стадиях. КДИ образцы приборов заканчивали тестирование в составе комплекса, шли термовакуумные испытания - все приборы, предназначавшиеся для отработки и тестирования, находились в Истре, на территории головного предприятия по спутниковой платформе "Метеор-3М". У нас заканчивалась сборка летных образцов приборов, которые непосредственно предназначались для отправки в космос.

Как говорится, ничто не предвещало беды. Когда вдруг одновременно во многих местах на территории института стали спешно срезать старый, и укладывать новый асфальт...

Дальше тут: http://mymaster.livejournal.com/380805.html

Сейчас из списка рассылки прилетело два письма. Просьба к Ominc и их ответ. Просьба была на тему того, что 18 апреля 2014 года заканчивается поддержка WinXP, соответственно к этому сроку неплохо бы все проблемы BB связанные с поддержкой Win7 устранить:

    For all of us who must migrate from Windows XP before April 18, 2014
    I strongly request of Oberon Microsystems Inc  that all Windows 7 glitches be fixed and released
    to us before that date.

    Doug Danforth

В ответ Oberon microsystems ответили много интересного. Они рассказали о том, чем они занимаются, на каких языках пишут, ну а также о будущем BB.

Если кратко: в 2004 году они закончили официальную поддержку BB, так что нет, они не будут официально пилить поддержку Win7 в BB. Поэтому они советуют тем, кто еще использует BB как основную платформу для разработки, посмотреть на альтернативы (We are really sorry about this but we have to encourage users still relying on BlackBox as their main development platform to start looking for alternatives.). Ну и в качестве примера приводят те языки и инструменты которыми сами пользуются:

Они используют C# и .NET, в том числе mono:
        http://www.mountaineer.org/mountaineer-group/
        http://xamarin.com/
Также они используют java для Андроида и серверных приложений. И еще они пишут на Objective-C под iOS.

А по духу ближе всего к Оберону им кажется Google Go. И они советуют тем, кому важена именно близость по духу, переходить на него: http://golang.org/

Оригинал:

Thanks for the reminder of Windows XP's end of support deadline, Doug.

With its release as open source software, BlackBox has reached the final stage of commercial development at Oberon microsystems back in December 2004. Consequently there will be no officially supported versions of BlackBox for Windows 7 from us.

We are really sorry about this but we have to encourage users still relying on BlackBox as their main development platform to start looking for alternatives.

At Oberon microsystems we are currently using C# and .NET for many of our mobile and embedded software projects:

        http://www.mountaineer.org/mountaineer-group/

        http://xamarin.com/

We also write lots of Java for Android and for our server-based software. Finally, we even have some Objective-C targeting iOS.

For a language very much in the spirit of Oberon, we suggest trying out Google's Go:

        http://golang.org/

With kind regards,
Marc

Пока нет ответа от Ominc по поводу бага компилятора, я решил попробовать этот же модуль на GPCP for jvm, благо сама java показала очень приличные результаты по производительности. Изменил импорты, пока убрал замер времени, остальное оставил всё как есть:

MODULE Blur;
   IMPORT CPmain;
   
   CONST
      width = 640;
      height = 480;
      N = 13;
      frames = 1000;
     
      red = 0;
      green = 1;
      blue = 2;
     
   TYPE
      Frame = ARRAY width*height*(blue+1) OF SHORTCHAR;
         
   PROCEDURE Index(x,y,color : INTEGER) : INTEGER;
   BEGIN
      RETURN ((x+y*width)*3+color)
   END Index;
   
   PROCEDURE Blur(IN in : Frame; OUT out : Frame);
   VAR
      x,y,c : INTEGER;
   BEGIN
      FOR y:=1 TO height-2 DO
         FOR x:=1 TO width-2 DO
            FOR c:=red TO blue DO
               out[Index(x,y,c)] := SHORT(CHR( ( ORD(in[Index(x,y-1,c)]) + ORD(in[Index(x,y+1,c)]) +
                                             ORD(in[Index(x-1,y,c)]) + ORD(in[Index(x+1,y,c)]) ) DIV 4  ));
            END;
         END;
      END;
   END Blur;
   
   PROCEDURE Do*;
   VAR
      time : LONGINT;
      f, n : INTEGER;
      a1, a2 : POINTER TO Frame;
   BEGIN
      NEW(a1);
      NEW(a2);
     
      FOR f:=1 TO frames DO
         FOR n:=1 TO N DO           
            Blur(a1,a2);
            Blur(a2,a1)
         END
      END;
   END Do;   
BEGIN
    Do;
END Blur.

Компилируется все на ура. Но при запуска вылетает - ругается верификатор жабы:
>cprun Blur
Exception in thread "main" java.lang.VerifyError: (class: CP/Blur/Blur, method: Do signature: ()V) Incompatible argument to function
        at java.lang.Class.getDeclaredMethods0(Native Method)
        at java.lang.Class.privateGetDeclaredMethods(Unknown Source)
        at java.lang.Class.getMethod0(Unknown Source)
        at java.lang.Class.getMethod(Unknown Source)
        at sun.launcher.LauncherHelper.getMainMethod(Unknown Source)
        at sun.launcher.LauncherHelper.checkAndLoadMain(Unknown Source)

Кто-нибудь знает что ему не нравится и почему компилятор молчит?

Задача - хотя бы 60 (а лучше 100) раз в секунду что-то там делать. Services.DoLater как оказалось очень слоупочна - максимум получается 16 раз в секунду.

Тестировал так:
MODULE BackgroundAction;

IMPORT StdLog, Services, Kernel;

TYPE
   Action = POINTER TO RECORD (Services.Action) END;
VAR
   count : INTEGER;
   begin : LONGINT;
   action : Action;
   
   PROCEDURE (a: Action) Do;
   BEGIN
      INC(count);
      IF count  = 1000 THEN
         StdLog.Real((Kernel.Time() - begin)/1000);
         StdLog.Ln;
         StdLog.Real(1000/((Kernel.Time() - begin)/1000));
         StdLog.Ln;
      ELSE
         Services.DoLater(a,Services.now);
      END
   END Do;
   
   PROCEDURE Start*;
   BEGIN
      count := 0;
      NEW(action);
      begin := Kernel.Time();
      Services.DoLater(action,Services.now);
   END Start;

BEGIN
   
END BackgroundAction.