Symbolisches Rechnen: Beisp.: Funktionen

• auf konkreten Daten: let f x = (x+1)^2 in f 3.1 - f 3
• auf symbolischen Daten: diff((x+1)^2,x)

• subst([x=3],diff((x+1)^2,x))

• eigentlich diff(\x -> (x+1)^2)

  mit diff::(R -> R) -> (R -> R),

  aber da die Mathematiker Funktionen (höhere Ordnung) immer unzweckmäßig bezeichnen, um den Lambda-Kalkül zu vermeiden ...