Documents d’accompagnement du cours « Langages de programmation » du département d’informatique du KAIST

Il s’agit d’un recueil de documents d’accompagnement de cours rédigés en 2019 par Hong Jaemin, alors assistant d’enseignement du cours « Langages de programmation » (CS320) du département d’informatique du KAIST, et relus par le professeur Ryu Seokyoung. (coréen, anglais) Afin d’expliquer les fondements théoriques des langages de programmation en informatique, l’ensemble suit une progression où chaque concept du domaine est ajouté séquentiellement pour définir mathématiquement un petit langage de programmation, puis en implémenter l’interpréteur en Scala.

[gguimoon]

M. Hong Jaemin a écrit un livre intitulé « Solide grâce aux types, flexible grâce au polymorphisme ». Comme il s’agit d’un livre écrit par quelqu’un qui connaît bien la théorie des langages de programmation, j’en attends beaucoup.

https://blog.insightbook.co.kr/2023/10/…

[kbumsik]

C’est intéressant qu’ils aient utilisé Scala comme support de cours pour un enseignement sur les langages de programmation.

J’avais souvent vu des supports de cours utilisant des langages fonctionnels de la famille ML comme OCaml, mais c’est la première fois que je vois Scala. Comme Scala est tout de même beaucoup utilisé en pratique comme langage basé sur la JVM, ça semble aussi plus utile concrètement.