03 Types and IO

This repository contains source code from week 3.

src
├── ADT.java             -- Shows how sum types can be modelled in Java.
├── AbstractDataType.hs  -- Shows how implementation details can be hidden.
├── HKT.hs               -- Higher kinded types.
├── HKT_Type_Families.hs -- Higher kinded types with type families.
├── FirstIO.hs           -- Simple hello world like program.
├── hcp.hs               -- A simple text copy program.
├── Args.hs              -- Example program reading command line arguments.
└── MIO.hs               -- A data type modelling IO actions.