PERSAMAAN HAK DAN DERAJAT MASYARAKAT INDONESIA

Menurut pandangan saya terhadap persamaan hak dan derajat masyarakat Indonesia tidak merata. Mengapa demikian? Karena di zaman saat ini, kebanyakan masyarakat Indonesia masih memiliki pola pikir yang kurang menguntungkan untuk diri sendiri atau kalau saya boleh katakan memiliki pola pikir masyarakat di era industrialisasi. 

Ingat kawan, kita sekarang hidup di era yang baru; era informasi. Banyak hal dan kenyataan hidup orang-orang di era industrialisasi yang sudah tidak relevan lagi dengan kondisi dan kenyatan yang ada sekarang. 

Pada era industrialisasi, kita didik untuk menjadi seorang pekerja industri, dengan segala konsekuensi yang ada. Konsekuensi seperti apa? Konsekuensi yang paling nyata dan dialami oleh kebanyakan orang pada era industrialisasi adalah bertambahnya masalah sosial masyarakat. 

Uang dan materi menjadi tolak ukur kesuksesan seseorang, sehingga hal tersebut membuat orang berlomba-lomba untuk mengejar materi demi memenuhi salah satu kebutuhan dasar manusia dan kebutuhan aktualisasi diri. Kemudian, cara kerja dan gaya hidup orang-orang di era industrialisasi ternyata tidak berhasil memberikan kepastian dan keamanan hidup kepada kebanyakan orang di dunia ini. Hanya segelintir orang saja, yang benar-benar dapat menikmati hidup yang lebih membahagiakan dan bernilai tinggi. 

Tentunya dengan permasalahan yang terjadi seperti diatas menyebabkan persamaan hak dan derajat masyarakat di Indonesia tidak merata bahkan bisa dikatakan memprihatinkan. Mengapa tidak? Sebagai negara besar yang terdiri dari berbagai kelompok sosial yang berbeda suku, agama, ras dan tingkat ekonomi, serta persamaan hak dalam upaya mencapai harmoni dan kesejahteraan bersama masih belum dapat diwujudkan. Pemerintah telah mengambil berbagai langkah alternatif melalui upaya penetapan Peraturan dan Undang-Undang. 

Apakah hak itu?? Hak merupakan sesuatu yang mutlak yang dimiliki setiap manusia dan tidak dapat dipungkiri ketika lahir manusia secara hakiki telah mempunyai hak. 

Manusia berhak mendapatkan hak atas pendidikan, hak atas pelayanan, hak atas kesehatan, dan yang paling penting hak atas kehidupannya. Tetapi sebagian masyarakat Indonesia tidak dapat menikmati itu semua. 

Sedangkan, persamaan derajat di Indonesia sangat memprihatinkan realitanya masyarakat kelas menengah keatas lebih mudah mendapatkan hak mereka, sementara masyarakat kelas bawah sangat kurang di perhatikan, dan sering jadi korban produk hukum yang masih sering berpihak pada mereka yang kaya. Yang kuat akan menindas yang lemah, yang kaya akan merendahkan yang miskin. Dan bahkan untuk kepentingan pribadi rela menjatuhkan sesama manusia demi keinginanya tercapai. 

Saya harap Indonesia, negara kita tercinta ini dapat menyamaratakan hak dan derajat masyarakatnya. 

Saya pasti bisa!! Chayoo!! ^.^

Dalam era globalisasi saat ini banyak yang mempengaruhi dunia, saya sadar akan hal itu telah membuat banyak perubahan. Persaingan yang memuncak untuk menjadi best of the best tidaklah semudah membalikkan telapak tangan. Saya pernah menanyakan pada diri saya sendiri, jadi apakah saya kelak di kemudian hari ? Bisakah saya menjadi deretan orang-orang sukses.

Ya… kini saya telah memulai tahap awal untuk mencapai impian dan cita-cita saya. Planning saya setelah lulus dari SMK, saya akan melanjutkan pendidikan di pulau Jawa yaitu di salah satu  Universitas terkemuka di Indonesia yang berstatus negeri menjadi target saya untuk dapat menjenjang bangku perkuliahan disana. Namun ternyata kemampuan saya tidak cukup untuk bersaing dengan yang lain. Ujian demi ujian telah saya ikuti semua, namun ternyata hasilnya nihil. Rasa kesal dan putus asa terbenak dalam hati saya hingga air mata saya jatuh perlahan-lahan. Penyesalan yang sangat mendalam saya rasakan. Saya merasa ini tidak adil bagi saya !! tapi penyelasan itu hanya sesaat, saya harus bangkit lagi menggenggam impian dan cita-cita saya. Saya akan mencoba ujian saringan masuk  tahun depan. Jika saya lulus, saya akan memilih Fakultas Teknik Informasi. Jika tidak, saya akan fokus melanjutkan perkuliahan di Universitas Gunadarma sebagai Programer dan Analyst Software yang handal di dunia bisnis.

