ToonTalk

ToonTalk es un sistema de programación informática diseñado para niños. El término "Toon" hace referencia a dibujos animados. El sistema se presenta mediante personajes animados, incluyendo robots que pueden ser entrenados con ejemplos. Es una de las pocas implementaciones exitosas, fuera del ámbito académico, del paradigma de programación lógica con restricciones concurrentes .

Fue creado por Kenneth M. Kahn en 1995, ^{[ 1 ]} e implementado como parte del IDE ToonTalk, ^{[ 2 ]} un paquete de software distribuido mundialmente entre 1996 y 2009. Desde 2009, su especificación se publica académicamente ^{[ 3 ]} y su implementación está disponible gratuitamente.

Desde 2014, está disponible una versión de ToonTalk en JavaScript HTML5 llamada ToonTalk Reborn for the Web ^{[ 4 ] [ 5 ] [ 6 ]} . Se ejecuta en cualquier navegador web moderno y se diferencia de la versión de escritorio de ToonTalk en algunos aspectos. Los programas de ToonTalk pueden ejecutarse en cualquier elemento DOM y ofrecen diversas funcionalidades del navegador (audio, vídeo, hojas de estilo, entrada y salida de voz y eventos del navegador). Además, integra servicios web como Google Drive. ToonTalk Reborn es gratuito y de código abierto.

Más allá de su vida como producto comercial, ToonTalk evolucionó a través de un uso académico significativo en varios proyectos de investigación, especialmente en el London Knowledge Lab y el Institute of Education (proyectos Playground y WebLabs), que involucraron a socios de investigación de Cambridge ( Addison Wesley Longman a través de su filial Logotron), Portugal ( Cnotinfor y la Universidad de Lisboa ), Suecia ( Real Instituto de Tecnología ), Eslovaquia ( Universidad Comenius ), Bulgaria ( Universidad de Sofía ), Chipre ( Universidad de Chipre ) e Italia (Instituto de Tecnología Educativa del Consiglio Nazionale delle Ricerche ). También fue fuente de interés académico en Suecia, donde Mikael Kindborg propuso una representación estática de los programas ToonTalk ^{[ 7 ]} , y en Portugal, donde Leonel Morgado estudió su potencial para facilitar la programación informática a niños prealfabetizados ^{[ 8 ] .}

ToonTalk se inspiró en el lenguaje de programación Janus y el modelo Actor . La principal abstracción de comunicación en ToonTalk es la pareja pájaro/nido. Cuando el programador o un robot le da un objeto a un pájaro, este vuela a su nido, coloca el objeto dentro y luego regresa. Si el nido ya está ocupado por uno o más objetos, el pájaro coloca el nuevo debajo de los demás.

Un programa ToonTalk es una secuencia de reglas, donde cada regla tiene una cabeza y una cola. La cabeza es un patrón que se puede comparar con el argumento, que debe ser una tupla. En la presentación de ToonTalk, una regla aparece como un robot, un programa como un equipo de robots y una tupla como una caja que puede tener cualquier número de agujeros o compartimentos donde se pueden colocar cosas. El alfabeto de cosas incluye teclados numéricos, teclados de texto, otras cajas, equipos de robots, pájaros, nidos y cosas de otras categorías. Un proceso consiste en una caja con un equipo de robots trabajando en ella. Si ninguno de los patrones coincide con la caja, el proceso se suspende. De lo contrario, se activa la primera regla que coincide. El final de la cola de la regla puede destruir el proceso o continuarlo con el mismo equipo. En caso de que el patrón requiera algo distinto a un nido vacío cuando hay un nido vacío presente, el proceso se suspende hasta que algún pájaro coloque algo en el nido (generalmente como resultado de las acciones de otros procesos). Un nido con algo encima coincide con el patrón como si el nido no estuviera allí, solo el algo (superior). Las acciones en la cola también manipulan el algo en lugar de todo el nido. En consecuencia, un nido puede usarse para programar un futuro .

ToonTalk puede interpretarse de forma imperativa o declarativa. Si ignoramos ciertas construcciones diseñadas para facilitar la entrada/salida, podemos considerar que ToonTalk no tiene acceso compartido a memoria mutable. El mecanismo de nido/pájaro se asemeja a la comunicación del modelo Actor, pero con la capacidad adicional de intercambiar nidos y permitir que un proceso contenga más de uno (lo cual también ocurre en Janus ). Una diferencia entre la comunicación en el modelo Actor y en ToonTalk es que ToonTalk conserva el orden de los mensajes; sin embargo, también puede proporcionar una fusión indeterminista de flujos de mensajes.

• Sitio web oficial