occam-π

Occam-π je programovací jazyk, který vytvořil britský počítačový vědec Tony Hoare. Vychází z programovacího jazyka occam, který Hoare vyvinul na počátku 80. let 20. století. Název "occam-π" pochází z toho, že do occamu přidává vlastnosti, které jej činí vhodnějším pro programování v souběžném, distribuovaném prostředí. Nejdůležitější z těchto vlastností je přidání primitiv "pi-calculus", které umožňují snadné vytváření souběžných procesů. occam-π je silně typovaný jazyk, což znamená, že všechny proměnné musí být před použitím deklarovány s určitým typem. To mohou někteří považovat za nevýhodu, protože to může vést k většímu množství slovního kódu. Zároveň však eliminuje celou třídu chyb, které se mohou vyskytnout v jazycích, které nejsou silně typované. Celkově je occam-π výkonný a expresivní jazyk, který se dobře hodí pro souběžné a distribuované programování.