vvmtutby

Насколько помню, достаточно было программировать "по документации".

Часто просто использовали Btrieve.

Но это уже CDD 3.X

Да.

И Clarion всегда, по крайней мере, начиная с Clarion 2.X for DOS умел ( и работал) "по сети".

В Алголе 68 были ограничения, (...). В Паскале — нет.

We have shown in this thesis the design of an out-of-order soft processor
that achieves double the singlethreaded (wall-clock) performance of
a performance-tuned Nios II/f (2.2x on SPECint2000) at a cost of 6.5 times the area of
the same processor. This area is about 1.5% of the largest Altera (Stratix 10) FPGA.

We presented a methodology for simulating and verifying the microarchitecture of
our processor, which we used to design a microarchitecture that is sufficiently complete and correct
to boot most unmodified 32-bit x86 operating systems. We showed that the FPGA substrate differences
from custom CMOS do affect processor microarchitecture design choices, such as our use of a physical
register file organization, low-associativity caches and TLBs, and a relatively large TLB. The
resulting microarchitecture did not require major microarchitectural compromises to fit an FPGA
substrate, and remains a fairly conventional design. As a result, the per-clock performance of our
microarchitecture compares favourably to commercial x86 processors of similar design. Our two-issue
design has slightly higher perclock performance than the three-issue out-of-order Pentium Pro (1995)
and slightly less than the newer two-issue out-of-order Atom Silvermont (2013).

Windows 10 — так и вообще каждые два года обновляется

закрывающая фигурная скобка выглядит красивее, чем слово end

Когда на протяжении десятилетий вы можете писать на двух языках одновременно.

P.S. Я, кстати, не могу со 100% уверенностью сказать, что моя теория верна. В «социальных науках» эксперименты ставить сложно.
Но факты (весьма и весьма и весьма немаленькую популярность потомков ALGOL ( В.В.М.: скорее, Pascal) в 1980е и резкое падение оной в 1990е) — моя теория объясняет.
Так что если у вас есть другая, альтернативная, она их должна объяснять тоже.

Но регулярные (то есть неоднократные) переходы с потерей всей базы накопленного кода (Modula-2, Modula-3, Oberon и так далее)… добром не кончились.

На C++ можно было использовать старые, проверенные, библиотеки… и новые возможности. ALGOL-векта, увы, такой возможности не давала: либо новые языки и новые фичи… либо старые библиотеки.

Паскаль --} Модула-2 --} Оберон --} Оберон-2 --} Component Pascal
                |             
                +--} Модула-3

Вот все сегодня кричат сейчас о дефектах в технике вследствие софта, кричат, что софт — (VVM: терминология изменена) низкокачественный, но почему-то забывают, что отказы электроники или механики никуда не ушли. Схемы выходят из строя, (...), Берешиты всякие о Луну разбиваются

Израиль планирует снова вернуться на Луну в течение следующих 2,5 лет.

Предыдущая попытка космической экспедиции страны провалилась из-за аварийной посадки в апреле 2019, сообщает Daily Mail.

Как отмечается, двигатели на израильском космическом корабле Beresheet вышли из строя из-за компьютерного сбоя при попытке посадки на спутник.

«Теперь создатели аппарата заявили, что отправят Beresheet 2.0 на Луну в течение 2,5 лет», — отмечается в сообщении.

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

«Мы очень гордимся и довольны миссией Beresheet, она была первой из многих. Это сделало нас седьмой страной на орбите Луны, четвертой в попытке приземлиться», — сказал в ходе выступления на 70-м Международном астронавтическом конгрессе Эхуд Хаюн, инженер по космическим системам в израильской аэрокосмической промышленности.

Если разрешить на уровне языка определение процедур с произвольным количеством формальных параметров ( да ещё и с произвольными типами аргументов ). В этом случае вся статика летит к чертям.

Calling a Variadic Procedure
Index arguments and value terminating arguments are never supplied in the actual parameter
list of a variadic procedure call. The compiler automatically determines and
inserts these arguments into the procedure’s activation record.

(* calling procedure Variadic from Listing 14 *)
Variadic( (* counter omitted *) foo1, bar2, foo2, bar2 );
(* calling procedure Variadic from Listing 15 *)
Variadic( foo1, bar1, foo2, bar2 (* -1 omitted *) );

Listing 16: variadic procedure calls omit index and value terminating arguments

Variadic Procedures with Counter Terminated Variadic Parameter Lists
The number of variadic parameters of a counter terminated variadic parameter list is
automatically passed as a hidden parameter immediately before the variadic list.

