Presentación del libro "Tipos en los lenguajes de programación"
(blog.hjaem.info)La editorial Insight está preparando un libro que aborda conceptualmente la teoría de tipos, pensado principalmente para personas con cierta experiencia en programación, y al parecer ya se publicó su borrador (me enteré de que era un borrador al preguntarle al editor).
No es común que se publiquen en coreano libros relacionados con la teoría de lenguajes de programación, y además tampoco parece común que se haga pública la obra completa, aunque todavía sea un borrador, así que quise compartirla. Aunque no está en coreano, también existe el libro de texto Introduction to Programming Languages, coescrito por el mismo autor.
3 comentarios
No es algo común, pero los tipos que se están incorporando recientemente en los lenguajes para demostración también me parecieron interesantes.
Idris 2: Quantitative Type
https://arxiv.org/abs/2104.00480
Cubical agda
https://dl.acm.org/doi/10.1145/3341691
Más que parecer un libro útil para aplicar de inmediato en el trabajo real,
claramente da la impresión de estar más enfocado en la teoría y los principios.
También hay que ir leyendo este tipo de libros de vez en cuando.. T_T
Aunque sea una molestia, cómprenme aunque sea un pollo entero, por favor.