Begleitmaterial zur Lehrveranstaltung „Programmiersprachen“ am KAIST School of Computing
(hjaem.info)Dies ist eine Sammlung von Begleitmaterialien zur Lehrveranstaltung „Programmiersprachen“ (CS320), die 2019 von Hong Jaemin vom KAIST School of Computing als Teaching Assistant verfasst und von Professor Ryu Sukyoung geprüft wurden. (Koreanisch, Englisch) Um den theoretischen Hintergrund von Programmiersprachen in der Informatik zu erläutern, folgt das Material einem Ansatz, bei dem die einzelnen Konzepte dieses Fachgebiets schrittweise ergänzt werden, um eine kleine Programmiersprache mathematisch zu definieren und ihren Interpreter in Scala zu implementieren.
2 Kommentare
Herr Hong Jaemin hat offenbar ein Buch mit dem Titel „Robust durch Typen, flexibel durch Polymorphie“ geschrieben. Von einem Buch eines Autors, der sich gut mit der Theorie von Programmiersprachen auskennt, erwarte ich mir viel.
https://blog.insightbook.co.kr/2023/10/…
Es ist interessant, dass Scala als Unterrichtsmaterial für eine Vorlesung über Programmiersprachen verwendet wurde.
Ich habe oft gesehen, dass Unterrichtsmaterialien mit funktionalen Sprachen aus der ML-Familie wie OCaml erstellt werden, aber Scala sehe ich zum ersten Mal. Da Scala in der Praxis recht häufig als JVM-basierte Sprache eingesetzt wird, wirkt es auch etwas praxisnäher.