PROCEDURE Variadic(v : VARIADIC OF (p1 : Bar; p2 : Baz));
BEGIN
  (* iterate over all variadic tuples by index *)
  FOR n OF CARDINAL := 0 to HIGH(v) DO
    DoSomethingWithBar(v[n].p1);
    DoSomethingWithBaz(v[n].p2);
  END; (* FOR *)
END Variadic;

Listing 14: procedure with a counter terminated variadic parameter list

Variadic Procedures with Value Terminated Variadic Parameter Lists
A value terminated variadic parameter list is terminated by a given constant value.

PROCEDURE Variadic(v : VARIADIC [-1] OF (p1 : INT; p2 : Baz));
BEGIN (* v points to first variadic tuple *)
  WHILE v # NIL DO (* while there are tuples *)
    DoSomethingWithINT(v^.p1);
    DoSomethingWithBaz(v^.p2);
   v := NEXTV(v); (* next variadic tuple *)
  END; (* WHILE *)
END Variadic;

Listing 15: procedure with a value terminated variadic parameter list

Variadic Parameters

The extended dialect supports the ARGLIST attribute in formal types and formal parameters. Parameters marked with the ARGLIST attribute may be passed a variable number of arguments.

PROCEDURE newVector ( values : ARGLIST OF REAL ) : Vector;

VAR v1, v2, v3 : Vector;

v1 := newVector(1.2, 3.4); (* two arguments *)
v2 := newVector(1.2, 3.4, 5.6); (* three arguments *)
v3 := newVector(1.2, 3.4, 5.6, 7.8); (* four arguments *)

Within the procedure or function, the argument count may be obtained using built-in function COUNT and the arguments are addressable using array subscript notation.

PROCEDURE PrintList ( values : ARGLIST OF REAL );
VAR index : CARDINAL;
BEGIN
  FOR index := 0 TO COUNT(values)-1 DO
    WriteReal(values[index]);
    WriteLn
  END
END PrintList;

где из переходов только GOSUB/GOTO и из циклов только FOR — то это может быть слишком оторвано от современности.

И чё? На нём же не проект писать, а чисто с алгоритмами экспериментировать.
Для чего-то более серьёзного — переходить на более актуальные языки.

возможность объявлять переменную там, где она нужна и тогда, когда она нужна в PASCAL-подобных языках

В Modula-3 ( ...).Однако, локальная область определения переменной цикла в данном случае вполне соответствует «духу» языка (поскольку возможны прочие локальные области в виде вложенных блоков «VAR… BEGIN… END» для поддержки «горячего определения переменных в коде», в т.ч. с возможностью вывода типа, но оставаясь в рамках «структуризации по-Паскалевски»).

  FOR i := FIRST(List) TO LAST(List) DO
    VAR
      x : BOOLEAN;
    BEGIN
      x := tbl.put(List[i].char, List[i]);
      <* ASSERT NOT x *>
    END
  END

    FOR i := 0 TO Max - 1 BY 7 DO
      FOR j := 1 TO 6 DO
        VAR set := bv2.set(i+j); BEGIN <* ASSERT NOT set *> END
      END
    END;

В реально массовом софте

Решим задачу в стиле отдела кадров Google:
на первом месте 4 миллиарда Android OS, поделим на 3, пусть на 5 или 16, получим примерно долю Windows с включённым Hyper-V ( см. "device guard"). И не забудем прибавить мощности Azure.

Т.о. пример верифицированного массового ПО найден.

В нормальных же инструментах код доказанной программы генерируется автоматически

Не затруднит чуть подробнее? URL или менее общую терминологию ( для поиска ) ?

после верификации программисты добавят массу ошибок реализации

При генерации из создаваемых программистом в RAD среде Clarion "связке" .app + .dct файлов исходного кода ничто не мешает генерировать и пред- и постусловия, инварианты циклов и т.п.

( Т.е. большой объём кода, если он более менее типичный — не препятствие )

Вы, видимо, просто не видели эти формочки в социальных сетях

Скажем так: если и видел, то не оценил в чём их сложность: в количестве полей? в нестандартных элементах?

( Если последнее, то у C. есть и конкуренты: например, французская разработка. )

Т.к. если в логике обработки, то инженерный подход, как раз, будет не лишним.

Есть "пример успеха": Hyper-V был формально верифирован для Microsoft.

Как это вписывается в вашу "картину мира"?

( А "сотни формочек" генерировались в Clarion из схемы БД ( .dct ) ещё в 90х.

И если сейчас это стало трудоёмкой задачей, то где прогресс средств разработки? )

