Calcolatrice ricorsiva Kent - Kent Recursive Calculator
| Paradigma | funzionale |
|---|---|
| Progettato da | David Turner |
| Apparso per la prima volta | 1981 |
| Influenzato da | |
| SASL | |
| influenzato | |
| Miranda | |
KRC ( Kent Recursive Calculator ) è un linguaggio funzionale pigro sviluppato da David Turner dal novembre 1979 all'ottobre 1981 basato su SASL , con pattern matching , guardie ed espressioni ZF (ora più comunemente chiamate list comprehensions ). Sono state scritte due implementazioni di KRC: quella originale di David Turner in BCPL in esecuzione su EMAS e quella successiva di Simon J. Croft in C sotto Unix , e KRC era il linguaggio principale utilizzato per insegnare la programmazione funzionale all'Università del Kent a Canterbury (Regno Unito) dal 1982 al 1985.
Il diretto successore di KRC è Miranda , che include una disciplina di tipo polimorfico basata su quella del ML di Milner .
Riferimenti
Ulteriori letture
- Programmazione funzionale e sue applicazioni , David A. Turner, Cambridge U Press 1982.
- Turner, DA (1981). "L'eleganza semantica dei Linguaggi Applicativi". Atti del Convegno 1981 sui linguaggi di programmazione funzionale e l'architettura dei calcolatori . Associazione per le macchine informatiche . pp. 85-92. ISBN 0-89791-060-5.
 |
Questo articolo relativo al linguaggio di programmazione è solo un abbozzo . Puoi aiutare Wikipedia espandendola . |
