public delegate Action Action(Action Action);
class Insane
{
    Action Action(Action Action)
    {
        Action(Action);
        return Action;
    }
    public void Call()
    {
        Action(new Action(Action));
    }
}

ARRAY OF CMyType

POINTER TO ARRAY OF CMyType

TYPE
  Complex = RECORD re, im: REAL; END;

  DateTime = RECORD 
    year : INTEGER; 
    month: BYTE;
    day  : BYTE;
    hour : BYTE;
    min  : BYTE;
    sec  : BYTE;
  END;

PROCEDURE Sum(IN a,b: Complex; OUT c: Complex);
BEGIN
  c.re := a.re + b.re; c.im := a.im + b.im
END Sum;

...

К>(просто интересно )

Еще один проект, в котором Н.Вирт участвовал в течение нескольких лет начиная с 1995 г., был посвящен созданию беспилотного вертолета, способного автономно пролететь по заданному маршруту (проект, предпринятый в the Institute of Automatic Control and Measurement; создание "умных" беспилотных летательных аппаратов вызывает огромный интерес во всем мире, в том числе и в России, и прежде всего, конечно, у военных). Н.Вирт написал для проекта все программное обеспечение, начиная с компилятора для процессора StrongARM и кончая бортовой управляющей системой реального времени. Бортовой компьютер (получивший, кстати, имя OLGA = Oberon Language Goes Airborne) оказался настолько компактным благодаря компактности и эффективности получившихся программ (использовалось подмножество языка Оберон), что вес машины удалось резко снизить по сравнению с предыдущими версиями конструкции — всего до 15 кг. (Потомки компьютера OLGA используются в компании weControl.)

Читатель может прикинуть, сколько весила бы машина, если бы ее ПО создавалось на основе таких популярных языков как Java или C++ — и когда был бы закончен проект. В качестве масштабного множителя можно предложить отношение объемов описаний языков — 16 стр. для Оберона, 200 для Java и больше 1000 для C++. )

Мы еще посмотрим, кто из нас убогий.

СГ>TYPE
СГ>  Action = PROCEDURE (a: Action): Action;
СГ>

#include <iostream>
using namespace std;

struct action_wrapper
{
  typedef action_wrapper (*func_type) (action_wrapper a, int x);

  func_type func; // обёрнутое данное

  action_wrapper(func_type f) : func(f) {} // приведение функции к обёртке
  operator func_type() const { return func; } // приведение обёртки к функции
};
typedef action_wrapper::func_type action; // вынесем, для удобства, в глобальное пространство имён

// это - глобальные функции
action_wrapper foo(action_wrapper a, int x);
action_wrapper bar(action_wrapper a, int x);
action_wrapper buz(action_wrapper a, int x);

// реализацию сделаем какую-нибудь кудрявую, чтобы не было шансов для инлайна
action_wrapper foo(action_wrapper a, int x)
{
  cout << "foo(" << x << ")" << endl;
  return x%2 ? a : bar;
}
action_wrapper bar(action_wrapper a, int x)
{
  cout << "bar(" << x << ")" << endl;
  return foo(buz,x);
}
action_wrapper buz(action_wrapper a, int x)
{
  cout << "buz(" << x << ")" << endl;
  return a(foo,x);
}

int main()
{
  cout << "--- цепочка ---" << endl;
  buz(foo,1)(bar,2)(buz,3);

  cout << "--- автомат ---" << endl;
  action f = foo, g = bar;
  for(int i=1; i<10; ++i)
  {
    g = f(g,i);
    f = g;
  }
  return 0;
}

TYPE
  Action = PROCEDURE (a: Action): Action;

Это было для меня большим открытием, я был тогда в аспирантуре, когда я понял, что пол листа кода, в верхней половине страницы 13 в руководстве по Lisp 1.5 был Lisp на самом себе.

...Компилятор для Oberon’а был реализован для процессоров семейства NS32000 и был встроен в операционную среду Oberon [GuW89]. Этот компилятор требует менее 50 Кбайт памяти, состоит из 6 модулей, общим размером около 4000 строк исходного текста и сам себя компилирует примерно за 15 секунд на рабочей станции с 25 МГц процессором типа NS32532...

