TPFI

• Why Functional Programming?

Haskell 101

• Sintassi, Funzioni e Pattern Matching
• Types, Polymorphism and Classes - Haskell
• Lists - Haskell 🟢
• let & where - Haskell 🟢
• Classes and Subtyping - Haskell 🟢
• Function Composition - Haskell 🟢
• Funzioni di Ordine Superiore, Currificazione e η-regola 🟢

Advanced

• Laws and Proofs (equational reasoning) - Haskell
• Lambda Calcolo 101
• Forme Normali - Lambda Calcolo
• Laziness in Haskell

TODO:

• map i = i map (f . g) = map f . map g
• Ultima parte Law and Proofs (L5)
• Lambda Calcolo (L7)
• Fusion Law + induzione di liste parziali (L8-prime pagine)

Esercizi dimostrazioni:

Program Calculations - Haskell

Perle di programmazione

• John Backus Map Application - Haskell
• Voting Systems (Perla) - TPFI

unfold classe