Repository for the execise lecture of the course on Principles of Programming Languages (2015)
This repository contains all the exercises on Haskell presented during the exercize lectures of the course "Principles of Programming Languages (2015)"
(6/5/15)
Function definition and pattern matching;
Constructor (type vs data);
Record syntax;
Type synonyms;
newtype vs data;
functions currying and composition;
Infinite computations;
(15/5/15) boolean guards; Infinite computations; let & where; case expressions; fold; list comprehension; typeclasses;
(29/5/15) Monads: Maybe, State; Dedinition of Logger Monad; Application to binary tree; Homework (slide)
(5/6/15) Concurrency; Homework (possible solution)