Ich suche nach einer Sprache, die mit Programmen arbeitet, die in genau dieser Sprache geschrieben sind. Das ist eine Sprache, deren Programme die primären (möglicherweise einzigen) Objekte dieser Sprache sind.Reflektierende Sprache für symbolische Berechnungen
So etwas wie eine selbstprogrammierte Transformationssprache, die nur unter diesem Gesichtspunkt erstellt wurde.
Motivation ist die folgende:
ein Programm P1 gemeint Real berechnen -> Echt ich ein Programm P2 haben will, die P1 nehmen würde und es zu einem symbolischen Derivat-Transformation (oder ein antiderivative) von P1. Offensichtlich kann P2 bei den meisten Eingaben nicht richtig arbeiten.
Man könnte es als eine Mustererkennung gegen Lambdas sehen. Aber ein sehr praktischer Mustervergleich.
Welche Sprachen schlagen Ihre Forschung vor? Welche Sprachen haben Sie gefunden, die nicht ganz zur Rechnung passen, und warum? – Marcin
@Marcin Ich habe rein versucht, aber es ist Darstellung für Reflexion ist ungeschickt. Zum Beispiel wenn-dann-sonst und Wächter sind deutlich vertreten. – Yrogirg
Also, aktualisieren Sie Ihre Antwort entsprechend. – Marcin