Setelah lulus di jenjang S1 saya akan melanjutkan pendidikan ke S2. Bagi saya ilmu adalah hal yang tidak akan pernah musnah, untuk itu saya akan menggapai ilmu setinggi-tingginya. Jika Allah berkehendak saya akan melanjutkan S2 di luar negeri yaitu tepatnya di Australia. Saya akan belajar dan terus belajar serta melatih kemampuan bahasa inggris saya . Selanjutnya saya akan bekerja mengumpulkan duit sebanyak-banyaknya untuk membiayai pendidikan adik saya.

Selain itu planning saya ke depan akan membangun sekolah-sekolah gratis untuk anak-anak yang tidak bisa bersekolah, serta mengembangkan sekolah-sekolah yang berada di desa dan pedalaman agar tidak ketinggalan jauh dari perkembangan.

Saya mempunyai keinginan dan harapan untuk mencerdaskan anak-anak bangsa , tidak ada kata gaptek lagi di zaman sekarang ini. Insyallah niat baik saya dapat saya wujudkan tanpa ada hambatan.

Amienn… ^.^

DENIAS, SENANDUNG DI ATAS AWAN

Denias, Senandung di Atas Awan….  Ya!! Itulah salah satu film Indonesia yang bermutu terutama dari segi tema yang berisi kritik sosial terhadap dunia pendidikan. Masih banyak anak-anak Indonesia yang susah atau bahkan belum bisa sama sekali menikmati pendidikan. Film ini adalah salah satu potret dunia pendidikan kita. Di film ini juga kita bisa melihat keindahan pemandangan pulau Papua. Sangking kagumnya terhadap film ini saya akan bercerita dikit tentang film ini terhadap teman-teman semua dan juga untuk menambah nilai softskill saya, Harap disimak !! ^.^

Film ini adalah film yang diangkat dari kisah nyata. Film ini mengisahkan sebuah perjalanan hidup seorang anak kecil dalam mengapai impiannya. Ya… dia bernama “Denias” yang diperankan oleh Albert Fakdawer. Ia hidup di daerah pedalaman dengan lingkungan daerah masyarakat suku Borneo, tepatnya di Papua, Irian Jaya. Ia tergolong seorang anak dari keluarga miskin. Meskipun demikian, dia mempunyai motivasi besar untuk bersekolah. Di daerahnya tidak ada lembaga sekolah resmi yang dijadikan tempat belajar dan pembelajaran. Selama itu, ia dan anak-anak yang lain belajar di sebuah Honei, sebuah bangunan rumah yang saat itu dijadikan tempat belajar darurat dengan kondisi memprihatinkan.

Denias merupakan seorang anak pandai, cekatan, berbakti kepada orang tua, dan berobsesi tinggi. Di sekolah dan lingkungan bermain, ia memiliki teman yang selalu mencuranginya namanya adalah Noel yang notabenenya adalah seorang anak Kepala Suku yang bermartabat tinggi dan diyakini memiliki kekuatan supranatural di kampungnya.

Pada mulanya Denias dan teman-temannya belajar di Honei tersebut diajar oleh seorang guru yang berasal dari Jawa. Denias sangat rajin bersekolah dan terlihat cerdas diantara teman-temannya. Tapi kondisi tersebut tidak berjalan lama dikarenakan guru tersebut sakit keras dan akhirnya pulang ke Jawa. Honei pun menjadi sepi, sesepi hati Denias karena tidak bersekolah lagi.

Denias bingung harus kemana lagi dia bersekolah. Ia kemudian menemui Pak Leo atau Maleo seorang tentara RI yang di tugaskan di kampung Denias, di Kepulauan Irian Jaya. Denias mencurahkan isi hatinya yang kalut karena tidak bersekolah lagi. Mendengar keluhan tersebut, Pak Leo pun tersentuh dan memutuskan untuk mengajar Denias dan teman-temannya di Honei.

Denias memang berbakti kepada orang tua, hal itu dilakukannya sehari-hari. Kebaktiannya terlihat sangat mendalam ketika ia merawat ibunya yang sakit-sakitan dengan tulus dan ikhlas. Ketika ibunya tertidur pulas, Denias dipanggil oleh teman-temannya untuk berburu ke hutan. Dia kebingungan memilih antara menjaga ibunya yang sedang sakit atau ikut pergi berburu. Tapi karena paksaan dari teman-temannya dan rasa solidaritasnya muncul, ia memilih untuk ikut bersama teman-temannya berburu. 

