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

Funktionale Programmierspracchen sind Vorreiter für statische Typsysteme.统计类型是对劳动者的评价，在发展的过程中，计划的数据是一致的。我梅尔更有能力在韦尔登系统中快速地检查数据，因此可以在一个计算机上工作。Eine Vielzahl von verwendeten Datentypen steht jedoch der Wiedervendbarkeit 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.所有数据类型都有一个共同的结构（记录和联合类型），当人们创建这个结构时，可以通过遗传学程序来创建一个用于数据类型的Vielzahl，并将其自动化，然后再创建一个新的类型。随着对大规模类型系统的开发，程序的形式验证和开发，遗传程序也将变得更加重要。我们希望能在一个通用的基础上制定一个特别的语言，或者从一个特定的角度来实现：如何解决一个理想的遗传学程序员的问题？韦尔登的实施效果如何？如何让你的工作效率更高或更优雅，并让你的新工作效率更高？

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?