Esta es la aplicación de Linux llamada koka cuya última versión se puede descargar como v2.4.0.zip. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada koka con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
SCREENSHOTS
Ad
Koka
DESCRIPCIÓN
Koka es un lenguaje de estilo funcional fuertemente tipado con tipos de efectos y controladores. El núcleo de Koka consiste en un pequeño conjunto de características de lenguaje bien estudiadas, como funciones de primera clase, un sistema de tipos y efectos polimórficos, tipos de datos algebraicos y controladores de efectos. Cada uno de estos es componible y evita la adición de extensiones "especiales" al ser lo más general posible. Koka rastrea los efectos (secundarios) de cada función en su tipo, donde se distinguen los cálculos puros y efectivos. El tipo de efecto preciso le da a Koka una semántica sólida como una roca respaldada por una teoría de categorías bien estudiada, lo que hace que Koka sea particularmente fácil de razonar tanto para los humanos como para los compiladores. Los controladores de efectos le permiten definir abstracciones de control avanzadas, como excepciones, async/await o programas probabilísticos, como una biblioteca de usuario de forma escrita y componible. Perceus es un método de compilación avanzado para el recuento de referencias.
Caracteristicas
- Instala Koka y compila tus primeros programas
- El núcleo de Koka consiste en un pequeño conjunto de características de lenguaje bien estudiadas.
- Koka es un lenguaje de estilo funcional fuertemente tipado con tipos de efectos y controladores.
- Compilador e intérprete de lenguaje
- Perceus es un método de compilación avanzado para el conteo de referencias
- Koka rastrea los efectos (secundarios) de cada función en su tipo
Lenguaje de programación
Haskell
Categorías
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/koka.mirror/. Ha sido alojado en OnWorks para poder ejecutarse online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.