Namun sungguh naas, ia lupa sebelum berangkat berburu ia menggantung bajunya di atas perapian di dekat ibunya. Baju tersebut akhirnya jatuh di perapian. Api yang tadinya kecil kini menjadi besar oleh baju itu. Ibunya tidak menyadari hal tersebut karena sedang tertidur. Kobaran api tersebut semakin besar dan membakar rumah serta ibunya. Denias pun melihat dari kejauhan kebakaran tersebut dan segera berlari menuju kesana, Sesampainya, ia terkejut melihat kondisi fisik ibunya. Ibunya meninggal. Tubuhnya hangus terbakar api. Derai air matanya tidak dapat tertahankan. ia mengalami sok berat dan rasa bersalah yang mendalam. Ia hanya bisa murung berhari-hari tanpa ada semangat hidup. Pak Leo menasehatinya dan member semangat hidup baru kepada Denias. Akhirnya ia pun dapat menikmati hari-harinya dengan ceria kembali dan bersekolah seperti biasanya. Tapi semangatnya tersebut tidak didukung oleh Ayahnya. Ia dilarang bersekolah dan harus membantu Ayahnya bekerja. Meskipun demikian, semangat Denias tak pernah padam, ia sembunyi-sembunyi bersekolah dari Ayahnya.

Tak lama kemudian Honei itu roboh akibat gempa bumi. Denias dan teman-temannya tidak punya tempat buat belajar lagi. Akhirnya Pak Leo berinisiatif untuk mendirikan tempat sederhana yang dapat dijadikan tempat belajar dan pembelajaran. Namun ternyata tempat itu mendapat hujatan dari kepala suku dan warga. Pak Leo pun dipindah tugaskan dari kampung Denias. Kini Denias dirundung duka sebab tidak belajar dan bersekolah lagi.

Dalam kondisi semacam itu, Denias terobsesi dengan perkataan Pak Leo bahwa di balik gunung ada tempat sekolah, tepatnya di kota. Denias lalu berniat untuk pergi dan meninggalkan Ayahnya. Ia pergi sembunyi-sembunyi. Melewati gunung dan lembah untuk sampai ke kota.

Sesampai di kota Denias bertemu dengan anak gelandangan bernama Enos. Ia kemudian pergi ke salah satu sekolah yang dijumpainya. Disana ia bertemu dengan Bu Sam, seorang wanita cantik berbudi luhur. Bu Sam menanyakan tujuan Denias ke sekolah itu. Denias pun bercerita panjang lebar kepada Bu Sam, hingga akhirnya Bu Sam memutuska untuk membantu Denias untuk bisa bersekolah di tempat tersebut. Denias mendapat syarat dari Bu Sam, bahwa jika ingin diterima bersekolah di tempat tersebut, ia tidak boleh nakal dan membuat ulah. Meski ia mendapat perlakuan kurang baik dari teman-temannya, ia harus dapat menahan emosinya dan harus mengalah.

Saat inilah perjuangan keras Denias diuji. Di sekolah dan di asrama itu, ia masih tetap sama seperti di kampungnya, mendapat perlakuan yang tidak baik dan culas oleh Noel. Kini ia harus sabar dan tidak menanggapi segala perlakuan Noel. Ia bahkan sempat dihajar habis-habisan oleh Noel dan teman-temannya tanpa ada alasan yang jelas. Demi bisa diterima sekolah di tempat itu, ia rela dipukuli dan tidak membalasnya. Bukannya dia tidak berani dengan Noel, tapi demi impian dan cita-citanya, ia harus bersabar. Di sekolah itu Denias masih belum diterima sebagai murid. Ia difungsikan sebagai pelayan kantin. Melayani seluruh murid-murid yang sedang makan dan jajan disana. Suatu ketika, saat jam istirahat Denias sedang menjalankan tugasnya tetapi tiba-tiba Noel menjatuhkan Denias dan mengajaknya berkelahi, tapi kali ini Denias membela diri. Piring yang masih ada di genggaman tangannya, ia jadikan alat untuk menangkis pukulan Noel. Tangan Noel pun patah dan berdarah karena menghantam piring. Denias merasa bersalah, ia beranggapan telah melanggar nasehat Bu Sam dan ia pasti tidak akan diterima bersekolah di tempat itu. Ia kemudian berlari keluar entah kemana perginya. Bu Sam mecarinya kesana-kemari, namun tak kunjung menemuinya. Denias putus asa, ia merasa impian dan cita-citanya untuk bersekolah kini telah pupus dan berencana untuk kembali ke kampung halamannya.

Denias tidak lupa dengan orang yang menolongnya. Dalam kepedihan hati dan keputusasaannya, ia masih menyempatkan diri untuk berpamitan kepada Bu Sam untuk pulang ke kampung halamannya. Tetapi saat itulah, Denias mendapat kabar gembira dari Bu Sam bahwa ia diterima bersekolah di tempat itu. Hati Denias berbunga-bunga. Impian dan cita-citanya kini tercapai juga. Ia pun mengurungkan niatnya untuk pulang ke kampung halamannya. Ia akhirnya bersekolah dan mengukir masa depannya. ^.^

PENGARUH PERTAMBAHAN PENDUDUK

Kepadatan Penduduk di Indonesia

Penduduk suatu negara bisa didefinisikan menjadi dua yaitu:

·        Orang yang tinggal di daerah tersebut tetapi memilih tinggal di daerah lain.

·       Orang yang secara hukum berhak tinggal di daerah tersebut. Dengan kata lain orang yang mempunyai surat resmi untuk tinggal di situ. Misalkan bukti kewarganegaraan,

Berdasarkan estimasi yang diterbitkan oleh Biro Sensus Amerika Serikat, penduduk dunia mencapai 6,5 miliar jiwa pada tanggal 26 Februari 2006 pukul 07.16 WIB. Dari sekitar 6,5 miliar penduduk dunia, 4 miliar diantaranya tinggal di Asia. Tujuh dari sepuluh negara berpenduduk terbanyak di dunia berada di Asia (meski Rusia juga terletak di Eropa).

Sejalan dengan proyeksi populasi, angka ini terus bertambah dengan kecepatan yang belum ada dalam sejarah. Diperkirakan seperlima dari seluruh manusia yang pernah hidup pada enam ribu tahun terakhir, hidup pada saat ini.

Pada tanggal 19 Oktober 2012 pukul 03.36 WIB, jumlah penduduk dunia akan mencapai 7 miliar jiwa. Badan Kependudukan PBB menetapkan tanggal 12 Oktober 1999 sebagai tanggal dimana penduduk dunia mencapai 6 miliar jiwa, sekitar 12 tahun setelah penduduk dunia mencapai 5 miliar jiwa.

Berikut adalah peringkat negara-negara di dunia berdasarkan jumlah penduduk (2005):

1.   Republik Rakyat Cina (1.306.313.812 jiwa)

2.   India (1.103.600.000 jiwa)

3.   Amerika Serikat (298.186.698 jiwa)

4.   Indonesia (241.973.879 jiwa)

5.   Brasil (186.112.794 jiwa)

6.   Pakistan (162.419.946 jiwa)

7.   Bangladesh (144.319.628 jiwa)

8.   Rusia (143.420.309 jiwa)

9.   Nigeria (128.771.988 jiwa)

10. Jepang (127.417.244 jiwa)

Pertumbuhan penduduk akan selalu dikaitkan dengan tingkat kelahiran, kematian dan perpindahan penduduk atau migrasi baik perpindahan ke luar maupun ke luar. Pertumbuhan penduduk adalah peningkatan atau pernurun jumlah penduduk suatu daerah dari waktu ke waktu.

Pertumbuhan penduduk yang minus berarti jumlah penduduk yanga ada pada suatu daerah mengalami penurunan yang bias disebabkan oleh banyak hal. Pertumbuhan penduduk meingkat jika jumlah kelahiran dan perpindahan penduduk dari dalam ke luar. Dinamika kependudukan adalah perubahan kependudukan untuk suatu daerah tertentu dari waktu ke waktu.

Rumus menghitung pertumbuhan penduduk :

p = (I – m) + (i – e)

Keterangan Lengkap :

p = pertumbuhan penduduk

I = total kelahiran

m = total kematian

e = total emigrant atau pendatang dari luar daerah

i = total imigran atau penduduk yang pergi

Manusia memiliki berbagai kebutuhan. Manusia sebagai makhluk hidup membutuhkan makanan, tempat tinggal atau lahan, air bersih dan udara bersih, serta kebutuhan sosial ekomomi. Dengan adanya penambahan penduduk yang cepat menyebabkan tingkat kepadatan penduduk menjadi tinggi dapat mengakibatkab dampak buruk bagi penduduk, antara lain :

-         - berkurangnya ketersediaan lahan

-         - tercemarnya kebutuhan udara bersih

-         - kerusakan lingkungan

-         - kebutuhan air bersih susah didapatkan

-         - kekurangan makanan

Hal ini tentu saja akan sangat mengkhawatirkan di masa depan.

Hal-hal yang perlu dilakukan untuk menekan pesatnya pertumbuhan penduduk

- Menggalakkan program Keluarga Berencana untuk membatasi jumlah abak dalam suatu keluarga secara umum dan masal, sehingga akan mengurangi jumlah angka kelahiran.

- Menunda masa perkawinan agar dapat mengurangi jumlah angka kelahiran yang tinggi.

Cara-cara yang dapat dilakukan untuk mengimbangi pertambahan jumlah penduduk :

1.    - Penambahan dan penciptaan lapangan kerja.

2.    - Meningkatkan kesadaran dan pendidikan kependudukan

3.    - Mengurangi kepadatan penduduk dengan program transmigrasi

4.    - Meningkatkan produksi dan pencarian sumber makanan.


Sumber : 
http://id.wikipedia.org
http://dipit89.wordpress.com
http://irshadi-bagas-4all.blogspot.com

