[18:33:22] <geniepro> Ну всё, аду переделают! https://blog.adacore.com/a-modern-syntax-for-ada
теперь вместо
with Ada.Numerics;
function Fools (X : Float) return Float is
begin
  return X * Ada.Numerics.Pi;
end;
будет
include Ada.Numerics;
fn Fools (X : Float) ret Float :
{
  ret X * Ada.Numerics.Pi;
};
дотянулись кровавые руки сишников!
[18:33:48] <geniepro> ну а чо, норм )))
[18:41:59] <geniepro> что за шизофрения творится в теме https://forum.oberoncore.ru/viewtopic.php?f=115&t=6243&sid=b5a78d05aad70d7fb6f6c8a67e5df3f4 "Эмуляция недетерминированного цикла Дейкстры"
первое апреля давно прошло, а они всё ещё развлекаются...
[18:43:22] <geniepro> недетерменированный порядок выбора условий ветвления и цикла у Дейкстры был для того, что бы программист чётко описывал все условия, а не надеялся на то, что часть условий можно пропустить, потому что они в условиях выше по тексту проверялись
[18:44:39] <geniepro> вообще это может дать возможность компилятору (или JIT'у) выбрать оптимальный порядок просмотра условий с помощью анализа программы (статистики JIT'а)
или даже вообще распараллелить вычисление этих условий
[18:46:37] <geniepro> а они там понавыдумывали всякие очереди, случайныек выборы -- бредогоны какие-то