Modul ini membahas parameterisasi tipe di dalam Ada, mulai dari subprogram generik yang diinstansiasi per tipe dan package generik sebagai abstraksi pakai ulang, hingga ragam parameter formal serta container standar Ada.Containers. Ragam parameter formal mencakup tipe berkendala, subprogram, dan package. Satu deklarasi generik menggantikan banyak salinan kode yang hanya berbeda tipenya, dan container standar memanfaatkan mekanisme tersebut untuk menyediakan struktur data siap pakai. Seluruh contoh dikompilasi dan dijalankan dengan gnatmake.
Generik
Parameterisasi tipe melalui subprogram dan package generik hingga container standar.
0/0 selesai
- Subprogram generik
Subprogram generik yang diparameterisasi atas tipe.
- Package generik
Package generik sebagai abstraksi pakai ulang yang diinstansiasi per tipe.
- Parameter formal
Parameter formal berupa tipe berkendala, subprogram, dan package.
- Container standar
Container standar Ada.Containers: vector, hash map, dan list.