Algoritma dan Pemrograman 1 (*), Farhah, 12110612, 1KA31 (Power Domain (Daerah Tenaga) )

Kode Mata Kuliah : IT011302
PTA 2010/2011

Power Domain (Daerah Tenaga)

Sistem Jenis : satu set aturan untuk penjelasan jenis dan menghubungkan suatu jenis dengan ungkapan didalam bahasa. 

Jenis Pemeriksaan 

Suatu bahasa disebut :

1. Tidak berjenis jika tidak ada jenis abstrak yang berlaku

2. Jenis kuat jika menyelenggarakan jenis abstrak (operasi mungkin diterapkan hanya untuk objek jenis yang sesuai)

3. Jenis statis jika jenis diungkapkan masing-masing dapat ditentukkan dari teks program

4. Jenis dinamis jika penentuan jenis beberapa ungkapan tergantung pada perilaku waktu berjalan program.

Jenis Kesamaan

Dua jenis tak dikenal (satuan objek) adalah sama jika mereka berisi unsur-unsur yang sama. 

Kesamaan Nama

Didalam kesamaan nama dua jenis adalah sama jika mereka mempunyai nama yang sama.

Kesamaan Struktural

Didalam kesamaan struktural, nama jenis diabaikan dan unsur-unsur jenis dibandingkan untuk persamaan. 

3 aturan yang digunkan untuk menentukkan jika dua jenis adalah kesamaan struktural :

1. Suatu nama jenis sama secara terstruktur dengan dirinya sendiri

2. Dua jenis yang sama secara terstruktur jika mereka dibentuk dengan menerapkan jenis pembangun yang sama (secara berulang) ke jenis kesamaan secara struktural.

3. Setelah suatu deklarasi jenis, jenis n=T, nama jenis n secara struktural setara dengan T. 

Jenis Kesimpulan : masalah yang umum dalam menjelmakan tak berjenis atau sintaksis jenis parsial ke dalam terminologi yang baik. 

Suatu pemeriksa jenis harus mampu :

1. menentukkan jika suatu program adalah jenis yang baik

2. jika program adalah jenis yang baik, tentukkan jenis ungkapan maupun di dalam program.

Polymorphisme : suatu operator, fungsi atau prosedur yang mempunyai suatu keluarga jenis yang terkait dan beroperasi secara seragam atas argumentasinya dengan mengabaikan jenis.

Monomorphisme : Tiap-tiap konstanta, variabel, parameter, fungsi dan operator mempunyai suatu jenis unik.

Pemuatan  : lebih mengacu pada penggunaan dari sintaksis tunggal pengenal untuk mengacu pada beberapa operasi berbeda yang dibedakan oleh jenis dan jumlah argumentasi pada operasi.

Suatu operasi polymorphic : yang dapat berlaku untuk jenis yang berbeda tetapi berhubungan dengan argumentasi.

Prinsip Jenis Kelengkapan : tidak ada operasi yang dapat berlaku semaunya terbatas yang berhubungan dengan nilai jenis.