PF:Sylabus: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 37: | Linia 37: | ||
=== Moduły === | === Moduły === | ||
* [[PF:Moduł Wstęp | * [[PF:Moduł Wstęp | Wstęp – porównanie programowania funkcyjnego i imperatywnego]] | ||
* [[PF:Moduł Podstawy | * [[PF:Moduł Podstawy | Podstawy języka programowania Ocaml]] | ||
* [[PF:Moduł | * [[PF:Moduł Struktury danych | Podstawowe typy danych]] | ||
* [[PF:Moduł Wyrzsze rzędy 1| Procedury wyższych rzędów]] | * [[PF:Moduł Model obliczeń | Model obliczeń]] | ||
* [[PF:Moduł Wyrzsze rzędy 2| Procedury jeszcze wyższych rzędów]] | * [[PF:Moduł Wyrzsze rzędy 1 | Procedury wyższych rzędów]] | ||
* [[PF:Moduł | * [[PF:Moduł Wyrzsze rzędy 2 | Procedury wyższych rzędów i listy]] | ||
* [[PF:Moduł | * [[PF:Moduł Wyrzsze rzędy 3 | Procedury jeszcze wyższych rzędów]] | ||
* [[PF:Moduł | * [[PF:Moduł Moduły | Moduły]] | ||
* [[PF:Moduł | * [[PF:Moduł Funktory | Funktory]] | ||
* [[PF:Moduł | * [[PF:Moduł Imperatywne | Programowanie imperatywne]] | ||
* [[PF:Moduł Strunmienie | * [[PF:Moduł System typów | System typów]] | ||
* [[PF:Moduł Uleniwianie | Techniki uleniwiania i spamiętywania ]] | |||
* [[PF:Moduł Strunmienie | Strumienie]] | |||
Aktualna wersja na dzień 15:49, 12 cze 2006
Programowanie funkcyjne – Sylabus
Forma zajęć
wykład (30 godz.) + laboratorium (30 godz.)
Opis
Celem przedmiotu jest przedstawienie programowania funkcyjnego – paradygmatu i stylu programowania, oraz towarzyszących mu technik programistycznych. Wykłady obejmują wprowadzenie do wybranego języka funkcyjnego (Ocaml) oraz podstawowe pojęcia i techniki programowania funkcyjnego. Laboratoria obejmują praktyczną naukę programowania funkcyjnego, zwieńczoną realizacją średniej wielkości programu.
Autor sylabusa
Wymagania wstępne
- Wstęp do programowania,
- Logika i teoria mnogości.
Zawartość
- Podstawowe konstrukcje wybranego funkcyjnego języka programowania.
- Typy danych.
- Proceudry wyższych rzędów.
- Model obliczeń programów funkcyjnych (uproszczona semantyka operacyjna).
- System typów dla fragmentu języka.
- Moduły i funktory.
- Konstrukcje imperatywne.
- Uleniwianie i spamiętywanie.
- Strumienie.
Literatura
- H. Abelson, G. J. Sussman, Struktura i interpretacja programów komputerowych, WNT 2002.
- X. Leroy, The Objective Caml system, [1]
- E. Chailloux, P. Manoury, B. Pagano, Developing Applications with Objective Caml, [2]
- D. Remy, Using, Understanding and Unraveling the Ocaml Language, [3]
Moduły
- Wstęp – porównanie programowania funkcyjnego i imperatywnego
- Podstawy języka programowania Ocaml
- Podstawowe typy danych
- Model obliczeń
- Procedury wyższych rzędów
- Procedury wyższych rzędów i listy
- Procedury jeszcze wyższych rzędów
- Moduły
- Funktory
- Programowanie imperatywne
- System typów
- Techniki uleniwiania i spamiętywania
- Strumienie
