Libri per teoria del sistema di tipo iniziale

Question

Voglio studiare teoria dei sistemi di tipo. Non ho alcun background nella teoria dei sistemi di tipo quindi sono più o meno un principiante (tranne gli articoli che ho letto sull'argomento e che trovo intimidatorio a causa della notazione utilizzata). Quali sono alcuni buoni libri che potrebbero farmi iniziare? Stavo guardando il libro "Tipi e linguaggi di programmazione" di Benjamin C. Pierce. È appropriato per un principiante o è troppo difficile? Se è troppo difficile che altro potrei usare per iniziare il mio studio?

Grazie,

-

Cheers, Alex

Answer 1

penso Tipi e linguaggi di programmazione sarebbe una buona scelta.

Quando ho letto per la prima volta TaPL, ero un principiante anche nella teoria dei tipi e non lo trovavo troppo difficile da capire.

Vedrai molte delle notazioni usate negli articoli che hai visto, ma la notazione sarà spiegata prima che venga usata, quindi non dovrebbe essere un problema. Non c'è nulla di intimidatorio riguardo alla notazione, una volta che sai cosa significa .

Che è abbastanza spesso il caso con queste cose. A volte penso che la maggior parte della matematica e dell'informatica formale consistano nell'inventare notazioni dall'aspetto spaventoso per cose semplici, quindi le masse ignoranti non si rendono conto di quanto sia facile tutto ciò che realmente è.

Answer 2

TAPL è un libro difficile da comprendere ed è rivolto ai laureati (e possibilmente ai candidati al dottorato). Non è certamente per i principianti. Raccomanderei invece un libro come "Concepts in Programming Languages" di John C. Mitchell rivolto agli studenti universitari per familiarizzare con le basi prima.