OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 28 Март, 2024 23:32

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 3 ] 
Автор Сообщение
СообщениеДобавлено: Суббота, 04 Март, 2017 02:18 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Нашёл у себя, когда-то начинал.
Может быть, кому-то пригодится.


Вложения:
EthOS Перевод.odt [42.57 КБ]
Скачиваний: 355
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 04 Март, 2017 08:36 
Аватара пользователя

Зарегистрирован: Воскресенье, 12 Апрель, 2015 18:12
Сообщения: 1134
Откуда: СССР v2.0 rc 1
"Также все константы, переменные и операции должны быть явно ассоциированы с некоторым типом. Тогда ошибки типов будут легко выявляться, информация, необходимая для проверки типов, может быть сделана строго локальной, и ошибки типов не могут возникнуть в ранее проверенных частях. Последние два условия являются существенными предпосылками для раздельной компиляции (1.1.2).
Всегда считал golang кривым)))
Илья, спасибо за перевод.
Шиперски, смотрю, не зря здесь столь часто упоминаем.
Очень гладкий перевод и отличный акцент на том, что базовый тип должен сужаться в подтипах, а не наоборот, иначе статическая проверка невозможна. Это в продолжение давешней приватной беседы с коллегами по Оборону в защиту разделения понятия "литера" и "символ", и дальнейшее разделение "символ" на "ключевое слово", "целое", "вещественное" и "сущность". Ну, и пример с непроверяемостью при делении на ноль тоже приятен)) Тема про модульность не совсем раскрыта, имхо. Но, я так подозревают, что и цели такой у Шиперски в этой книге не стояло))

Хотелось бы верить, что сейчас Шиперски кусает локти в МС и раскаивается за то, что погнался за длинным рублём))


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 04 Март, 2017 14:44 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
Не верьте.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 3 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 2


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2024, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB