Modul ini membahas cara memodelkan domain menggunakan tipe-tipe bawaan F#: tuple dan record untuk data gabungan yang berlabel, discriminated union untuk alternatif domain, enum dan struct untuk himpunan konstanta serta nilai kecil yang peka terhadap alokasi, dan satuan ukur yang diperiksa saat kompilasi. Modul ditutup dengan idiom pemodelan domain yang menjadikan status ilegal tidak dapat direpresentasikan. Materi ini memanfaatkan fondasi let, fungsi, dan inferensi tipe dari modul sebelumnya, sekaligus menjadi bekal utama bagi modul pattern matching yang membahas konsumsi tipe secara mendalam.
Pemodelan dengan tipe
Memodelkan domain menggunakan tuple, record, discriminated union, enum, struct, satuan ukur, dan idiom desain berbasis tipe.
0/0 selesai
- Tuple dan record
Data berlabel imutabel dengan kesetaraan struktural untuk memodelkan nilai gabungan sederhana.
- Discriminated union
Tipe sum yang memodelkan alternatif domain secara presisi, satu kasus satu bentuk data.
- Enum dan struct
Tipe enum untuk himpunan konstanta dan struct untuk nilai kecil yang peka terhadap alokasi.
- Satuan ukur
Satuan fisik seperti meter dan detik yang diperiksa saat kompilasi pada nilai numerik.
- Idiom pemodelan domain
Menggunakan tipe untuk membuat status ilegal tidak dapat direpresentasikan sejak konstruksi.