Eine Algebraische Programmiersprache erfüllt die Eigenschaften der Referenziellen Transparenz. Das Konzept ist verwandt mit demjenigen funktionaler Programmiersprachen. == Termumformungen von Gleichungen und neue Sprachen == Für Termumformungen von Gleichungen in der Algebra (bzw. Programmcode in Programmiersprachen) müssen Regeln wie das Kommu...