• Capitolul 1: Introducere
  • exemplu Python
  • exemplu cod Prolog
  • introducere în Racket: consolă, program
• Capitolul 2/4: Programare funcțională în Racket
  • tipuri de recursivitate
  • funcționale
  • legare
• Capitolul 3: Calcul Lambda
  • exemple în Racket
  • demonstrație recursivitate semantică
• Capitolul 5: Evaluare leneșă în Racket
  • exemplu prod
  • fluxuri
  • exemplu generatoare python
• Capitolul 6: Programare funcțională în Haskell
  • cod discutat la curs + interogări consolă
  • exemple programare point-free + interogări consolă
• Capitolul 7: Tipuri în Haskell
  • cod discutat la curs
  • cod discutat la curs 18 aprilie
• Capitolul 8: Clase în Haskell
  • cod discutat la curs
• Capitolul 9: Recapitulare paradigma funcțională
• Capitolul 10: Logica cu Predicate de Ordinul I
• Capitolul 11: Introducere în Prolog
  • cod discutat la cursul din 10 mai

Feedback continuu pentru cursul de la seria CC