• Capitolul 1: Introducere
  • exemple folosind cod Java, Python, LaTeX
  • exemplu cod Prolog
  • introducere în Racket: consolă, program
• Capitolul 2: Programare funcțională în Racket
  • tipuri de recursivitate
• Capitolul 3: Calcul Lambda
  • cod Racket discutat la curs
  • recapitulare calcul Lambda
  • opțional: implementare TDA în calcul lambda și demonstrație recursivitate semantică pentru length
• Capitolul 4: Racket+
  • funcții curry și funcționale
  • structuri care leagă
• Capitolul 5: Evaluare întârziată în Racket
  • implementare prod
  • fluxuri
  • exemplu Java
  • opțional: implementare Promisiuni în Racket
• Capitolul 6: Programare funcțională în Haskell
  • cod scris la curs (6 aprilie și 13 aprilie)
• Capitolul 7: Tipuri în Haskell
  • cod scris la curs
• Capitolul 8: Clase în Haskell

Feedback pentru cursul de la seria CC