как будто ВСЁ ЕЩЁ 80ЫЕ?

На заре советской эпохи (1918-1921)

20 нояб. 2014 г. — … и терпеть, но Завтра мы построим Новый Мир, справедливый и честный, а Старый Мир — уничтожим и отринем его прах с наших ног".

За капс в коде меня сразу уволят — на полном серьезе и без шуток. Это пишу для тех, кто не работает в частных компаниях (работающих в основном на мейнстримовых языках) — те кто работает, и так знают, как к этому отнесутся коллеги, вынужденные читать Ваш код. Большой баг на продакшене простят — все ошибаются. Но за капс кранты сразу. Даже в тех компаниях, где не принят официальный гайд про стиль кода, это подразумевается. Т.е. даже если кто-то в крупных фирмах захочет использовать КП или Оберон — его за один капс выкинут — даже слушать вряд ли будут. Ну и месяц как минимум коллеги поприкалываются. В таких компаниях на многих языках пишут — но капс сразу будет всех выбешивать.

Например, сравните вот это:

for key, value in somedict.items():
    if key.lower() in good_keys:
       return value

… с…. Исключительно с позиции читаемости.

FOR Key, Value IN SomeDict.Items()
  IF Key.Lower() IN Good_keys
     RETURN Value
  .
.

Всё же, хотелось бы услышать, что будет происходить в фирме,
чьи работники привыкли существовать в «режиме без капса»,
которой «досталась» кодовая база проекта на языке с ALLCAPS-ом ключевых слов?

Пусть это будет Clarion: реалистичный бизнес сценарий и интересный технологический момент с .app/.dct

Насчет Паскаля — перейдя с него на Си я очень порадовался, что вместо begin/end появились брекеты

If x = 5
  y = z * 3
.

… простой оторваный цикл они ( сборщики мусора) соберут. А вот как бы удаленный объект, забывший отписаться от событий — уже нет...

О) компилятор Оберона … Там (такое) творится

Язык Ада безусловно обсуждался в рамках данной дискуссии и в рамках обсуждения языка Оберон.… на вопрос об Ада…

1. В части функциональной безопасности (...)
(...) есть компилятор Ады GNAT, но только один ( остальные … ): GNU Ada New York Translator.
Поэтому использовать его даже для категорий B и C мы не можем. Росатом (...) покупает по конкурсу у трех независимых поставщиков. А тут один (...)
Более того, даже для категорий B и С продукт должен создаваться в рамках аналогичного жизненного цикла со всеми нашими требованиями к документированию, верификации, валидации и пр.
(...)
2. В части категории A, Ада не соответствует требованиям по причине избыточности.

Это было сильно связано с политической обстановкой того времени.

С какой конкретно политической обстановкой?

За гонимыми «генетикой» и... был другой смысл, который мы привыкли сейчас в них вкладывать.

Какой смысл?

В среде TP работал с 1991, года три. Но, как видите, не забыл.

Вы — да. Ваши одноклассники?

Использовали курс информатики в рамках курса информатики

