Haskell: hardt og godt

En introduksjon til Haskell med noe for enhver. Slides. Løst program følger.

• Lovnad: det vil komme noe du skjønner
• Lovnad: det vil komme noe du ikke skjønner
• Lovnad: jeg vil gjøre en typefeil i løpet av foredraget

Haskell

• Ren funksjonell programmering
• Sterk automatisk typing
• Lazy
• Hvorfor Haskell

Funksjoner

• Minimal funksjonssyntaks
• Anonyme funksjoner: λ
• Operatorer er infix-funksjoner

Typesystemet

• Grunnleggende datatyper: Int, Char, Double, Tuple
• Algebraiske datatyper
  • Vår egen List: Liste
  • Vår egen Maybe: Kanskje
• Records: hvordan å samle flere
• Typeklasser

Lister

• Iterasjon: rekursjon og pattern matching
• Iterasjon: Høyere Ordens Programmering
• Demo: Capitalizer

Vår egen monade

• Behov: besteforeldre
• Kanskje som en monade
• Besteforelde, monadisk
• Liste som en monade

Skitne, lille IO

• IO i andre språk
• Typen til IO
• Hello, World!
• IO som en monade

Do-notasjon: kos med monader

• IO med do-notasjon
• Bestefedre med do-notasjon
• Kvadrattall med do-notasjon