KRC ( Kent Recursive Calculator ) — ленивый функциональный язык, разработанный Дэвидом Тернером с ноября 1979 по октябрь 1981 года [1] на основе SASL с сопоставлением с образцом , охранниками и выражениями ZF [2] (теперь чаще называемыми списочными включениями ). Было написано две реализации KRC: оригинальная реализация Дэвида Тернера на BCPL , работающая на EMAS , и более поздняя реализация Саймона Дж. Крофта на языке C под Unix , и KRC был основным языком, используемым для обучения функциональному программированию в Университете Кента в Кентербери (Великобритания) с 1982 по 1985 год.
Прямым преемником KRC является Miranda , которая включает в себя дисциплину полиморфного типа, основанную на дисциплине ML Милнера .