Das Substitutionsmodell in Scheme

  • Der Name einer Funktion wird durch die Definition der Funktion ersetzt
  • Ein lambda-Ausdruck und die angegebenen Werte für die Parameter wird durch den konkreten Rechenausdruck ersetzt
  • Eine boolesche (Un-)Gleichung wird durch #t oder #f ersetzt
  • Eine Verzweigung wird durch den durch #t oder #f ermittelten Zweig ersetzt
  • Rechenvorschriften werden ausgerechnet

Keine Kommentare:

Kommentar veröffentlichen