Тема: ограничения

Статья

Границы: чего Уроборос не делает и что ломается на практике

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

#уроборос#трассировка#ограничения

Статья

Чего в языке пока нет: проверенный список

Что flang 0.7.29 не умеет — каждый пункт с маленькой программой и настоящим ответом компилятора. Рядом — что из прежнего списка недостач уже сделано: мера убывания, …

#flang#ограничения#инструменты

Статья

Границы гарантии Digit

Что проверяемый режим ловит, чего не ловит и сколько стоит гарантия в отказах — без смягчений

#digit#верификация#ограничения