Большая часть цифрового мира стоит на фундаменте, который изначально не проектировали для нынешних масштабов и угроз. Операционные системы, сетевые службы, браузеры и серверные компоненты десятилетиями писались на языках, позволяющих программисту напрямую управлять памятью — и так же напрямую ошибаться. Саймон Пейтон Джонс, один из создателей Haskell, сравнивает эту ситуацию с лодкой из канцелярских скрепок: мы удивляемся протечкам, хотя отверстия заложены уже в самом материале. Его формулировка...