Evaluation

• Midterm (50%)
  • Written exam, closed book, about 60min
  • Covers Go
• Project (50%)
  • Choose one of the following projects

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:
  • Go basics
  • Go methods, interfaces, generics
  • Further examples
• Rust
  • Rust and stack-based VM + operational semantics rules
• Haskell
  • Haskell

Specific topics

• Testing
  • Go testing (user + unit tests, QuickCheck)
  • Go fuzz testing
• Types
  • Expressive types
• Programming language implementation
  • Stack-based VM and operational semantics rules (see Rust notes above)
  • Translating Go
  • Dictionary translation for Rust and Haskell (see Rust and Haskell notes above)
  • Haskell to implement other languages
• Programming language comparison
  • Generic Go limitations
  • OO in Haskell and Go versus Haskell
  • Rust versus Haskell
• How to generate exam questions

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
  • Intro to Go
• W2, 23.03-29.03
  • Go
• W3, 30.03-05.04
  • Go
• W4, 06.03-12.04
  • Dienstag Vorlesungsfrei
• W5, 13.04-19.04
  • Rust
• W6, 20.04-26.04
  • Rust
• W7, 27.04-03.05
  • Rust
  • Freitag Vorlesungsfrei
• W8, 04.05-10.05
  • Haskell
• W9, 11.05-17.05
  • Haskell
  • Donnerstag Vorlesungsfrei
• W10, 18.05-24.05
  • Midterm
• Pfingstferien 25.05-31.05
• W11, 01.06-07.06
  • Haskell
  • Donnerstag Vorlesungsfrei
• W12, 08.06-14.06
  • Project
• W13, 15.06-21.06
  • Project
• W14, 22.06-28.06
  • Project
• W15, 29.06-05.07
  • Project