Présentation du livre « Les types dans les langages de programmation »
(blog.hjaem.info)Les éditions Insight préparent un ouvrage qui traite de manière conceptuelle la théorie des types, principalement destiné aux personnes ayant déjà une certaine expérience en programmation, et il semble que son brouillon ait été rendu public (j’ai appris qu’il s’agissait d’un brouillon après avoir demandé à l’éditeur).
Il est déjà rare de voir paraître en coréen un livre lié à la théorie des langages de programmation, et même si l’intégralité du livre n’est encore qu’un brouillon, il me semble également rare que son contenu complet soit publié tel quel, d’où cette présentation. Ce n’est pas en coréen, mais le même auteur a aussi coécrit le manuel Introduction to Programming Languages.
3 commentaires
Ce n’est pas très courant, mais je trouve aussi intéressants les types récemment introduits dans les langages de preuve.
Idris 2: Quantitative Type
https://arxiv.org/abs/2104.00480
Cubical agda
https://dl.acm.org/doi/10.1145/3341691
Il semble que ce ne soit pas vraiment un livre directement utile au quotidien pour les personnes qui travaillent sur le terrain,
mais qu’il soit clairement davantage centré sur la théorie et les principes fondamentaux.
Il faudrait aussi prendre le temps de lire ce genre de livre de temps en temps... snif
Même si cela peut paraître impoli, achetez-moi juste un poulet entier, s'il vous plaît.