Functional Programming (ITI0212 - Spring 2024)

Lectures on Tuesday from 10:00-11:30 in ICO-316

Labs on Tuesday from 12:00-13:30 and 14:00-15:30, Wednesday from 10:00-11:30, and Friday from 12:00-13:30 in ICO-410

Instructors/TAs: Chad Nester, Matthew Earnshaw, Ekaterina Zhuchko, Ian Erik Varatalu

Idris2 Resources

Idris2 Installation Instructions

Ian's Idris2 Windows Installation Notes

The Idris2 Online Documentation

The Idris Tutorial (Written for Idris but also helpful for Idris2)

The Idris Book (Also availabe from TalTech library)

Homework Assignments and Course Project

There will be five small homework assignments and a (slightly larger) course project.

The Course Project is due 31/05/2024.

Homework 1 is due 01/03/2024.

Homework 2 is due 29/03/2024.

Homework 3 is due 19/04/2024.

Lecture Topics and Lab Sheets

Week Lecture Date Topic Lab
01 30/01/2024 Course Introduction lab-01
02 06/02/2024 Inductive Types and Recursive Functions lab-02
03 13/02/2024 Parameterised Types and Polymorphic Functions lab-03
04 20/02/2024 Function Literals and Higher-Order Functions lab-04
05 27/02/2024 Interfaces lab-05
06 12/03/2024 Input and Output lab-06
07 19/03/2024 Infinite Data lab-07
08 26/03/2024 Dependent Types lab-08
09 02/04/2024 Computation in Types lab-09
10 09/04/2024 Propositions as Types lab-10

… To be continued