Programowanie funkcyjne


Informacje ogólne

Typ:monograficzny
Kierunek:Informatyka studia drugiego stopnia
Semestr:zimowy
Wymiar zajęć: 30 godz wykladu, 30 godz laboratorium
Punkty ECTS:5

Program

Języki programowania można podzielić na operacyjne i deklaratywne. Podstawą operacyjnych języków -- jak n.p. C, C++ albo Java -- jest manipulacja stanów; w przeciwieństwie do tego języki deklaratywne -- funkcyjne i logiczne jak Prolog -- wyłącznie polegają na ewaluacji wyrażeń: programista nie ma kontroli, jak programy zostają wykonane, ale tylko opisuje, co programy mają zrobić.Wykład wprowadza do programowania funkcyjnego na podstawie języku Haskell. Oprócz podstawjak pattern matching oraz funkcje wyższego poziomu, też planowane są tematy takie jak inferencja typów, overloading, polymorfizm oraz klasy typów.

Sposób zaliczenia

Ćwiczenia:zaliczenie na podstawie wyników z kolokwium.Egzamin w sesji podstawowej: pisemny, egzaminy poprawkowe: ustne.

Literatura

  • G. Hutton, Programming in Haskell; Camebridge University Press 2007