Mala šola teorije programskih jezikov (2. del)

Mnogi dosežki teorije programskih jezikov so slabo znani in se le počasi širijo v računalniško prakso. Tako programerji sploh ne poznajo orodij, ki so jim na voljo, ali pa jih zaradi popularnih govoric in zastarelega znanja zavračajo. Po drugi strani programski jeziki, ki se uporabljajo v praksi (C/C++, Java, Perl, Python), vsebujejo nepravilno in polovičarsko implementirane konstrukte, industrija pa jih "izboljšuje" z lepotnimi predelavami in vsiljevanjem objektnega programiranja kot dokončne rešitve vseh programerskih težav.

V mali šoli teorije programskih jezikov bodo govorili o osnovnih principih programskih jezikov in o osnovnih programskih konstruktih, kot so produkti, vsote, funkcije, polimorfizem, vzorci, moduli, funktorji, itn. Vso teorijo bodo podprli s primeri iz znanih programskih jezikov, ko pa le-ti ne bodo zadoščali, bodo pokazali primere iz programskega jezika Ocaml.

Kdaj in kje
V torek, 14. maja 2002 ob 13. uri v prenovljeni sejni sobi E8 (2. nadstropje glavne zgradbe IJS).
Posnetke in materiale preteklih seminarjev si lahko ogledate na http://solomon.ijs.si/.