Egison-Sprachentwicklung: Mustererkennung und symbolische Berechnung

Ich entwickle angewandten und Forschungs-Code in der Egison-Sprache — einer funktionalen Sprache, deren Hauptmerkmal die ausdrucksstarke nicht-lineare Mustererkennung über nicht-freie Datentypen ist: Mengen, Multimengen, Graphen. Wenn Sie Daten haben, deren Struktur nicht zu standardmäßiger Mustererkennung passt, entwerfe ich einen geeigneten Matcher, und die Egison-Sprache übernimmt die schwere Arbeit. Meine Praxis teilt sich in drei Richtungen auf. Erstens — Musterdesign: Ich kodifiziere Sammlungen, Permutationen, Pokerkombinationen, Sequenzanpassungen und kombinatorische Einschränkungen als prägnante Matcher und verifiziere sie mit umfassenden Tests. Zweitens — symbolische und mathematische Berechnung: Ich wende die integrierte symbolische Engine und die Tensor-Index-Notation an, um Ausdrücke abzuleiten und zu differenzieren, Algorithmen zu prototypisieren und Identitäten zu verifizieren, die mühsam von Hand zu berechnen sind. Drittens — Forschungsunterstützung: Ich helfe, Ergebnisse aus Egison-Sprach-Papieren zu reproduzieren, Prototypen zu portieren und mathematische Spezifikationen in ausführbaren Code umzuwandeln. Das Ergebnis umfasst sauberen, kommentierten Quellcode, README, ausführbare Test-Suite und ein kurzes Gespräch mit Durchgang. Ich habe jahrelange Erfahrung in funktionaler Programmierung mit Haskell und Scheme, daher ist der Wechsel zu Egison natürlich. Beschreiben Sie, welche Strukturen Sie abgleichen müssen und welche Identitäten zu beweisen sind, und ich sende Ihnen einen Plan mit Meilensteinen vor der ersten Codezeile.