Języki programowania i kontynuacje (wykład i pracownia)
Grudzień 2007
Wyklady:
-
Poniedziałek (10.12 i 17.12) 18:15-20:00, sala 325
-
Piątek (14.12) 14:15-16:00, sala 325
Pracownia:
-
Środa (12.12 i 19.12) 18:15-19:45, sala 137
-
Piątek (14.12) 16:15-17:45, sala 137
-
Sobota (15.12) 11:00-14:00, sala 137
Plan wykładu
- Programowanie z kontynuacjami (slajdy z wykladu)
- Semantyka operatorów kontroli (slajdy z wykladu)
- Kontynuacje ograniczone (slajdy z wykladu)
(Reprezentacja monad przez kontynuacje:
state-cps.sml,
state-ds.sml,
output-cps.sml,
output-ds.sml,
reflection-cps.sml,
reflection-ds.sml)
Literatura
- J.Reynolds, Definitional interpreters for higher-order programming languages
- G.Plotkin, Call-by-name, call-by-value and the lambda-calculus
- P.Wadler, The essence of functional programming
- O.Danvy, A.Filinski, Representing control: a study of the CPS transformation
- O.Danvy, A.Filinski, Abstracting control
- M.Felleisen, M.Flatt, Programming languages and lambda calculi
[pdf]
Oprogramowanie
Zadania na pracownię
|
|