occam-π

Occam-π es un lenguaje de programación creado por el informático británico Tony Hoare. Se basa en el lenguaje de programación occam, que Hoare desarrolló a principios de la década de 1980. El nombre "occam-π" proviene del hecho de que añade características a occam que lo hacen más adecuado para la programación en un entorno concurrente y distribuido. La más importante de estas características es la adición de primitivas del "pi-calculus", que permiten crear fácilmente procesos concurrentes. occam-π es un lenguaje fuertemente tipado, lo que significa que todas las variables deben ser declaradas con un tipo específico antes de que puedan ser utilizadas. Esto puede ser visto como una desventaja por algunos, ya que puede conducir a un código más verboso. Sin embargo, también elimina toda una clase de errores que pueden ocurrir en lenguajes que no son fuertemente tipados. En general, occam-π es un lenguaje potente y expresivo que se adapta bien a la programación concurrente y distribuida.