Programmiersprachen: Sicherheit und Leistungsfähigkeit im Gleichgewicht
Dieser Artikel untersucht den Kompromiss zwischen Sicherheit und Leistungsfähigkeit in Programmiersprachen. Die traditionelle Ansicht besagt, dass leistungsstarke Sprachen wie C mit seinem manuellen Speichermanagement von Natur aus unsicher sind. Der Autor argumentiert jedoch, dass diese Sichtweise veraltet ist. Moderne Forschung in Programmiersprachen zeigt, dass größere Ausdruckskraft sowohl Sicherheit als auch Leistungsfähigkeit ermöglicht. Die Entwicklung von Makros in Lisp, Scheme und Racket veranschaulicht dies und zeigt, wie verbessertes Design die Fähigkeiten von Makros verbessern kann, während gleichzeitig die Sicherheit erhalten bleibt. Rackets Makrosystem wird als Best Practice präsentiert, da es hygienischen Code mit leistungsstarken Manipulationsmöglichkeiten kombiniert. Der Artikel schlussfolgert, dass sichere und zuverlässige Systeme leistungsfähigere und zuverlässigere Software erstellen und empfiehlt Ressourcen zum weiteren Lernen über Racket-Makros.
Mehr lesen