DOMAIN AND TYPE

Konsep Nilai, Domain, dan Type 

Suatu nilai (value) adalah hal apapun yang mungkin dapat dievaluasi, disimpan dalam suatu struktur data, dikirimkan sebagai suatu argumentasi atau dikembalikan lagi sebagai hasil.

Suatu perhitungan adalah suatu urutan operasi yang diberlakukan untuk menghasilkan suatu nilai. Dengan demikian nilai-nilai dan operasi adalah dasar perhitungan.

Dalam matematika, kumpulan dari argumen-argumen dan hasil-hasil dari fungsi dikenal dengan domain dan co-domain. Domain akan ditandai sebagai kumpulan dari nilai-nilai yang dikirimkan sebagai argumen-argumen atau dikembalikan sebagai hasil.

Nilai-nilai kebenaran, karakter, integer, real, file, pointers, record, set, prosedur dan abstrak fungsi, lingkungan, perintah dan definisi tidak lain bagian dari bahasa pemrograman.

Suatu domain adalah satu kumpulan elemen-elemen dan digabungkan dengan sekumpulan operasi.

Kategori Domain

Dua kategori domain, yaitu :

a.    Primitive Domain

Sifatnya atomic

b.    Compound Domain

Kumpulan dari nilai-nilai yang dibangun dari domain-domain pembangun satu atau domain pembangun yang lain.

Teori Elemen-Elemen Domain

Ada beberapa compound domain yang digunakan dalam computer sign, yaitu: array, tupple, record, union, set, list, tree, file, relation, definition dan mapping.

Compound domain dibangun oleh suatu domain pembangun. Suatu domain pembangun adalah :

a.    Product domain

b.    Sum domain

c.Function domain

d.    Power domain

e.    Recursive domain

Product Domain

Domain-domain yang dibangun oleh pembangun product domain disebut tuples dalam ML, record dalam Cobol, Pascal dan ADA, struktur dalam C dan C++. Bentuk product domain adalah dasar dari database relational dan pemrograman logic.

Pada kasus biner, product domain pembangun, x, membangun domain A x B dari domain A dan B.

Jika a adalah elemen dari A dan b adalah suatu elemen dari B maka (a,b) adalah suatu elemen dari A x B.

                  A X B = {(a,b)| a in A, b in B}

Product Domain : D₀ x … x D_n

Assembly operation: (a₀,…,a_n) in D₀ x…x D_n where a_i in D_i and

D₀ x…x D_n = {(a₀,…a_n) | a_i in D_i}

Disassembly operation: (a₀,…,a_n) | i = a_i for 0 <= i <= n

Domain produk disebut “Cartesian” atau “Cross” produk. Dalam Pascal disebut record, sedangkan dalam C disebut suatu struktur.

Sum Domain

Domain-domain yang dibangun oleh pembangun sum domain disebut varian record dalam Pascal dan ADA, Unions dalam Algol-68, Constructor dalam ML.

Dalam kasus biner, sum domain pembangun,+, membangun domain A + B dari domain A dan B.

Jika a adalah elemen dari A dan b adalah elemen dari B maka (A,a) dan (B,b) adalah unsur-unsur A + B

                  A + B = {(A,a) | a in A} union {(B,b) | b in B}

Dimana A dan B disebut tags dan digunakan untuk membedakan pendukung elemen A dan pendukung elemen B.

Sum domain disebut juga disjoint union atau co-product domain. Didalam Pascal disebut record varian dan dalam C disebut suatu struktur.

Sum domain : D₀ +…+ D_n

Assembly operations: (Di, di) in D₀ +…+ D_n and D₀ +…+ D_n = union_i = 0 n {(Di,d) | d in Di}

Disassembly operations: Di(Di,di) = di

Function Domain

Domain-domain yang dibangun oleh pembangun function domain disebut fungsi di dalam Haskell, prosedur di dalam Modula-3 dan proses dalam SR.

Pembangun function domain membentuk domain A à B dari domain A dan B. domain A à B terdiri dari semua fungsi A ke B. A disebut domain dan B disebut co-domain.

(lamda x.e) adalah suatu elemen di A à B dimana e adalah suatu ungkapan yang berisi kejadian dari suatu identifier x, dimana a adalah nilai A merubah kejadian x di dalam e, nilai e[a:x] menghasilkan B.

Function Domain : A à B

Assembly operation: (lamda x.E) in A à B where for all a in A, E[x:a] is a unique value in B

Disassembly operation: (g a) in B, for g in A à b and a in A

Power Domain

Teori set yang menyediakan suatu notasi untuk uraian perhitungan. setL adalah suatu bahasa pemrograman yang didasarkan pada kumpulan (set) dan digunakan untuk menyediakan compiler ADA. Pascal menyediakan operasi set union dan intersection.

