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

通用函数式编程语言：理论、语言设计、实现和应用

• 批准号: 5444787
• 负责人: Dr. Ralf Hinze
• 金额: --
• 依托单位: Computing Laboratory
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2004
• 资助国家: 德国
• 起止时间: 2003-12-31 至 2006-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5444787?language=en
• 关键词: Eine; generische; funktionale; Programmiersprache; Theorie

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?

Funktionale Programmiersprachen sind Vorreiter für统计典型系统。这是一项非常重要的工作，我们将为您的工作做好准备。我的意思是，在程序中，所有的数据都是这样的，而不是其他的。这是一个很重要的问题，因为这是一个很大的问题，也就是说，这是一件很重要的事情。所有的数据都在相同的结构中得到了记录和类型，而且我们的数据是错误的，它的结构是抽象的，它是一种遗传性的程序，它是一种新的程序，是一种新的技术和方法。这是一个非常重要的问题，因为这是一个非常重要的问题，因为它是一种传统的程序，它的形式是验证和程序设计。我们将为您提供更多的服务，并为您提供更多的服务。我们将为您提供更多的服务。你认为这是有效的实施吗？您是不是也不知道L先生是不是很优雅呢？