KRC ( Kent Recursive Calculator ) es un lenguaje funcional perezoso desarrollado por David Turner desde noviembre de 1979 hasta octubre de 1981 [1] basado en SASL , con coincidencia de patrones , guardias y expresiones ZF [2] (ahora más comúnmente llamadas listas por comprensión ). Se escribieron dos implementaciones de KRC: la original de David Turner en BCPL que se ejecuta en EMAS , y la posterior de Simon J. Croft en C bajo Unix , y KRC fue el lenguaje principal utilizado para enseñar programación funcional en elUniversidad de Kent en Canterbury (Reino Unido) de 1982 a 1985.
Paradigma | funcional |
---|---|
Diseñada por | David Turner |
Apareció por primera vez | 1981 |
Influenciado por | |
SASL | |
Influenciado | |
Miranda |
El sucesor directo de KRC es Miranda , que incluye una disciplina de tipo polimórfico basada en la del ML de Milner .
Otras lecturas
- Programación funcional y sus aplicaciones , David A. Turner, Cambridge U Press 1982.
- Turner, DA (1981). "La elegancia semántica de los lenguajes aplicativos". Actas de la Conferencia de 1981 sobre lenguajes de programación funcionales y arquitectura informática . Asociación de Maquinaria Informática . págs. 85–92. ISBN 0-89791-060-5.
Referencias
- ^ Fechas en el comentario del código fuente BCPL KRC para EMAS.
- ^ Este artículo se basa en material tomado del Diccionario de Computación en línea gratuito antes del 1 de noviembre de 2008 e incorporado bajo los términos de "renovación de licencias" de la GFDL , versión 1.3 o posterior.