Pony (lenguaje de programación)

Pony (también conocido como ponylang ) es un lenguaje de programación de alto rendimiento, orientado a objetos , con modelo de actores y capacidades seguras . ^{[ 6 ] [ 7 ]} Las capacidades de referencia de Pony permiten que incluso los datos mutables se pasen de forma segura por referencia entre actores. La recolección de basura se realiza concurrentemente , por actor, lo que elimina la necesidad de pausar la ejecución del programa o "detener el mundo" . ^{[ 8 ] [ 9 ] [ 10 ]} Sylvan Clebsch es el creador original del lenguaje. ^{[ 11 ] [ 12 ]} Actualmente es mantenido y desarrollado por miembros del equipo Pony. ^{[ 13 ]} Es software libre y de código abierto con una licencia BSD de 2 cláusulas .

El lenguaje fue creado por Sylvan Clebsch mientras cursaba su doctorado en el Imperial College de Londres . Su profesora en aquel entonces era Sophia Drossopoulou , también reconocida por sus contribuciones a la programación informática y por su labor docente. Según desarrolladores que han hablado con Sylvan, este se sentía frustrado por no contar con un lenguaje de alto rendimiento que pudiera ejecutar código concurrente de forma segura, confiable y sencilla. ^{[ 14 ]}

En esencia, Pony es un lenguaje de sistemas diseñado en torno a la seguridad y el rendimiento.

• Seguridad de tipos : Pony es un lenguaje con seguridad de tipos. ^{[ 15 ]}
• Seguridad de memoria : No hay punteros colgantes ni desbordamientos de búfer. No hay valores nulos, pero los tipos opcionales se pueden representar de forma segura mediante uniones con el tipo None. ^{[ 6 ] [ 16 ]}
• Seguridad ante excepciones : no hay excepciones en tiempo de ejecución. Todas las excepciones tienen una semántica definida y siempre se capturan. ^{[ 17 ]}
• Seguridad de concurrencia: el sistema de tipos emplea capacidades de referencia para garantizar (en tiempo de compilación) que no haya condiciones de carrera ni interbloqueos . ^{[ 18 ] [ 19 ] [ 20 ] [ 21 ]}

• Sin cerradura: por diseño, Pony evita la necesidad de mecanismos de cierre tradicionales, lo que elimina los gastos generales y la contienda asociados con las cerraduras. ^{[ 14 ]}
• Código nativo: Pony es un lenguaje compilado anticipadamente . No hay intérprete ni máquina virtual ^{[ 18 ] [ 16 ].}
• Recolección de basura concurrente: el montón de cada actor se recolecta por separado y concurrentemente, evitando la necesidad de "detener el mundo" para la recolección global. ^{[ 11 ] [ 12 ] [ 21 ]}

En Pony, en lugar de una función principal, existe un actor principal . La creación de este actor sirve como punto de entrada a un programa Pony, como en este programa "¡Hola, mundo!" . ^{[ 6 ] [ 17 ]}

actor Main nuevo crear ( env : Env ) => env . out . print ( "Hola, mundo!" )

En Pony no existen variables globales, lo que significa que todo debe estar contenido dentro de una instancia de una clase o un actor. ^{[ 14 ]} Por lo tanto, incluso el entorno que permite imprimir en la salida estándar se pasa como parámetro. ^{[ 14 ] [ 6 ]}

• Mölle, Andreas (dic. 2017). "Desarrollo de programas concurrentes con Pony". Linux Magazine (205). ISSN  1536-4674 .
• MCStone, Maverick (dic. 2023). Pony Playbook: Dominando los fundamentos de la programación concurrente . Publicado de forma independiente. ISBN 979-8870768175.
• Allen, Corby (julio de 2024). Programación Pony: La guía completa para crear aplicaciones de alto rendimiento, concurrentes y seguras con Pony . Publicado de forma independiente. ISBN 979-8332662072.

• Sitio web oficial
• Tutorial de Ponylang
• Pony: Facilitando la escritura de programas eficientes, concurrentes y sin condiciones de carrera en Curry On 2015 , en colaboración con ECOOP 2015.