Winter 2023/24 semester will feature a course taught by Tomáš Petříček on fundamental programming language techniques, algorithms, and systems. The course will cover various paradigms such as functional, object-oriented, imperative, and logic programming, as well as using spreadsheets for end-user programming. The F# programming language will be used for examples, and students will have hands-on coding sessions during the longer 180-minute sessions every other week. The course will cover topics like emulating prehistoric computer systems, implementing interpreters for programming languages, and writing algorithms for type inference and unification. Active participation is required for credit in the course.
https://d3s.mff.cuni.cz/teaching/nprg077/