MODULE MyHello;
    
    IMPORT StdLog;
    
    PROCEDURE Do*;
    BEGIN
        StdLog.String("Hello World!!"); StdLog.Ln;        
    END Do;
    
END MyHello.

ObxHello0 is a minimal "hello world" program in Component Pascal...

Exported items in Component Pascal modules are marked by a trailing asterisk; there are no separate header files, definition modules, or the like.

using System;
class Class1
{
    static void Main()
    {
        Console.WriteLine("Hello World");
    }
}

9.5/1 <...> If a union contains <...> a member of reference type, the program is ill-formed.

MODULE Test;

TYPE
  MyPrivateType = RECORD (* ... *) END; (* Другие модули этого типа не видят *)

  MyPublicType* = RECORD (* Другие модули этот тип видят *)
    PrivateVariable   : INTEGER; (* Из других модулей эта переменная не видна *)
    ReadOnlyVariable- : INTEGER; (* Другие модули могут только читать эту переменную *)
    ReadWriteVariable*: INTEGER; (* Другие модули могут и читать и писать в эту переменную *)
  END;


VAR
  PrivateVariable   : INTEGER; (* Из других модулей эта переменная не видна *)
  ReadOnlyVariable- : INTEGER; (* Другие модули могут только читать эту переменную *)
  ReadWriteVariable*: INTEGER; (* Другие модули могут и читать и писать в эту переменную *)


PROCEDURE DoSmth1(); (* Другие модули не видят этой процедуры *)
BEGIN
 (* ... *)
END DoSmth1;

PROCEDURE DoSmth2*(); (* Другие модули могут вызывать эту процедуру *)
BEGIN
 (* ... *)
END DoSmth2;

END Test;

Select the string "ObxHello0.Do" below, and then execute command Execute in menu Dev:

ObxHello0.Do

Поскольку они связаны с неопределённым поведением,

ПК> Дык, как ни крути, хоть указатель, хоть ссылка как тип все равно присутствуют. Разница только в том, явно или нет.

Это очень большая разница! В одном случая ты обязан думать о ней. А в другом необязан.

M>MODULE MyHello;
    
M>    IMPORT StdLog;
    
M>    PROCEDURE Do*;
M>    BEGIN
M>        StdLog.String("Hello World!!"); StdLog.Ln;        
M>    END Do;
    
M>END MyHello.
M>

DEFINITION MyHello;
  PROCEDURE Do;
END MyHello.

СГ>MODULE Test;

СГ>TYPE
СГ>  MyPrivateType = RECORD (* ... *) END; (* Другие модули этого типа не видят *)

СГ>  MyPublicType* = RECORD (* Другие модули этот тип видят *)
СГ>    PrivateVariable   : INTEGER; (* Из других модулей эта переменная не видна *)
СГ>    ReadOnlyVariable- : INTEGER; (* Другие модули могут только читать эту переменную *)
СГ>    ReadWriteVariable*: INTEGER; (* Другие модули могут и читать и писать в эту переменную *)
СГ>  END;
СГ>

TYPE
MyPrivateType = RECORD (* ... *) END; (* Другие модули этого типа не видят *)

  exportable MyPublicType = RECORD 
  PrivateVariable   : INTEGER; 
  readonly exportable ReadOnlyVariable,
  readonly            ReadOnlyLocalVariable: INTEGER; 
  exportable          ReadWriteVariable: INTEGER;
END;