Oferta dydaktyczna Instytutu Informatyki

Poniższa lista przedstawia przedmioty, które są uczone w Instytucie Informatyki, niektóre z nich co roku, niektóre z mniejszą częstotliwością Każdy student Instytutu Informatyki studiuje wg indywidualnego toku studiów, wybierając (zgodnie z pewnymi zasadami) z tej listy swoje przedmioty.

Jeżeli zastanawiasz się nad studiami u nas, jeżeli chcesz wiedzieć, czy na Uniwersytecie można zostać inżynierem, jeżeli interesuje Cię 1000 zł stypendium miesięcznie - zapraszamy na naszą stronę główną

Haskell dla zaawansowanych

Nazwa angielska (title in English): Advanced Haskell
Prowadzący (lecturer): Tomasz Wierzbicki
Liczba punktów (ECTS): 5
Liczba punktów 2007 (ECTS since 2007): 3
Rodzaj (type): kurs
Rodzaj od 2007 (type since 2007): kurs
Liczba godzin (hours in semester):
wykład:30
pracownia:30
Egzamin (exam): nie
Możliwe zajęcia w języku angielskim (can be taught in English): tak
Przedmiot zostal uaktualniony na biezacy rok (updated): tak
Semestr (semester): zimowy

Opis (description)

Podstawy języka Haskell są wykładane w ramach obowiązkowego przedmiotu „Programowanie”, dlatego w ofercie przedmiotów nie ma wstępnego kursu tego języka. Proponujemy natomiast wykład bardziej zaawansowany, który zacznie się w miejscu, w którym skończyło się „Programowanie”.

Program (program)

Mastering monads. Monad transformers. Arrows. Types beyond shallow polymorphism. Programming in types. Olegology.

Literatura (references)

Jeżeli jesteś zainteresowany studiowaniem w naszym instytucie, zapraszamy na stronę poświęconą tegorocznej rekrutacji.

Nazwa użytkownika (user name):
Hasło (password):