[Solomonov Seminar] 78. Solomonov seminar

[Marko Grobelnik]

Vabim vas na 78. Solomonov seminar, ki bo v torek, 7. maja 2002
ob 13. uri v prenovljni sejni sobi E8 (2. nadstropje glavne zgradbe IJS). 
Posnetke in materiale preteklih seminarjev si lahko 
ogledate na http://solomon.ijs.si/

Programski jeziki so tema, ki pri ljudjeh, ki vsaj malo programirajo,
vedno dvigujejo dovolj prahu, da je tema zanimiva. O programskih
jezikih se lahko pogovarjamo na raznih nivojih - od religioznih 
debat tipa "kateri je boljsi" do cesa drugega - no, na tem in naslednjem
seminarju se bomo skusali dotakniti ravno teh "drugih" zadev, ki bi jih
bilo dobro vedeti o programskih jezikih. Andrej Bauer nam bo predstavil
programske jezike iz nekoliko drugacne perspektive, ki bo osvetlila
nekaj manj obicajnih a vendarle zelo pomembnih aspektov te tematike.

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
            Mala sola teorije programskih jezikov (1. del)
       Andrej Bauer, Institut za matematiko, fiziko in mehaniko

Mnogi dosezki teorije programskih jezikov so slabo znani in se le
pocasi sirijo v racunalnisko prakso. Tako programerji sploh ne poznajo
orodij, ki so jim na voljo, ali pa jih zaradi popularnih govoric in
zastarelega znanja zavracajo. Po drugi strani programski jeziki, ki se
uporabljajo v praksi (C/C++, Java, Perl, Python), vsebujejo nepravilno
in polovicarsko implementirane konstrukte, industrija pa jih
"izboljsuje" z lepotnimi predelavami in vsiljevanjem objektnega
programiranja kot dokoncne resitve vseh programerskih tezav.

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