Sejak masa manusia muncul dengan peranti yang dapat diprogramkan pertama, lebih dari dua ribu bahasa pengaturcaraan telah dibuat. Dan setiap tahun jumlah mereka terus bertambah. Mereka membantu menjalin komunikasi antara pelbagai peranti dalam peralatan teknikal yang kompleks.
Bahasa pengaturcaraan adalah sistem isyarat formal yang digunakan semasa menulis program komputer. Mereka mematuhi pelbagai peraturan (leksikal, semantik dan sintaksis) yang menentukan penampilan program dan tindakan yang mesti dilakukan oleh komputer. Terdapat sebilangan besar kelas bahasa pengaturcaraan yang paling sesuai untuk bidang subjek yang dipilih, malah ada yang komik terus terang. Mereka dipanggil esoterik dan tidak dimaksudkan untuk penggunaan praktikal. Contohnya, ada bahasa yang mempunyai sintaks sastera (Shakespeare, Chef), bahasa yang dirancang untuk menyukarkan penulisan kod (Malbolge, ALPACA), atau dengan logik tidak berperikemanusiaan - Var'aq (menggunakan logik Klingon perlumbaan dari filem Star Trek). Dan bahasa komik lain, tetapi selain komik terdapat sebilangan besar bahasa profesional. Kelas utama yang kini digunakan adalah bahasa berorientasikan objek. Ini adalah tahap tinggi, yang bertujuan untuk menulis program kecil dan sistem perisian yang besar. Wakil utama kelas ini adalah Java, C #, C ++, Ruby, Python. Bahasa pengaturcaraan logik juga perlu diberi perhatian. Mereka didasarkan pada teorem automatik membuktikan paradigma dan berdasarkan teori logik matematik. Bahasa pengaturcaraan logik yang paling terkenal ialah Prolog. Ia menggunakan logik predikat pesanan pertama. Walaupun terdapat banyak bahasa yang dibuat dan fungsi mereka, selalu diperlukan untuk memilih alat yang tepat untuk membuat produk perisian. Sebagai contoh, jika anda perlu melaksanakan aplikasi pelayan pelanggan, maka, jelas, bahasa logik tidak sesuai untuk ini. Oleh itu, perlu memilih yang paling sesuai untuk menyelesaikan tugas.