Kumpulan dari semua subset dari set adalah power set digambarkan sebagai berikut:

P^S = { s | s is a subset of S}

Subtypes dan subranges adalah contoh dari pembangun power set.

Beberapa bahasa menyediakan mekanisme untuk dekomposisi suatu jenis ke dalam subtypes. Enumerasi adalah elemen dari subtype yang lainnya adalah subranges.

Power domain membangun suatu domain dari elemen-elemen set. Untuk domain A, pembangun power domain P() menciptakan domain P(A), suatu kumpulan yang anggotanya adalah subset dari A.

Power Domain : PD

Assembly operations: ø in PD, {a} in PD for a in D, and Si union Sj in PD for Si, Sj in PD

Recursively Defined Domain

Recursively defined domain adalah domain yang didefinisikan dari bentuk

                  D : … D …

Definisi disebut Recursively sebab nama domain “recurs” pada sisi kanan dari definisi. Recursively defined domain tergantung pada abstrak karena nama domain adalah suatu bagian penting dari definisi domain.

Lebih dari satu set boleh mencukupi suatu recursively defined. Bagaimanapun, mungkin saja ditunjukkan bahwa suatu recursively defined selalu mempunyai solusi terkecil. Solusi terkecil adalah suatu subset solusi yang lain.

Limit Construction

D₀ = null

D_i+1 = e[D:D_i] for i = 0,…

D = lim_i à _infty D_i

Type System

Presentase besar kesalahan di dalam program adalah dalam kaitan dengan operasi ke object jenis yang bertentangan. Type system telah dikembangkan untuk membantu programmer dalam pendeteksian kesalahan.

Suatu type system adalah satu set aturan untuk mendefinisikan jenis dan menghubungkan suatu type dengan ekspresi dalam bahasa. Suatu type system menolak suatu ekspresi jika tidak menghubungkan suatu type dengan ekspresi. Type checking boleh berjalan pada waktu kompilasi atau waktu berjalan atau kedua-duanya.

Jika kesalahan diharapkan untuk dideteksi pada waktu kompilasi maka suatu static type checking system diperlukan. Satu pendekatan ke static type checking memerlukan programmer untuk menetapkan type masing-masing obyek di dalam program.

Ini mengizinkan compiler untuk melaksanakan type checking sebelum pelaksanaan program dan ini adalah pendekatan yang diambil oleh bahasa seperti Pascal, ADA, C++ dan Java.

Jika pendeteksian kesalahan diharapkan untuk ditunda sampai waktu pelaksanaan, maka dinamic type checking diperlukan.

Di dalam dinamic type checking, masing-masing nilai data berlabel dengan type informasi sehingga lingkungan waktu berjalan dapat memeriksa kecocokan type dan mungkin melaksanakan konversi type jika diperlukan. Bahasa program Lisp, Scheme dan Small-Talk adalah contoh dari bahasa dynamic type.

Type Checking

Suatu bahasa disebut :

·         Untyped jika tidak ada type abstrak yang berlaku

·         Strong type jika menyelenggarakan type abstrak (operasi mungkin diterapkan hanya untuk type object yang sesuai)

·         Type static jika type ekspresi masing-masing dapat ditentukan dari teks program

·         Type dynamic jika penentuan type beberapa ekspresi tergantung pada perilaku waktu berjalan program.

Keuntungan dari bahasa Untyped adalah fleksibilitas mereka. Programmer mempunyai kendali penuh atas bagaimana suatu nilai data digunakan tetapi harus mengasumsikan tanggung jawab penuh untuk mendeteksi aplikasi operasi ke type object yang tidak cocok/bertentangan.

Strong type membantu untuk memastikan portabilitas dan keamanan kode dan sering memerlukan programmer dengan tegas menggambarkan type masing-masing object di dalam suatu program. Ini penting juga dalam kumpulan untuk pemilihan operasi yang sesuai dan untuk optimisasi.

Static Type secara luas dikenal sebagai kebutuhan untuk produksi software yang dapat dipercaya dan aman. Type static dipilih ketika efisiensi di dalam waktu pelaksanaan adalah penting dan kompilator pendukung digunakan untuk mendukung rancang bangun software berjalan.

Dynamic type checking menyiratkan bahwa type dicek pada waktu pelaksanaan dan bahwa tiap-tiap nilai berlabel untuk mengidentifikasi typenya dalam rangka membuat type checking mungkin. Hukuman untuk dynamic type checking adalah biaya waktu dan ruang tambahan.

Type Equivalence (Kesamaan Jenis)

Dua type tak dikenal (satuan object) adalah sama jika mereka berisi elemen-elemen yang sama. Yang sama tidak bisa dikatakan type nama mereka yang dulu, maka tidak diperlukan untuk memisah type union. Kapan type dinamai, ada dua pendekatan utama untuk menentukan apakah dua type sama.

Name Equivalence (Kesamaan Nama)

