Apresentação do livro 'Tipos nas Linguagens de Programação'
(blog.hjaem.info)A editora Insight está planejando um livro que aborda conceitualmente a teoria dos tipos, voltado principalmente para pessoas com alguma experiência em programação, e parece que o rascunho inicial foi disponibilizado publicamente (fiquei sabendo que era um rascunho ao perguntar ao editor).
Já não é comum saírem livros sobre teoria de linguagens de programação em coreano, e também não parece ser algo frequente que o conteúdo inteiro de um livro, mesmo sendo apenas um rascunho, seja publicado por completo; por isso resolvi compartilhá-lo. Embora não esteja em coreano, também existe o livro didático Introduction to Programming Languages, escrito em coautoria pelo mesmo autor.
3 comentários
Não é algo muito comum, mas os tipos que vêm sendo introduzidos recentemente em linguagens para provas também são interessantes.
Idris 2: Quantitative Type
https://arxiv.org/abs/2104.00480
Cubical agda
https://dl.acm.org/doi/10.1145/3341691
Parece que, mais do que ser um livro útil para aplicar imediatamente no trabalho do dia a dia,
ele realmente tem um foco maior em teoria e princípios.
Também preciso ir lendo livros assim de vez em quando.. buá buá
Mesmo que seja um abuso, me pague só um frango assado inteiro, por favor.