ToonTalk es un sistema de programación informática destinado a ser programado por niños. La parte "Toon" significa caricatura. La presentación del sistema se realiza en forma de personajes animados, incluidos robots que se pueden entrenar con el ejemplo. Es una de las pocas implementaciones exitosas fuera del mundo académico del paradigma de programación de lógica de restricciones concurrentes .
Fue creado por Kenneth M. Kahn en 1995, [1] e implementado como parte de ToonTalk IDE, [2] un paquete de software distribuido en todo el mundo entre 1996 y 2009. Desde 2009, su especificación se publica académicamente [3] y su implementación está disponible gratuitamente.
A partir de 2014, estuvo disponible una versión JavaScript HTML5 de ToonTalk llamada ToonTalk Reborn para la 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 ToonTalk pueden ejecutarse en cualquier elemento DOM y varias capacidades del navegador (audio, video, hojas de estilo, entrada y salida de voz y eventos del navegador) están disponibles para los programas ToonTalk. Se integran 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 importante uso académico en varios proyectos de investigación, en particular en el London Knowledge Lab y el Institute of Education : proyectos Playground y WebLabs, en los que participaron 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 permitir la programación informática en niños analfabetos. [8]
ToonTalk fue influenciado por el lenguaje de programación informática Janus y el modelo Actor . La principal abstracción de comunicación en ToonTalk es la pareja pájaro/nido. Cuando usted (el programador o un robot) le da algo a un pájaro, ella vuela a su nido, lo pone en él y luego regresa. Si una o más cosas ya ocupan el nido, el pájaro pone la nueva debajo de las demás.
Un programa ToonTalk es una secuencia de reglas, donde cada regla tiene un principio y un fin. El encabezado 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 en los que se pueden colocar cosas. El alfabeto de las cosas incluye bloques numéricos, bloques de texto, otros cuadros, equipos de robots, pájaros, nidos y cosas de otras categorías. Un proceso consta de una caja sobre la que trabaja un equipo de robots. Si ninguno de los patrones coincide con el cuadro, el proceso se suspende. De lo contrario, se activa la primera regla que coincida. El final de la regla puede destruir el proceso o continuarlo con el mismo equipo. En caso de que el patrón requiera algo más que un nido vacío donde hay un nido vacío, 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 coincide con el patrón como si el nido no estuviera allí, solo algo (superior). Las acciones en la cola también manipulan algo en lugar de todo el nido. En consecuencia, un nido puede usarse para programar un futuro .
A ToonTalk se le puede dar una lectura imperativa o una lectura declarativa. Si ignoramos ciertas construcciones diseñadas para facilitar la E/S, podemos ver que ToonTalk no tiene ningún acceso compartido a la memoria mutable. El mecanismo pájaro/nido se parece a la comunicación en el modelo Actor, pero con el poder adicional de poder pasar nidos y que un proceso contenga más de un nido (lo que también es cierto 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, ToonTalk también puede proporcionar una combinación indeterminista de flujos de mensajes.