Di dalam name equivalence dua type adalah sama jika mereka mempunyai nama yang sama. Type diberi nama berbeda diperlakukan berbeda dan tidak bisa secara kebetulan dicampur hanya karena struktur mereka secara kebetulan adalah sama. Name equivalence perlu definisi type untuk global.

Structural Equivalence (Kesamaan Struktural)

Di dalam structural equivalence, nama type diabaikan dan elemen-elemen type dibandingkan untuk persamaan. Adalah mungkin bahwa dua type logic yang berbeda boleh menjadi kebetulan yang sama dan dapat dicampur.

Definisi type tidak diperlukan untuk menjadi global. Structural equivalence adalah penting di dalam distribusi pemrograman, dimana program terpisah harus mengkomunikasikan type data.

Definisi N.1:

Dua type T, T’ adalah name equivalence iff T dan T’ adalah nama yang sama.

Dua type T, T’ adalah structural equivalence iff T dan T’ memiliki satuan nilai yang sama.

Tiga aturan berikut yang digunakan untuk menentukan jika dua type adalah structural equivalence :

a.    Suatu nama type sama secara struktur dengan dirinya sendiri

b.    Dua type yang sama secara struktur jika mereka dibentuk dengan menerapkan type pembangun yang sama (secara berulang) ke type structural equivalence.

c.    Setelah suatu deklarasi type, type n = T, nama type n secara structural setara dengan T.

Type Inference (Jenis Kesimpulan)

Type inference adalah masalah yang umum dalam menjelmakan untyped atau sintaksis type parsial ke dalam terminologi yang baik.

Deklarasi tetap Pascal adalah suatu contoh type inference, typa nama adalah kesimpulan dari type yang tetap. Dalam Pascal untuk pengulangan type index pengulangan dapat ditarik kesimpulan dari type recursively defined dan dengan begitu indeks pengulangan harus suatu variabel lokal dari pengulangan.

Bahasa pemrograman Miranda dan Haskell adalah type static dan menyediakan strong type inference system sehingga seorang programmer tidak perlu mendeklarasikan type apapun. Bahasa juga mengizinkan para programmer untuk menyediakan spesifikasi type eksplisit.

Suatu type checking harus mampu :

a.    Menentukan jika suatu program adalah type yang baik dan

b.    Jika program adalah type yang baik, tentukan type ekspresi manapun di dalam program

Type Declaration (Jenis Deklarasi)

Bahkan bahasa yang menyediakan suatu type inference system mengizinkan para programmer untuk membuat deklarasi type eksplisit. Sekalipun compiler dapat dengan tepat menyimpulkan type, pembaca manusia mungkin harus meneliti beberapa halaman kode untuk menentukan type suatu fungsi.

Kesalahan kecil oleh programmer dapat menyebabkan compiler mengeluarkan pemberitahuan kesalahan atau untuk menyimpulkan suatu type yang berbeda dibanding yang diharapkan. Karena pertimbangan ini adalah praktek pemrograman yang baik dengan tegas menyatakan type atas semua kecuali kasus yang paling nyata.

Polymorphism (Polimorfisme)

Suatu type system adalah monomorphic jika masing-masing konstanta, variabel, parameter, dan hasil fungsi mempunyai suatu type unik. Type checking suatu system monomorphic adalah type secara langsung. Tetapi system type monomorphic semata-mata tidak memuaskan untuk penulisan software yang bisa dipakai kembali.

System yang sepenuhnya monomorphic jarang. Kebanyakan bahasa pemrograman berisi beberapa operator atau prosedur yang mengizinkan argumentasi lebih dari satu type.

Definisi N.2 :

Monomorphism : tiap-tiap konstanta, variabel, parameter, fungsi dan operator mempunyai suatu type unik.

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

Polymorphism : suatu operator, fungsi atau prosedur yang mempunyai suatu keluarga type yang terkait dan berorientasi secara seragam atas argumentasinya dengan mengabaikan type.

Suatu operasi polymorphic adalah yang dapat berlaku untuk type yang berbeda tetapi berhubungan dengan argumentasi.

Suatu type system adalah polymorphic jika abstrak beroperasi secara seragam pada argumentasi suatu keluarga type terkait.

Polymorphism type ini kadang-kadang disebut parametric polymorphism.

Type Completeness (Jenis Kelengkapan)

Prinsip type ini, tidak ada operasi yang dapat berlaku semaunya, terbatas yang berhubungan dengan nilai type.

KONSEP BAHASA PEMROGRAMAN

PROGRAM : Merupakan himpunan atau kumpulan instruksi tertulis yang dibuat oleh programer atau suatu bagian executable dari suatu software.

PEMROGRAMAN : Suatu kumpulan urutan perintah ke komputer untuk mengerjakan sesuatu, dimana instruksi tersebut menggunakan bahasa yang dimengerti oleh komputer atau dikenal dengan bahasa pemrograman.

