Esta es una recopilación de materiales auxiliares de clase escritos en 2019 por Hong Jaemin, del Departamento de Ciencias de la Computación de KAIST, en su rol de asistente de docencia para la asignatura ‘Lenguajes de programación’ (CS320), y revisados por el profesor Ryu Seokyong. (Coreano, inglés) Para explicar los fundamentos teóricos de los lenguajes de programación en ciencias de la computación, el material sigue un enfoque en el que se va definiendo matemáticamente un pequeño lenguaje de programación al agregar secuencialmente cada concepto del área, e implementando su intérprete en Scala.
2 comentarios
Parece que Hong Jaemin escribió un libro titulado 'Robusto con tipos, flexible con polimorfismo'. Como es un libro de alguien que conoce bien la teoría de lenguajes de programación, tengo muchas expectativas.
https://blog.insightbook.co.kr/2023/10/…
Es interesante que hayan usado Scala como material para una clase de lenguajes de programación.
He visto muchas veces que usan materiales de clase con lenguajes funcionales de la familia ML, como OCaml, pero es la primera vez que veo Scala. Como Scala se usa bastante en la práctica como lenguaje basado en la JVM, parece tener más utilidad práctica.