Material de apoio da disciplina de ‘Linguagens de Programação’ do Departamento de Ciência da Computação do KAIST
(hjaem.info)Esta é uma coletânea de materiais de apoio de aula elaborados em 2019 por Hong Jaemin, do Departamento de Ciência da Computação do KAIST, como assistente de ensino da disciplina ‘Linguagens de Programação’ (CS320), com revisão do professor Ryu Seokyoung. (coreano, inglês) Para explicar a base teórica das linguagens de programação na ciência da computação, o material segue um fluxo em que cada conceito da área é adicionado sequencialmente, definindo matematicamente uma pequena linguagem de programação e implementando seu interpretador em Scala.
2 comentários
Parece que o Hong Jaemin escreveu um livro com o título 'Robusto com tipos, flexível com polimorfismo'. Fico animado, já que é um livro de alguém que entende bem de teoria de linguagens de programação.
https://blog.insightbook.co.kr/2023/10/…
É interessante que tenham usado Scala como material didático na disciplina de linguagens de programação.
Já vi muitas vezes materiais de aula usando linguagens funcionais da família ML, como OCaml, mas é a primeira vez que vejo Scala. Como Scala é bastante usada no mercado como uma linguagem baseada na JVM, ela parece ter mais utilidade prática.