Evaluation
- Midterm (50%)
- Written exam, closed book, about 60min
- Covers Go
- Project (50%)
Content
This semester it is all about Go, Rust and Haskell
We will answer the following questions.
Why do we need different programming languages?
What makes Go different from Java?
What testing methods are available?
What is the differences between testing and static
verification?
Why do I care about programming given that there’s ChatGPT,
…?
…
Lecture material
- Go:
- Rust
- Rust and stack-based VM + operational
semantics rules
- Haskell
Specific topics
Weekly schedule
Lecture
- Tuesday from 11:30-13:00 in E304
- I’ll be running a zoom
session as well for those that prefer to join online
Here’s our weekly schedule.
- W1, 16.03-22.03
- W2, 23.03-29.03
- W3, 30.03-05.04
- W4, 06.03-12.04
- W5, 13.04-19.04
- W6, 20.04-26.04
- W7, 27.04-03.05
- Rust
- Freitag Vorlesungsfrei
- W8, 04.05-10.05
- W9, 11.05-17.05
- Haskell
- Donnerstag Vorlesungsfrei
- W10, 18.05-24.05
- Pfingstferien 25.05-31.05
- W11, 01.06-07.06
- Haskell
- Donnerstag Vorlesungsfrei
- W12, 08.06-14.06
- W13, 15.06-21.06
- W14, 22.06-28.06
- W15, 29.06-05.07