Hispanopedia WikiKRC ( 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 , guardas y expresiones ZF [ 2 ] (ahora más comúnmente llamadas comprensiones de listas ). 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 la enseñanza de programación funcional en la Universidad de Kent en Canterbury (Reino Unido) desde 1982 hasta 1985.
El sucesor directo de KRC es Miranda , que incluye una disciplina de tipos polimórficos basada en la de ML de Milner .
Referencias
- ↑ Fechas en el comentario al 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 "relicencia" de la GFDL , versión 1.3 o posterior.
Lecturas adicionales
- Programación funcional y sus aplicaciones , David A. Turner, Cambridge University Press, 1982.
- Turner, DA (1981). «La elegancia semántica de los lenguajes aplicativos». Actas de la Conferencia de 1981 sobre Lenguajes de Programación Funcional y Arquitectura de Computadoras . Association for Computing Machinery . págs. 85-92 . ISBN 0-89791-060-5.
Enlaces externos
- Página principal de KRC
- Su intérprete de código abierto para Unix , basado en la versión de 1982 del profesor Turner para EMAS
Categorías :
- Lenguajes funcionales
- Historia de la informática en el Reino Unido
- Universidad de Kent
- Lenguajes de programación creados en 1981
- Temas básicos de lenguajes de programación
