Dieses Buch führt durch Syntax, Semantik und Typensysteme, verbindet formale Logik mit realen Codebeispielen und zeigt, wie Sprachdesign die Programmierpraxis prägt.