Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/03423.jsonl.gz/2403

JavaScript hat den Ruf, eine unsichere Programmiersprache zu sein. Man kann aber sichere und belastbare Konstrukte bauen. Ein Weg dazu ist die Anwendung von Erkenntnissen aus den Grundlagen der Informatik, dem untypisierten Lambda-Kalkül.
JavaScript mit Lambda Kalkül
Ziel der Forschungsarbeit ist es, neue Konstruktionen aus dem untypisierten Lambda Kalkül mit JavaScript zu bauen. Diese Konstruktionen machen JavaScript Applikationen robuster, sicherer und wartbarer. Dabei wird komplett auf die Werte der reinen funktionalen Programmierung gesetzt. JavaScript bietet dazu Sprachelemente wie Closures und Funktionen. Sie machen es möglich in JavaScript funktional programmieren zu können. Es gewährleistet die Konzepte der Seiteneffektfreiheit, Zustandslosigkeit, Variablenbindung statt Zuweisung, Funktionskomposition und Funktionen höherer Ordnung (high order functions).
Da es bei dieser Forschungsarbeit keine konkrete Aufgabe gibt, sondern nur ein übergeordnetes Ziel hat und die weiterführung des IP5 "Lambda Kalkül für praktisches JavaScript" ist, kam folgendes dabei raus:
Prof. Dierk König <email-pii>