Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет kouzdra ([info]kouzdra)
@ 2011-08-21 14:25:00

Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Гнезда и яйца
В позднем Алголе-68 была imho исключительно удобная конструкция, которая почему-то не "пошла в массы" - nest-egg система раздельной трансляции вложенных модулей etc. Идея там совершенно тривиальная:

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

Единицы трансляции начинаются с egg "имя гнезда" =. Одно из яиц должно быть выражением (в А-68 операторы не возвращающие значения являются выражениями тим void). Остальные - модулями.

C точки зрения семантики оно ведет себя так, как include, но реализуется естественно как любая другая раздельная трансляция - объектные модули и информация об интерфейсах (и контексте).

Модули, у которых не указано имя гнезда и главная программа понятно рассматриваются просто как содержащиеся в умолчательном "toplevel" гнезде.

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

Ну опять же - ослабляется причина бить текст на модули только обозримости ради - бо функции обычно описываются как-то так:
proc (int) int func = nest "func"

занимая немного места в тексте.


Ну и опять же - в кои-то веки можно языковыми средствами описать структуру действительно большого проекта. Бум надеяться, что великая борьба Жабы и С# приведет к дальнейшему прогрессу.


(Читать комментарии)

Добавить комментарий:

Как:
Identity URL: 
имя пользователя:    
Вы должны предварительно войти в LiveJournal.com
 
E-mail для ответов: 
Вы сможете оставлять комментарии, даже если не введете e-mail.
Но вы не сможете получать уведомления об ответах на ваши комментарии!
Внимание: на указанный адрес будет выслано подтверждение.
Имя пользователя:
Пароль:
Тема:
HTML нельзя использовать в теме сообщения
Сообщение:



Обратите внимание! Этот пользователь включил опцию сохранения IP-адресов пишущих комментарии к его дневнику.