обучаются тому, что благополучно забудут после школы как ночной кошмар (в том числе как зайти в дебаг

Не извольте волноваться — не забудут

Забудут.

Насколько помню, в Turbo/Free Pascal вполне себе доступно ООП. Но его не используют во время обучения.

Microsoft... мы берем и лишаем её конкуренции

имеет... кроссплатформенную реализацию, в отличие от Delphi-FPC

Отличие в списке платформ?

Да.

картинка со Стековерфлоу, на которой...

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

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

«Darwin — система с гибридным ядром XNU, созданном на основе микроядра Mach и стандартными сервисами BSD (от NetBSD, кстати)[4]. Кода BSD и Mach там поровну[5].»

«Apple MacOS X — новая ОСь развитая из NeXTstep + MacOS, работающая на ядре Darwin (система с гибридным ядром XNU: созданном на основе микроядра Mach и сервисами FreeBSD)

Существует с десяток авто-переводчиков, большей частью справляются автоматом.

Можно примеры?

Под статьёй о Delphi, в котором операторные скобки занимают от трёх до пяти символов каждая

За выживший в «эволюционной борьбе» begin можете сказать спасибо вполне конкретному ( с какого-то момента) бизнесмену. Почти дословно: «И зачем нам Borland Modula-2, когда и то что есть продаётся?»

If x = 5
  y = z * 3
.

Clarion тот еще подарок был. И мышкой там щёлкалось ровно до тех пор, пока не полез руками в код.

Исходно речь шла о ненужности археологических знаний в айтишных дисциплинах, цель которых — дать какие-то практические навыки.

Вернусь к основной мысли: я могу программировать на любом языке, потому что я программирую не на языке.

Сразу несколько уточняющих вопросов:
•Является ли это обычным? Мне кажется, что нет. Мне кажется, что большинство программистов программирует на каком-то одном языке (нескольких языках). Для меня это странно, что-то вроде привязывания палок к ногам, чтобы колени не гнулись. Ведь «… ишпанским языком с богом, французским с друзьями, немецким с неприятелями, итальянским с женским полом…».
•А на чем я программирую? У меня есть точный и бесполезный ответ: «на лексиконе программирования». Помните, анекдот про заблудившийся вертолет, который подлетает к небоскребу с плакатом: «Где мы?» В ответ, после некоторой суеты, в окно небоскреба выставляют ответный плакат: «Вы в вертолете!» Вот это такой же точный и бесполезный ответ, как и про «лексикон программирования». Если же попробовать все же ответить, то ответ будет примерно таким: я изначально думаю и делаю разработку в достаточно общих понятиях, которые потом транслирую на конкретный язык программирования и конкретные библиотеки/компоненты/фреймворки…

•Почему я так программирую? Вот тут ответ у меня вполне обоснованный: я компиляторщик, с опытом разработки компиляторов с разных языков и на разные платформы. Я умею видеть суть за туманом и синтаксическим сахаром. Я понимаю, откуда растут ноги у решений, принятых разработчиками языков. Плюс к этому, я изучал историю компьютеров и языков программирование.

Какие же интересные выводы мы можем сделать из этих вопросов/ответов:
•Не буду акцентировать внимание на очевидной для меня и думаю, что не столь очевидной для многих мысль, что обучение IT должно включать в себя историю программирования и, обязательно, несколько принципиально разных языков программирования, например, вот такую троицу: Smalltalk, Forth, Oberon и плюс к ним Scratch. А уж потом те языки, что сейчас в моде. Я не настаиваю именно на этих языках, это всего лишь мои личные предпочтения и выражение уважение к их авторам/разработчикам.

как зайти в дебаг

обучаются тому, что благополучно забудут

кроссплатформенную реализацию, в отличие от Delphi-FPC

И вся (все) ОС в моём полном распоряжении. Смысл тогда запароливать Винду, ставить антивирусы, настраивать proxy, если вся эта «защита» не стоит и выеденного яйца? Мало того, когда я рассказал преподавателю об этой уязвимости, он ответил мне, что его эта проблема мало интересует. Но как же так? То запрещают usb-flash накопители без антивирусного сканирования использовать, то игнорируют проблему, лежащую на поверхности.

Паскаль... для распараллеливания, сборки мусора

когда на одной карте она «Кастрычницкая» а на другой «Октябрьская».

должна быть либо «Октябрьская» либо «Кастрычницкая» но никогда одновременно.

это будет именно навигационной проблемой

и не понял за что автору минусы прилетели.

... в жизни — единицы процентов,
( округлим до 18 процентов, на всякий ) и как бы никто не против, но они начинают навязывать большинству свое… даже не мнение, а действовать наплевав на интересы большинства.

как русских/русский язык... в Беларуси.

На 1991-1995 годы тоже было очень много надежд. Однако, далеко не все потеряно

Есть обычай на Руси, ночью слушать BBC

Колорит

Как... проще объяснить для русскоязычного туриста в русскоязычном городе?

на первом месте — постоянство

Во многих местах были разрушены железнодорожные пути и телеграфные линии, организованы заторы на станциях и перегонах и порча паровозов. Замешательство, вызванное 28 августа задержкой в движении, использовали многочисленные агитаторы.

Из Владикавказа пришла телеграмма ЦК Союза объединенных горцев Кавказа, запрещавшего «под страхом проклятия ваших матерей и детей принимать участие во внутренней войне, учиняемой с неизвестными нам (и) вам целями».

младшие офицеры и всадники находились «в полном неведении» относительно целей своего движения и «были сильно удручены и подавлены той ролью, которую им хочет навязать генерал Корнилов».

временной период и сколько поколений считается.

Собирался написать про страны Балтии, но будет время, напишу и про Беларусь.

на пост-советском пространстве вообще ни у кого нет особых комплексов

3 Июля — День Независимости Республики Беларусь 3 июля 1944 года произошло освобождение столицы Белоруссии (Минска), от немецко-фашистских захватчиков.

Готовы ли Вы повторить? Насколько это соответствует культурным традициям? Чьим ( Востока или Запада)?

я, как украинец, за сохранение национальных культур Украины и Белоруссии.