Paradygmaty programowania

Forma zajęć

Wykład (30 godzin) + laboratorium (30 godzin)

Opis

Kurs omawia paradygmaty pojawiające się we współczesnych językach programowania: programowanie imperatywne, obiektowe, funkcyjne i programowanie w logice. Pozwala to pogłębić znajomość języków programowania, a także zrozumieć podstawowe zagadnienia implementacyjne.

Sylabus

Autor

• Włodzimierz Moczurad

Wymagania wstępne

• Logika i teoria mnogości
• Wstęp do programowania
• Algorytmy i struktury danych

Zawartość

• Pojęcia ogólne
  • Opis składni i semantyki języków programowania
  • Typy
  • Przekazywanie parametrów do podprogramów
  • Abstrakcyjne typy danych
  • Przeładowywanie operatorów i podprogramów
  • Polimorfizm

• Programowanie imperatywne
  • Zmienne
  • Struktura blokowa
  • Wiązanie statyczne i dynamiczne
  • Organizacja wywołań podprogramów
  • Przydział pamięci na stosie i na stercie
  • Przykłady z języków C, Fortran, Pascal

• Programowanie obiektowe
  • Klasy jako abstrakcyjne typy danych
  • Dziedziczenie
  • Późne wiązanie wywołań
  • Polimorfizm
  • Szablony i klasy rodzajowe
  • Przykłady z języków C++, Java, C#, Ada 95, Smalltalk

• Programowanie funkcyjne
  • Funkcje jako model programowania
  • Rachunek lambda
  • Dopasowywanie wzorca
  • Otypianie
  • Rekursja
  • Leniwa ewaluacja
  • Funkcje wyższego rzędu
  • Przykłady z języków Lisp, Scheme, ML, Haskell

• Programowanie w logice
  • Rachunek predykatów w Prologu
  • Rezolucja
  • Listy

Literatura

• Robert Sebesta: Concepts of Programming Languages. Addison Wesley, 2005
• Peter Van Roy, Seif Haridi: Concepts, Techniques, and Models of Computer Programming. MIT Press, 2004
• Ken Arnold, James Gosling: The Java Programming Language. Addison Wesley, 2005 / Java. Wydawnictwa Naukowo-Techniczne, 1999
• Jeffrey Ullman: Elements of ML Programming. Prentice Hall, 1997

Moduły

• Co to jest paradygmat programowania? (Ćwiczenia)
• Semantyka zmiennych (Ćwiczenia)
• Typy, typy abstrakcyjne (Ćwiczenia)
• Podprogramy (Ćwiczenia)
• Programowanie obiektowe — przegląd (Ćwiczenia)
• Programowanie funkcyjne — przegląd (Ćwiczenia)
• Programowanie w logice - przegląd (Ćwiczenia)
• U podstaw programowania funkcyjnego— rachunek lambda(Ćwiczenia)
• U podstaw programowania obiektowego — rachunek sigma (Ćwiczenia)
• Programowanie funkcyjne w Haskellu (część pierwsza) (Ćwiczenia)
• Programowanie funkcyjne w Haskellu (część druga) (Ćwiczenia)
• Programowanie funkcyjne w Haskellu (część trzecia) (Ćwiczenia)
• Programowanie w logice w Prologu (część pierwsza) (Ćwiczenia)
• Programowanie w logice w Prologu (część druga) (Ćwiczenia)
• Inne paradygmaty warte wspomnienia (Ćwiczenia)