Тогда, чтобы решить проблему нехватки программистов при создании Бурана и повысить производительность и качество труда при разработке алгоритмов и программ, Институт прикладной математики РАН по просьбе Пилюгинского центра создал два русскоязычных языка:

   язык реального времени ПРОЛ2 для разработки бортовых комплексных программ (руководитель авторского коллектива Виктор Крюков)[16][17];
   проблемно-ориентированный язык для разработки программ наземных испытаний ДИПОЛЬ (руководитель Владимир Луцикович)[18].

Кроме того, в Пилюгинском центре под руководством Константина Федорова был создан язык ЛАКС для моделирования. Таким образом, появились три новых языка, которые были непосредственными предшественниками ДРАКОНА. Опыт их эксплуатации был тщательно изучен и использован при создании языка ДРАКОН.

опыт программирования Бурана использовался при создании ДРАКОНа, но где тут программирование Бурана на ДРАКОНе?

MaxGraey по-моему ты говорил, что x * -1 и -x не по иеее754 ?

Да потому что -1 * NaN --> NaN а -(NaN) --> -NaN. Впрочем NaN и так довольно неканоничен поэтому LLVM например этим пренебрегает

ну вот меня смущает что гцц и кланг кладут болт

Почему у NaN вообще есть знак? 🤔

потому что у всего есть знак? :) это ж набор битиков

потому что NAN кодируется в экспоненте, а знак - в знаке

Ты удивишься но NaN значений вообще как минимум два - сигнальный (sNaN) и "тихий" (qNaN). А теперь насчет знака. Некоторые функции игнорируют знак у NaN а некоторые нет=) И это вносит еще больше недетерминизма

у нас недавно был баг, в некоторых случаях хешкод структур считался просто от битов структуры — и выходило что структура с флотами-НаНами == структуре с НаНами

вопрос был "насколько это правильно", а деталь реализации на него не отвечает, т.к. может легко быть костылем

Например signbit чувствителен к знаку у NaN. подозремаю что copysign функция тоже (хотя это может зависить от стандартной библиотеки и платформы)

недавно - это в каком масштабе времени?

год

вернее там в другом баг был даже изначально

две структуры одинаковые, но в одной флот -0.0, а в другой 0.0
по спеке должны быть равны, но побитово - нет

просто отключили быстрыйхешкод для структур с флотами 😊

а
-(-x) безопасно в x ?

сам отвечу: да, ничего страшного в смене знакового бита

Он предложил хорошую нотацию для описания языков программирования. Я ей пользуюсь. Да и другие авторы тоже. Так что, теперь она не только "в голове у Гая".