Siitä lähtien, kun ihmiskunta keksi ensimmäisen ohjelmoitavan laitteen, on luotu yli kaksi tuhatta ohjelmointikieliä. Ja joka vuosi heidän lukumääränsä kasvaa tasaisesti. Ne auttavat luomaan viestinnän monimutkaisten teknisten laitteiden eri laitteiden välillä.
Ohjelmointikieli on muodollinen merkkijärjestelmä, jota käytetään tietokoneohjelmien kirjoittamisessa. He noudattavat erilaisia sääntöjä (leksikaalisia, semanttisia ja syntaktisia), jotka määrittävät ohjelman ulkonäön ja toimet, jotka tietokoneen on suoritettava. Valitulle aihealueelle parhaiten sopivia ohjelmointikieliluokkia on suuri määrä, jopa rehellisesti koomisia. Niitä kutsutaan esoteerisiksi eikä niitä ole tarkoitettu käytännön käyttöön. Esimerkiksi on kieliä, joilla on kirjallisuussyntaksi (Shakespeare, Chef), kielet, jotka on suunniteltu vaikeuttamaan koodin kirjoittamista (Malbolge, ALPACA), tai epäinhimillisen logiikan omaava - Var'aq (käyttää Klingonin logiikkaa) Star Trek -elokuvasta). Ja muita sarjakuvakieliä, mutta sarjakuvien lisäksi on olemassa suuri määrä ammattimaisia kieliä. Tällä hetkellä käytetty pääluokka on olio-kielet. Tämä on korkea taso, joka on tarkoitettu sekä pienten ohjelmien että suurten ohjelmistojärjestelmien kirjoittamiseen. Tämän luokan pääedustajat ovat Java, C #, C ++, Ruby, Python. Loogiset ohjelmointikielet on myös huomattava. Ne perustuvat automaattiseen lauseeseen, joka todistaa paradigman ja perustuvat matemaattisen logiikan teoriaan. Tunnetuin looginen ohjelmointikieli on Prolog. Siinä käytetään ensiluokkaista predikaattilogiikkaa. Luoduista kielistä ja niiden toimivuudesta huolimatta on aina tarpeen valita oikeat työkalut ohjelmistotuotteiden luomiseen. Esimerkiksi, jos sinun on toteutettava asiakas-palvelinsovellus, looginen kieli ei tietenkään sovi tähän. Siksi on tarpeen valita se, joka sopii parhaiten tehtävän ratkaisemiseen.
