Vorstellung des Buchs „Typen in Programmiersprachen“
(blog.hjaem.info)Beim Verlag Insight wird derzeit ein Buch geplant, das sich vor allem an Menschen mit einiger Programmiererfahrung richtet und sich konzeptionell mit Typentheorie befasst; nun wurde dessen Rohfassung veröffentlicht (dass es sich um eine Rohfassung handelt, habe ich durch Nachfrage beim Lektor erfahren).
Schon dass auf Koreanisch ein Buch zur Theorie von Programmiersprachen erscheint, ist keine häufige Sache, und selbst wenn der gesamte Inhalt des Buchs noch eine Rohfassung ist, scheint es ebenfalls selten zu sein, dass das komplette Manuskript öffentlich gemacht wird, weshalb ich es hier vorstellen möchte. Es ist zwar nicht auf Koreanisch, aber es gibt vom selben Autor auch das gemeinsam verfasste Lehrbuch Introduction to Programming Languages.
3 Kommentare
Das ist zwar nicht gerade üblich, aber die Typen, die in letzter Zeit in Beweis-Sprachen eingeführt werden, sind auch ziemlich interessant.
Idris 2: Quantitative Type
https://arxiv.org/abs/2104.00480
Cubical agda
https://dl.acm.org/doi/10.1145/3341691
Es wirkt eher nicht wie ein Buch, das Menschen, die tatsächlich in der Praxis arbeiten, sofort direkt weiterhilft,
sondern eindeutig stärker auf Theorie und Prinzipien fokussiert ist.
Solche Bücher sollte man sich auch immer mal wieder anschauen.. schluchz
Auch wenn es unverschämt ist, spendier mir bitte nur ein einziges Hähnchen.