Modul ini membahas fondasi pengetikan kuat pada Ada: deklarasi konstanta dan variabel, tipe integer dengan rentang serta pemeriksaan luapan, subtype dan tipe turunan, tipe enumeration beserta atribut konversinya, dan operator pada ekspresi. Setiap topik menyertakan program yang dapat dikompilasi dengan GNAT beserta keluaran aslinya. Materi pada modul ini menjadi dasar bagi kontrak subprogram dan pemeriksaan yang dibahas pada modul selanjutnya.
Pengetikan kuat sejak hari pertama
Fondasi bahasa: deklarasi, tipe integer, subtipe, enumerasi, dan ekspresi dengan aturan pengetikan kuat.
0/0 selesai
- Deklarasi
Konstanta bernama, deklarasi variabel, dan kewajiban inisialisasi yang menegakkan pengetikan kuat sejak awal.
- Tipe integer
Rentang nilai yang melekat pada tipe integer beserta luapan yang tertangkap sejak rancangan.
- Subtipe dan tipe turunan
Perbedaan subtipe sebagai tampilan terkendala dan tipe turunan sebagai tipe baru yang sesungguhnya.
- Enumerasi
Tipe enumerasi dengan nilai buatan pengguna serta atribut Pos dan Val untuk konversi.
- Ekspresi
Operator pada ekspresi Ada, bentuk evaluasi short-circuit, dan perbedaan rem dengan mod.