Modul ini membahas sistem tipe Nim yang diperiksa penuh pada waktu kompilasi. Bahasannya mencakup objek bernilai dan ref, case objects sebagai union terdiskriminasi, distinct types, generics, serta enum dan set. Pemahaman modul ini menjadi fondasi bagi pembahasan manajemen memori.
Tipe dan data
Modul sistem tipe: objek bernilai dan ref, case objects, distinct types, generics, serta enum dan set.
0/0 selesai
- Objek dan ref
Objek bernilai dengan semantik salin, ref di heap, dan tuple sebagai struktur ringkas.
- case objects
Objek bervarian sebagai union terdiskriminasi untuk memodelkan tipe data aljabar.
- distinct types
Pembuatan tipe baru dari tipe dasar yang mencegah pertukaran nilai dengan satuan berbeda.
- Generics
Proc dan tipe parametrik beserta inferensi tipe pada waktu kompilasi.
- Enum dan set
Tipe enum ordinal dan bitset set[T] untuk operasi himpunan yang efisien.