occam-π

Occam-π je programovací jazyk, ktorý vytvoril britský počítačový vedec Tony Hoare. Je založený na programovacom jazyku occam, ktorý Hoare vyvinul začiatkom 80. rokov 20. storočia. Názov "occam-π" pochádza z toho, že do jazyka occam pridáva vlastnosti, ktoré ho robia vhodnejším na programovanie v súbežnom, distribuovanom prostredí. Najdôležitejšou z týchto vlastností je pridanie primitív "pi-kalkulu", ktoré umožňujú jednoduché vytváranie súbežných procesov. occam-π je silne typovaný jazyk, čo znamená, že všetky premenné musia byť deklarované s konkrétnym typom, aby sa mohli použiť. Niektorí to môžu považovať za nevýhodu, pretože to môže viesť k viac slovnému kódu. Zároveň však eliminuje celú triedu chýb, ktoré sa môžu vyskytnúť v jazykoch, ktoré nie sú silne typizované. Celkovo je occam-π výkonný a expresívny jazyk, ktorý je vhodný na súbežné a distribuované programovanie.