Kokoslan es un lenguaje que implementa el cálculo lambda de forma particular Los programas son en (archivos de) texto (sufijo .kl). Permite definiciones, lambdas, aritmética entera y booleana y listas (tipos de datos correspondientes). Opcionalmente permite strings. Tiene un print(ln) que es capaz de imprimir cualquier dato) en consola Permite pattern-matching en las lambdas Permite evaluación eager (por defecto) pero también lazy (opcional) El problema de estudio es escribir un parser y un intéprete para Kokoslan, como mínimo Eventualmente escribir un compilador que genere Prolog para que corra en esa plataforma
- Denis Rodriguez - @vite0150
- Luis Vasquez - @luisf96v
- Walter Chaves - @banned007