| | |
Summary: RHEINISCH-
WESTF
ALISCHE
TECHNISCHE
HOCHSCHULE
AACHEN
LEHR- UND FORSCHUNGSGEBIET INFORMATIK II
RWTH Aachen D-52056 Aachen GERMANY
http://www-i2.informatik.rwth-aachen.de/lufgi2
LuFG
Informatik II
Prof. Dr. J urgen Giesl
Rene Thiemann
Exercises Functional Programming { Sheet 11
Solutions will be collected until Thursday, Jan 16, 2003 in the exercise course.
Exercise 1 (5 + 3 + 2 points)
Transform the following Haskell-expressions to simple Haskell-expressions using the transforma-
tion rules from the lecture. Additionally, determine in part (b) the semantics of the transformed
expression by computing the least xpoint. You do not need to show every step explicitly!
(a) let mod 0 _ = 0
|