[01:37:20] <vlad2> Чувак зрит в корень даже не участвуя в обероновских войнах, респект: As for Oberon2, I have never used it, but the only way it can be so simple is if it completely ignores to address many of the complex issues that need to be addressed in safety critical software. So comparing Ada to Oberon2 is not a good argument.
[06:40:47] <valexey__> Хм. А Адовцы тоже какие-то маловменяемые в комментах там.
"how would you define a type ( not a class but a type ) that represents a fixed point decimal number ( 0->1000 with 4 decimal places. ) and then prevent a programmer from accidentally adding that to another numeric type with a total of 4 bytes of ram in 4213 byte order in memory? AFAIK those 3 requirements put together are completely
Compared to ADA Haskell is weakly typed, and rust is unsafe, both have a flavor of the month feel to them, and I am unaware of any serious safety critical (e.g. bugs cause people to die) projects using either of those languages."
[06:40:57] <valexey__> С какого перепугу разделяют понятие class и type? Класс это же тип. И class == struct (in C++).
[06:41:04] <valexey__> К ООП class обычно никакого отношения не имеет же.

Вообще, описанная задача на С++ делается без особых проблем.
[06:44:40] <valexey__> Кстати, в Rust'e паники это таки исключения почти всюду. То есть они раскручивают стек и вызывают деструкторы.
[06:44:48] <valexey__> Панику можно перехватить и обработать.
[06:45:20] <valexey__> Но! Некоторые паники они не onwind, они abort - вот их нельзя перехватить и обработать. Такая паника случается например при сегфолте.
[06:45:57] <valexey__> Другое дело, что для индикации и обработки ошибок которые являются штатными, там паники не используются.