4
Що мовні дизайнери роблять, щоб вирішити чи довести, що певна функція працює правильно?
Мене цікавить мовний дизайн, і взагалі можу легко міркувати про широко відомі особливості (наприклад, успадкування, поліморфізм, делегати, лямбда, захоплення, збирання сміття, винятки, дженерики, дисперсія, рефлексія тощо), їх взаємодії в конкретної мови, шляхів їх можливого втілення, обмежень тощо. В останні кілька місяців я почав читати про Rust, який має систему власності, …