_Do r. akad. 2016/17 Programowanie funkcyjne było przedmiotem I2.T (JP Języki programowania i logika - 100%), od r. akad. 2017/18 - I1._
Programowanie funkcyjne jest stylem programowania opartym na obliczaniu wartości wyrażeń, w przeciwieństwie do programowania imperatywnego, wykorzystującego modyfikacje stanu programu przez instrukcje. Celem wykładu jest przedstawienie odmiennego paradygmatu programowania i pokazanie sytuacji, w jakich jest on użyteczny.
W trakcie wykładu będą przedstawione pojęcia i techniki programowania funkcyjnego w oparciu o konstrukcje języka OCaml (język z rodziny ML). Język F# z platformy .Net jest w znacznym stopniu kompatybilny z językiem OCaml. Będzie omawiany m.in. system typów z polimorfizmem parametrycznym, funkcje wyższych rzędów, rekursja ogonowa, mechanizm dopasowania do wzorca, sygnatury, struktury i funktory, strategie wartościowania wyrażeń. Będzie też omawiany język Scheme jako przedstawiciel języków z typizacją dynamiczną. Będą też odniesienia do języka Haskell, znanego z przedmiotu "Metody programowania", jako przedstawiciela języków funkcyjnych z ewaluacją leniwą.
Wymagania:
Metody programowania
Czwartki godz.12:00-12:45 (konieczne jest wcześniejsze uzgodnienie). Możliwe są też inne terminy po uzgodnieniu za pośrednictwem poczty elektronicznej: zs@cs.uni.wroc.pl.