DATA : Bahan mentah yang akan diolah menjadi informasi sehingga  dapat dipergunakan oleh user atau pemakai.

Tipe data yang biasa digunakan adalah :

1. Tipe Data Dasar : merupakan tipe data primitif yang tidak terstruktur yang didefinisikan oleh bahasa pemrograman.

    Tipe data dasar dibagi menjadi lima bagian yaitu :

    a. Tipe Data Numerik : disetiap bahasa pemrograman dapat dipastikan ada tipe data numerik yaitu menyimpan data berupa angka.

       - Integer  : merupakan bilangan bulat positif dan negatif

     - Subrange  : merupakan sebuah subtype dari tipe data integer dan terdiri dari urutan nilai-nilai integer dalam range yang tebatas.

       - Floating-point Real  : biasa disingkat dan disebut tipe data riil.

      - Fixed-point Real  : Bilangan fixwd-pont direpresentasikan dengan urutan digit yang mempunyai panjang tetap dengan titik decimal diposisikan ditempat yang diberikan antara dua digit.

       - Lain-lain  : Tipe data lainnya adalah bilangan kompleks dan bilangan rational.

     b. Enumerasi  : adalah suatu urutan list dari nilai-nilai yang berbeda.

     c. Boolean  : tipe data untuk merepresentasikan True atau False.

     d. Character  : tipe data untuk menyimpan rangkaian karakter.

     e. Internationalization : disebut I18N

2. Tipe Data Terstruktur : merupakan tipe data campuran dari berbagai tipe data dasar, contohnya array, record, string, list dan file.   

3. Tipe Data didefinisikan oleh Pemakai : tipe data ini biasanya disebut Enumerasi.

4. Tipe Data Penunjuk : contoh tipe data penunjuk adalah pointer.

MODEL KOMPUTASI

Model Komputasi  : adalah suatu kumpulan dari nilai dan operasi-operasi.

Ada 3 dasar model komputasi :

1. Model Fungsional

   Model perhitungan yang fungsional terdiri dari satu set nilai-nilai, fungsi dan operasi aplikasi, fungsi dan komposisi fungsi.

2. Model Logika

    Logika model perhitungan terdiri dari suatu set nilai-nilai, definisi hubungan dan kesimpulan logis.

3. Model Imperative

   Model perhitungan yang imperative terdiri dari satu set nilai-nilai yang mencakup suatu status dan operasi tugas-tugas untuk memodifikasi status tersebut.

DEFINISI SINTAKS, SEMANTIK DAN PRAGMATIS 

SINTAKS               : Aturan gramatikal / komposisi suatu program yang mengatur  tata cara penulisan huruf, angka dan karakter lain.

Contoh : Pada pembuatan program Pascal antara 2 statement dipisahkan oleh ; (titik koma)

               X:=1;  X:=X+1;

SEMANTIK          : Mendefinisikan arti dari program yang benar secara sintaks dari bahasa pemrograman tersebut.

Contoh : Pada pembuatan program C

               int vector[10]

               Arti semantiknya akan menyebabkan ruang sebanyak 10

PRAGMATIS       : Menguraikan derajat tingkat sukses dengan suatu bahasa pemrograman kepada model perhitungan dalam kegunaannya untuk para programer.

Prinsip-prinsip Desain Bahasa Pemrograman

a.       Clarity, Simplicity dan Unity

Bahasa pemrograman harus dapat menolong programer untuk membuat suatu desain program jauh  sebelum programmer melakukan coding. Kemudahan, kesederhanaan dan kesatuan merupakan suatu kombinasi yang membantu programmer mengembangkan suatu algoritma sehingga algoritma yang dihasilkan  mempunyai kompleksitas yang rendah.

b.      Orthogonality

Orthogonality menunjuk kepada suatu atribut yang dapat dikombinasikan dengan beragam fitur bahasa pemrograman sehingga setiap kombinasinya mempunyai arti dan dapat digunakan.

c.       Kewajaran untuk Aplikasi

Bahasa pemrograman membutuhkan syntax yang tepat/cocok yang digunakan pada struktur program untuk merefleksikan struktur logika yang melandasi suatu algoritma. 

g.    Portabilitas Program

Salah satu kriteria penting untuk proyek pemrograman adalah kemudahan program yang sudah jadi untuk dipindah-pindahkan dari komputer yang digunakan untuk membuat dan mengembangkan ke komputer lain yang akan menggunakannya.

h.    Biaya Penggunaan

Biaya merupakan elemen penting dalam mengevaluasi suatu bahasa pemrograman.

Ada beberapa biaya yang dapat diukur yaitu :

1. Biaya Eksekusi Program

2. Biaya Translasi/kompilasi Program

3. Biaya Penciptaan, Testing dan Penggunaan Program

4. Biaya Pemeliharaan Program