Eine generische funktionale Programmiersprache: Theorie, Sprachentwurf, Implementierung und Anwendung

函数式编程器（functionale Programmiersprachen）和静态类型系统（statsche typsystem）。研究人员在报告中指出，研究人员在报告中指出，研究人员在报告中指出，研究人员在报告中指出，研究人员在报告中指出，研究人员在报告中指出。Je mehr Eigenschaften der verwendeten Daten in Typsystem interfast werden, desto zuverlässiger arbeitet in program。Eine Vielzahl von verwendeten datentgenen stet jedoch der Wiederverwendbarkeit von programming code entgegen: Die meisten Operationen lassen sich weder aufle Datentypen in gleicher Weise <e:1> bertragen, noch sind sie völlig unabhängig von der Natur des zugrundeliegenden Typs。阿莱Datentypen您jedoch一张gemeinsame合写(记录和Union-Typen gepaart麻省理工学院Rekursion),和它,要是超级Struktur这祖abstrahieren萤石genetische计划写作人,死西奇毛皮一张Vielzahl冯Datentypen wiederverwenden拉森tucker和死贝Anderungen冯Datentypen automatisch一个死neuen Gegebenheiten anpassen。因此，我们需要对程序的形式进行验证，我们需要对程序的形式进行验证，我们需要对程序的形式进行验证。Wir wollen bisherige, sprachspezifische ad-hoc-Lösungen auf eine allgemeine Basis stelen, ohne dabei die Implementation aus den Augen zu verlieren: what soll ine idealtische programmierspachifische ？我们如何才能有效地实现我们的目标？Welche bekannten Anwendungen laslasen高效优雅lösen和Welche neuen Anwendungen erschließ ensich ？

Funktionale Programmiersprachen sind Vorreiter für statische Typsysteme. Statische Typen dienen der Vermeidung von Laufzeitfehlern, indem zur Entwicklungszeit sichergestellt wird, dass Programme ihre Daten in konsistenter Weise verwenden. Je mehr Eigenschaften der verwendeten Daten im Typsystem erfasst werden, desto zuverlässiger arbeitet ein Programm. Eine Vielzahl von verwendeten Datentypen steht jedoch der Wiederverwendbarkeit von Programmcode entgegen: Die meisten Operationen lassen sich weder auf alle Datentypen in gleicher Weise übertragen, noch sind sie völlig unabhängig von der Natur des zugrundeliegenden Typs. Alle Datentypen haben jedoch eine gemeinsame Struktur (Record- und Union-Typen gepaart mit Rekursion), und wenn man erlaubt, über diese Struktur zu abstrahieren, kann man genetische Programme schreiben, die sich für eine Vielzahl von Datentypen wiederverwenden lassen und die sieh bei Änderungen von Datentypen automatisch an die neuen Gegebenheiten anpassen. Da die Entwicklung auf dem Gebiet der Typsysteme große Fortschritte macht und zu erwarten ist, dass die formale Verifikation von Programmen weiterhin an Bedeutung gewinnt, wird auch die genetische Programmierung zunehmend unentbehrlich. Wir wollen bisherige, sprachspezifische ad-hoc-Lösungen auf eine allgemeine Basis stellen, ohne dabei die Implementation aus den Augen zu verlieren: Wie soll eine ideale genetische Programmiersprache aussehen? Wie kann sie effizient implementiert werden? Welche bekannten Anwendungen lassen sich effizienter oder eleganter lösen und welche neuen Anwendungen erschließen sich?