Referințe Bibliografice

Plan de Lucru preliminar

Săptămâna 1 - Introducere

Săptămâna 2 - Efecte secundare, transparență referențială, pattern matching, funcții recursive

Săptămâna 3 - Tipuri algebrice de date

Săptămâna 4 - Tipuri algebrice de date (2)

Săptămâna 5 - Funcții de ordin superior

Săptămâna 6 - Clase de tipuri

Săptămâna 7 - Polimorfism. Evaluare leneșă.

Săptămâna 8 - Simulare examen

Săptămâna 9 - Monada IO. Module. Instrumentul stack. Property-based Testing

Săptămâna 10 - Topici avansate 1 (e.g., structuri de date pur funcționale, rezolvarea problemelor în stil funcțional) - se recupereaza pe data de 21 mai la ora 14 (sala ramane de confirmat)

Săptămâna 11 - Topici avansate 2 (e.g., structuri de date pur funcționale, rezolvarea problemelor în stil funcțional)

Săptămâna 12 - Lambda calcul netipizat.

Săptămâna 13 - Codificări Church.

Săptămâna 14 - Strategii de evaluare în lambda-calcul.