Fondasi Tipe

Modul fondasi penulisan tipe: anotasi, tipe primitif, inferensi, array, tuple, objek, dan union.

Modul ini meletakkan fondasi penulisan tipe pada variabel, fungsi, dan struktur data. Enam topiknya bergerak dari anotasi pertama, tipe primitif, dan inferensi, lalu berlanjut ke array, tuple, tipe objek, serta union dengan tipe literal. Prinsip yang dijaga adalah membiarkan compiler menyimpulkan tipe lebih dahulu sebelum meminta anotasi tambahan.