Başlangıç ​​tipi sistem teorisi için kitaplar

Question

Tip sistem teorisi üzerinde çalışmak istiyorum. Tip sistem teorisinde herhangi bir arka planım yok, bu yüzden az ya da çok yeni başlayan biriyim (konuyla ilgili olarak okuduğum ve kullandığım notasyon nedeniyle korkutucu bulduğum makaleler hariç). Başlayabilmem için iyi kitaplar neler? Benjamin C. Pierce'ın "Türler ve Programlama Dilleri" kitabına bakıyordum. Yeni başlayanlar için uygun mu yoksa çok mu zor? Çok zorsa çalışmamı başlatmak için başka ne kullanabilirim?

sayesinde

-

Alkış, Alex

Answer 1

Ben Türleri ve Programlama Dilleri iyi bir seçim olacağını düşünüyorum.

TaPL'yi ilk okuduğumda, tür kuramında da yeni başlayan biriydim ve bunu anlamak çok zor olmadı.

Gördüğünüz makalelerde kullanılan bir çok notasyonu göreceksiniz, ancak kullanılmadan önce notasyon açıklanacaktır, bu yüzden sorun olmamalıdır. 'un ne anlama geldiğini bildiğinizde, notasyon hakkında gerçekten korkutucu bir şey yoktur.

Bu sık sık durum böyle şeylerdir. Bazen matematiğin ve resmi bilgisayar biliminin çoğunun basit şeyler için korkunç görünümlü gösterimler oluşturduğunu düşünüyorum, bu yüzden eğitimsiz kitleler gerçekten ne kadar kolay olduğunu anlamazlar.

Answer 2

TAPL, mezunlarını (ve muhtemelen phd adaylarını) anlaması ve hedef alması için zor bir kitaptır. Yeni başlayanlar için kesinlikle değil. Bunun yerine, temel olarak ilkeleri bilmeniz için lisans öğrencilerine amaçlanan John C. Mitchell tarafından 'Programlama Dilleri Kavramları' gibi bir kitap önermek isterim.