Кё>PROCEDURE bind_void_void(IN A: PROCEDURE; ...): functor
Кё>PROCEDURE bind_void_int(IN A: PROCEDURE(a:integer); ...): functor
Кё>PROCEDURE bind_void_real(IN A: PROCEDURE(a:read...): functor
Кё>PROCEDURE bind_void_int_real(IN A: PROCEDURE(a:read...)
Кё>PROCEDURE bind_void_real_int(IN A: PROCEDURE(a:read...)
Кё>

TYPE
  Params = ABSTRACT RECORD END;

PROCEDURE Bind(VAR params: Params);

TYPE
  Params1 = RECORD (Params)
    (* Какие угодно параметры *)
  END;

PROCEDURE Bind1(VAR params: Params);
BEGIN
  WITH params: Params1 DO (* ... *) ELSE (* ... *) END
END Bind1;

TYPE
  Params2 = RECORD (Params)
    (* Какие угодно параметры *)
  END;

PROCEDURE Bind2(VAR params: Params);
BEGIN
  WITH params: Params2 DO (* ... *) ELSE (* ... *) END
END Bind2;

For a native multiprocessor operating system, Aos is small, with a
kernel of 7,210 lines of source or about 50KB of object code. For comparison,
the 4.4BSD kernel (cf. 8.1.2) consists of 58,289 lines of C code
(excluding file systems, network protocols and device drivers, which
add another 143,962 lines) [65]. Version 2.4 of the Linux kernel consists
of approximately 420,000 lines of C code (excluding drivers, file systems
and architecture-specific code, which bring the total to 2.4 million
lines) [128], and has a minimum size of around 500KB on Intel processors.
Microsoft boasts that Windows 2000 “consists of over 29 million
lines of code”, but does not say what is included in this figure, so it is
not possible to compare specifics.

Aos subsystem sizes.

Subsystem         Var  Const    Code   Lines
Kernel          18088   1296   48434   7210
Service support   164   1620   30001   2532
File system        96   1928   55462   4624
User interface    128    792   20468   2204
Network          1512   3368   62126   6200
Oberon for Aos   2396   3332  112893   8667
Total           22384  12336  329384  31437

21.01.05 11:51: Ветка выделена из темы Слабо? — AndrewVK

public delegate Action Action(Action md);
class Insane
{
    Action Action(Action act)
    {
        act(act);
        return act;
    }
    public void Call()
    {
        Action(new Action(Action));
    }
}

TYPE
  Action = PROCEDURE (a: Action) : Action;


PROCEDURE^ g(a: Action): Action; (* forward declaration *)

PROCEDURE f(a: Action): Action;
BEGIN
  (* ... *)
  IF a # NIL THEN RETURN a ELSE RETURN g END
END f;

PROCEDURE g(a: Action): Action;
BEGIN
  (* ... *)
  IF a # NIL THEN RETURN a ELSE RETURN f END
END g;

#include <iostream>
using namespace std;

struct Action;

typedef Action (* ActionFunc)(const Action& action);

struct Action
{
    ActionFunc actionFunc_;
    Action(ActionFunc f) : actionFunc_(f) { }
    // action_proc(const action_proc& p);
    // ...
    //
    operator ActionFunc () const { return actionFunc_; }
    operator bool () const { return actionFunc_ != 0; }
    Action operator ()(const Action& a) const { return actionFunc_(a); }
};

Action g(const Action&);

Action f(const Action& a)
{
    // ...
    cout << "f()" << endl;
    if (a) a(0);
    return a ? a : g;
}

Action g(const Action& a)
{
    // ...
    cout << "g()" << endl;
    if (a) a(0);
    return a ? a : f;
}

void main()
{
    f(g);
}

TYPE
    Something = POINTER TO RECORD (Signals.Trackable) END;

PROCEDURE ProcessMessage (this: Something; IN some1: ARRAY OF INTEGER; some2: REAL);
BEGIN
    (* ... *)
END ProcessMessage;


...

VAR sig: Signal; s1, s2: Something;
BEGIN
    NEW(s1); NEW(s2);
    sig.Connect(bind(ProcessMessage, s1, _1, _2));
    sig.Connect(bind(ProcessMessage, s2, _1, _2));    
    sig(param1, param2);
    s1 := NIL;
    sig(param1, param2);    
    s2 := NIL;

NEW(tmp, LEN(a) + 100);
FOR i := 0 TO LEN(tmp)-1 DO tmp[i] := a[i] END;
a := tmp;

S>(int)i 
S>

S>int(i)
S>

  ((MyClass) obj).xxx

       MyClass(obj).xxx

СГ>ARRAY OF CMyType

СГ>POINTER TO ARRAY OF CMyType
СГ>

PROCEDURE Init(VAR a: ARRAY OF CMyType); 
VAR i: INTEGER;
BEGIN
  FOR i := 0 TO LEN(a)-1 DO 
    a[i] := ....
  END
END Init

VAR 
  dynam: POINTER TO ARRAY OF CMyType;  (* Размещается в динамической памяти *)
  stat : ARRAY 512 OF CMyType;         (* Размещается на стеке              *)
BEGIN
  NEW(dynam, 10); (* Создали массив из 10 элементов *)
  Init(dynam);
  Init(stat);

TYPE
  A = PROCEDURE(a: A): A;

  NEW(tmp, LEN(a) + 100);
  FOR i := 0 TO LEN(tmp)-1 DO tmp[i] := a[i] END;
  a := tmp;

PROCEDURE bind_void_void(IN A: PROCEDURE; ...): functor
PROCEDURE bind_void_int(IN A: PROCEDURE(a:integer); ...): functor
PROCEDURE bind_void_real(IN A: PROCEDURE(a:read...): functor
PROCEDURE bind_void_int_real(IN A: PROCEDURE(a:read...)
PROCEDURE bind_void_real_int(IN A: PROCEDURE(a:read...)

WITH v: T1 DO S1 | v: T2 DO S2 | v: T3 DO S3 ... ELSE Sn END

За исключением полностью слинкованных приложений, в которых при исполнения не нужно загружать никакие модули, для модулей требуется динамический загрузчик [linking loader]. Встроенные системы являются важными примерами приложений, которые могут быть полностью слинкованы.

Приложение D: Обязательные требования к среде выполнения

Определение Компонентного Паскаля опирается на три фундаментальных предположения.

1) Во время исполнения программ доступна информация, позволяющая проверять динамический тип объекта. Это нужно для реализации проверок типов и охраны типов.

2) Отсутствует процедура DISPOSE <освобождение памяти под более не используемые объекты>. Память <занимаемая объектом> не может быть освобождена по явной инструкции программиста, поскольку это создало бы проблемы безопасности, связанные с потерей памяти [memory leaks] <память, занимаемая объектами, недоступными ни через какие указатели, которую программист забыл освободить> и с висячими указателями [dangling pointers] <доступные указатели, продолжающие указывать на области памяти, по ошибке преждевременно освобожденные>. За исключением таких встроенных систем, где не используется динамическое управление памятью, или где ее можно разместить только однажды и никогда не нужно освобождать, требуется автоматический сбор мусора.

3) Модули и по крайней мере их экспортированные процедуры (команды) и экспортированные типы должны быть доступны динамически. Если необходимо, это может вызывать загрузку модулей. Программный интерфейс, используемый для загрузки модулей или для доступа к указанной мета-информации, не определяется языком, но компилятор должен сохранять эту информацию при генерации кода.
За исключением полностью слинкованных приложений, в которых при исполнения не нужно загружать никакие модули, для модулей требуется динамический загрузчик [linking loader]. Встроенные системы являются важными примерами приложений, которые могут быть полностью слинкованы.

Реализация, которая не удовлетворяет этим требованиям к компилятору и среде выполнения, не считается удовлетворяющей определению Компонентного Паскаля.

Three buttons recommended for Oberon

СГ>  NEW(tmp, LEN(a) + 100);
СГ>  FOR i := 0 TO LEN(tmp)-1 DO tmp[i] := a[i] END;
СГ>  a := tmp;
СГ>

a.push_back(123);

a.resize(a.size()+100);

WH>a.push_back(123);
WH>

WH>a.resize(a.size()+100);
WH>

  a.PushBack(123);
  a.Resize(a.length + 100);