Eiffel je založený na objektovo orientovanom programovaní a kontrole (spracovaní) kódu kompilátorom pre určenie vzťahu tried. Eiffel umožňuje viacnásobné a opakované dedenie, abstraktné triedy a zhluky tried. Eiffel podporuje dynamické určovanie typov (aj objektov), stále (perzistentné) objekty, "garbage collector". Eiffel je možné rozširovať o moduly napísané v iných jazykoch.
Proceduralne jazyky
Proceduralne jazyky nemusia obsahovat objekty s vlastnostami a udalostmi, su PJ ktorou najvyssou zlozkou byva procedura alebo jednotka zahrnujuca jeden alebo viac procedur. Vacsina z nich funguje na roznych platformach.
-C
Jazyk C je univerzálny programovací jazyk, ktorého počiatky siahajú do konca sedemdesiatych rokov. Jazyk C pracuje priamo len so základnými dátovými typmi (číslo, znak). Vďaka štandardu ANSI C sú programy napísané v tomto jazyku prenositeľné na ľubovoľnú platformu s minimálnymi zmenami zdrojového kódu.
-Fortran (FORmula TRANslation)
Fortran bol pôvodne procedurálny programovací jazyk. Súčasný Fortran už podporuje prácu s objektmi. Aj keď Fortran vznikol už v 50-tych rokoch minulého storočia, stále sa hojne využíva vďaka množstvu existujúcich knižníc. Fortran sa využíva hlavne na vedecké výpočty. Pre fortranovský program je typické prísne formátovanie programu a hojné využitie príkazu GOTO.
-COBOL (COmmon Business-Oriented Language)
Cobol je programovací jazyk určený pre jednoduché výpočty nad väčším množstvom údajov. Cobol zaviedol vo svojej dobe do programovacích jazykov štruktúru záznamu (record). Jeho nespornou výhodou je formu programov, ktorá je pomerne blízka prirodzenému jazyku.
-BASIC (Beginner's All-purpose Symbolic Instruction Code)
BASIC je pôvodne kompilovaný procedurálny jazyk (Dartmouth BASIC), aj keď väčšina z používaných dialektov je interpretovaná. Basic je vhodný pre študentov a začínajúcich programátorov a preto sa využíva pri výučbe. S BASIC-om a jeho novšou verziou (Visual BASIC) sa stretnete najmä pod os Win.. .Visual BASIC podporuje už samozrejme prácu s objektmi a má niektoré ďalšie črty moderných programovacích jazykov.
-Ada
Ada vhodná na vytváranie väčších aplikácii.Ada podporuje paralelné programovanie, objektovo orientované programovania (Ada 95). Programy v tomto jazyku sú podobné tým napísaným v Pascale
-AWK (Aho, Weinberger, Kernighan)
AWK je interpretovaný jazyk známy z UNIX-ovského prostredia. Jeho veľkou výhodou je syntax podobná C-čku, voľnosť pri práci s premennými (bez deklarácie premenných, implicitné určovanie typov). AWK podporuje prácu s regulárnymi výrazmi, asociatívnymi poliami.