Полный текст
Rust: владение и субструктурные типы на пальцахЦель этого материала — объяснить, как можно применить теорию системы субструктурных типов при создании языков программирования. Термины вроде «теория системы субструктурных типов» обычно пугают и сбивают с толку программистов, которые не пишут на Haskell по выходным. Поэтому, чтобы обычные программисты смогли понять принцип работы нового языка, его создатель должен придумать эффектные метафоры, пусть даже несколько вводящие в заблуждение. Один из таких терминов — «владение».