KRC ( Kent Recursive Calculator ) es un lenguaje funcional perezoso desarrollado por David Turner de noviembre de 1979 a 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 ejecutándose 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 la Universidad de Kent en Canterbury (Reino Unido). de 1982 a 1985.
El sucesor directo de KRC es Miranda , que incluye una disciplina de tipo polimórfico basada en la de ML de Milner .
Referencias
- ^ Fechas en el comentario del código fuente BCPL KRC para EMAS.
- ^ Este artículo se basa en material tomado de Kent+Recursive+Calculator en el Free On-line Dictionary of Computing antes del 1 de noviembre de 2008 e incorporado bajo los términos de "nueva licencia" de GFDL , versión 1.3 o posterior.
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 para Maquinaria de Computación . págs. 85–92. ISBN 0-89791-060-5.
enlaces externos
- Página de inicio de KRC con una implementación gratuita para sistemas Unix