Drei elegante Ideen, die Programmiersprachen besser machen
A Few Good Ideas in Programming Languages
Pranoy Dutta stellt drei Sprachfeatures vor, die er liebt: Flow Typing in Crystal und TypeScript, das den Compiler Typen je nach Kontrollfluss verfeinern lässt; den Borrow Checker in Rust, der Datenrennen zur Compile-Zeit ausschließt; und Vertragsprogrammierung in D mit assert, enforce sowie Vor- und Nachbedingungen. Besonders die objektweiten Invarianten in D sorgen für sauberen, wartbaren Code.
Ich liebe den Borrow Checker, weil er eine so elegante Lösung für das Problem der Datenrennen ist und eine Zero-Cost-Abstraktion darstellt, die nur durch Compile-Zeit-Prüfungen und zusätzliche Komplexität erkauft wird.