adoption

2 posts

Statistical debugging должен был покончить с отладкой через printf. Большинство команд так и не заставило его работать.

Statistical debugging обещал точно находить баги, коррелируя поведение программы с отказами. Вот почему эта идея так и не перешла из научных статей в продакшен-системы.

Statistical debugging должен был покончить с эпохой . Инструментируйте ваш код, собирайте трейсы из тысяч прогонов, запускайте корреляционный анализ и…

Типы сессий работают. Большинство языков просто отказалось их реализовывать.

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

Типы сессий были изобретены в 1993 году. Тридцать лет спустя большинство сетевых сервисов всё ещё валидируют состояние протокола с помощью ручных…