Три идеи, которые делают языки программирования лучше
A Few Good Ideas in Programming Languages
Pranoy Dutta рассказывает о трёх возможностях языков, которые ему особенно нравятся: flow typing в Crystal и TypeScript, borrow checking в Rust для статического предотвращения гонок данных и контрактное программирование в D с assert, enforce, предусловиями, постусловиями и инвариантами классов. Он объясняет, как эти механизмы работают, и делится, почему считает их элегантными и полезными.
Мне нравится borrow checker, потому что это такое элегантное решение проблемы гонок данных, и это абстракция с нулевой стоимостью, которая обходится только проверками во время компиляции и дополнительной сложностью.