{{predmet|Metodika programování a filozofie programovacích jazyků|Rudolf Kryl|PRG003}}
== Obecné povídání o jazycích ==
{{TODO|Záměrem této sekce je být odrazem přednášek. Zatím obsahuje pouze odkaz na sbírku odkazů níže.}}
=== Poznámky ===
* [[PRG003 rysy a odkazy]] - obsáhlá sbírka odkazů a informací k jednotlivým probíraným jazykům
== Podrobnosti k vybraným jazykům ==
Jak je jistě známo, u zkoušky se vyžaduje podrobnější znalost jednoho jazyka, vybraného z následujích možností. Je také možné si domluvit jazyk individuálně. V tom případě se očekává vcelku podrobná znalost (volně cituji: ''"Když mě ten jazyk během půlhodiny u zkoušky někdo naučí, tak prosím..."'').
=== a) SIMULA 67 ===
Osnova požadovaných znalostí:
* pojem třídy - objektové programování
* text, předávání parametrů,
* kvalifikace a inspekce
* prefixování, virtuální atributy, hidden a private, inner,
* kvaziparalelní systém - koprogramy
* třídy SIMSET a SIMULATION, princip procesní simulace
=== b) C++ ===
Osnova požadovaných znalostí:
* realizace myšlenek objektového programování
* pojem třídy, členu, konstruktor a destruktor
* ochrana přístupu ke členům tříd
* vícenásobná dědičnost, abstraktní třídy,
* zpracování výjimek, šablony
* přetěžování operátorů a metod
* srovnání jazyků C a C++
=== c) [[Ada]] ===
Osnova požadovaných znalostí:
* charakteristika jazyka
* typy a typové kontroly, atributy,
* separátní kompilace, práce s knihovnami
* generiky
* podprogramy, předávání parametrů
* výjimky
* paralelismus, mechanismus randevous
=== d) Java ===
Osnova požadovaných znalostí:
* koncepce jazyka
* applety
* realizace myšlenek objektového programování
* konstruktory, metoda finalize a garbage collector
* abstraktní a finální metody a třídy
* rozhraní
* vnitřní třídy
* ochrana přístupu k členům tříd
* balíky
* vlákna
* příkazy a výrazy
* zpracování výjimek
* předávání parametrů
* automatické dokumentování
=== e) Haskell ===
Osnova požadovaných znalostí:
* typy v Haskellu, typová specifikace funkce
* základní způsoby definování výrazů, sémantika „mečování“ parametrů, as patterns ( @s ), žolíky ( _ ), lazy patterns
* lazy vyhodnocování, "nekonečné" termy
* Lambda abstrakce, používání jmen funkcí jako operátorů a naopak, specializace operátorů { (např. (x+) Třídy, podtřídy, instance.
* pole v Haskellu
[[category:Informatika]]
