occam-π

Occam-π é uma linguagem de programação criada pelo cientista informático britânico Tony Hoare. Baseia-se na linguagem de programação Occam, que Hoare desenvolveu no início da década de 1980. O nome "occam-π" vem do facto de acrescentar características ao occam que o tornam mais adequado para programação num cenário simultâneo e distribuído. A mais importante destas características é a adição de primitivas "pi-calculus", que permitem a fácil criação de processos simultâneos. occam-π é uma linguagem fortemente tipada, o que significa que todas as variáveis devem ser declaradas com um tipo específico antes de poderem ser utilizadas. Isto pode ser visto como uma desvantagem por alguns, uma vez que pode levar a mais código verboso. Contudo, também elimina toda uma classe de erros que podem ocorrer em línguas que não são fortemente dactilografadas. Globalmente, occam-π é uma linguagem poderosa e expressiva que é bem adequada para programação concorrente e distribuída.