RC — ленивый функциональный язык, разработанный Дэвидом Тэрнером
(David Turner) в 1981-ом году на базе SASL с добавлением сопоставления
по образцу (pattern matching), охраняющих выражений (guards) и ZF
выражений (сейчас более известных, как «списочные включения» (list
comprehension)). Существовало две реализации KRC: написанная Тэрнером
на BCPL для EMAS; более поздняя от Саймона Крофта (Simon Croft) на C
под Unix. KRC был главным языком для обучения функциональному
программированию в “University of Kent at Canterbury (UK)” с 1982-го до
1985-го.

Прямым наследником KRC является Miranda, в которой также добавились полиморфные типы из ML.




Конструктор сайтов - uCoz
Copyright MyCorp © 2017