Inferno Programmer's Guide / Руководство программиста по ОС Inferno: Chapter 5 - The Limbo Language Definition

это эквивалентно следующему:

rapidfx 02.08.09 в 17:16

Видимость

Видимость идентификатора эта лексическая область программы в которой этот идентификатор имеет определенный тип, или экземпляр объекта. Один и тот же идентификатор может быть связан с несколькими разными объектами в различных частях одной программы.

rapidfx 02.08.09 в 17:15

Имена членов ADT занимают отдельное, не конфликтующее с другими идентификаторами пространство; они объявляются в синтаксически отдельном месте, и всегда используются различным образом, а именно после (.) оператора выбора. не смотря на то, что одни и те же правила видимости применяются к членам ADT как к другим идентификаторам, их имена могут совпадать с другими записями в той же самой области видимости.
Аналогично, имена констант, функций, объекты данных, и типов появляющихся в объявлениях модуля обычно указываются с именем модуля или переменной модуля используя запись ->. Как обсуждалось выше, объявление import вводит эти имена в текущую область видимости.

rapidfx 02.08.09 в 17:37

Например:

rapidfx 02.08.09 в 17:39

Tree : adt {
1 : ref Tree;
r : ref Tree;
t : ref Ntree;
};
Ntree : adt {
t : ref Tree;
};
tl : = Tree(ni1, nil, nil)
t2 : = Tree(ref tl, ref tl
tl = Tree(ref tl, ref t2,
tl.l = . . . ; # not OK
nt : = ref Ntree(nil);# OK
nt.t = . . . # not OK

rapidfx 02.08.09 в 17:39

Примеры

rapidfx 02.08.09 в 17:40

Простой модуль командного интерпретатора

rapidfx 02.08.09 в 17:40

27 exec(ctx : ref Draw->context, args : list of string)
28 {
29 c : command;
30 cmd, file : string;
31 cmd = hd args;
32 file = cmd + ".dis";
33 c = load command file;
34 if (c == nil)
35 c = load command "/dis/"+fi1e;
36 if (c == nil) {
37 sys->print("%s: not found\n", cmd);
38 return;
39 }
40 c->init(ctx, args);
41 }

rapidfx 02.08.09 в 17:41

Инфракрасное дистанционное управление

rapidfx 02.08.09 в 17:42