Dalam bahasa pemrograman dan teori tipe, polimorfisme parametrik adalah cara untuk membuat bahasa lebih ekspresif, sambil tetap mempertahankan keamanan tipe statis penuh. Menggunakan polimorfisme parametrik, fungsi atau tipe data dapat ditulis secara umum sehingga dapat menangani nilai secara identik tanpa bergantung pada tipenya.
Manakah dari pernyataan berikut yang benar yang menjelaskan polimorfisme parametrik?
Polimorfisme parametrik adalah teknik bahasa pemrograman yang mengaktifkan definisi umum fungsi dan tipe, tanpa banyak memperhatikan kesalahan berbasis tipe. Hal ini memungkinkan bahasa menjadi lebih ekspresif saat menulis kode generik yang berlaku untuk berbagai jenis data.
Apa itu polimorfisme parametrik dan polimorfisme subtipe?
Polimorfisme subtipe memberikan satu suku banyak jenis menggunakan aturan subsumsi. … Polimorfisme parametrik merujuk ke kode yang ditulis tanpa mengetahui tipe sebenarnya dari argumen; kodenya parametrik dalam jenis parameter. Contohnya termasuk fungsi polimorfik di ML, atau generik di Java 5.
Apa itu polimorfisme parametrik Java?
Polimorfisme parametrik menetapkan bahwa dalam deklarasi kelas, nama bidang dapat dikaitkan dengan tipe yang berbeda dan nama metode dapat dikaitkan dengan parameter dan tipe pengembalian yang berbeda. Bidang dan metode dapatkemudian ambil tipe yang berbeda di setiap instance kelas (objek).
Apa yang dimaksud dengan polimorfisme parametrik implisit?
Apa yang dimaksud dengan polimorfisme parametrik implisit? Polimorfisme parametrik eksplisit: parameter generik T. Dari Pragmatik Bahasa Pemrograman "Dalam polimorfisme parametrik, kode mengambil tipe (atau kumpulan tipe) sebagai parameter, baik secara eksplisit maupun implisit."