| dbo:abstract
|
- KRC (Kent Recursive Calculator) is a lazy functional language developed by David Turner from November 1979 to October 1981 based on SASL, with pattern matching, guards and ZF expressions (now more usually called list comprehensions).Two implementations of KRC were written: David Turner's original one in BCPL running on EMAS, and Simon J. Croft's later one in C under Unix, and KRC was the main language used for teaching functional programming at the University of Kent at Canterbury (UK) from 1982 to 1985. The direct successor to KRC is Miranda, which includes a polymorphic type discipline based on that of Milner's ML. (en)
- KRC (Kent Recursive Calculator) とは、イギリス・ケント大学（University of Kent）のデビッド・ターナーによって設計・実装された単純な遅延評価方式の純粋関数型プログラミング言語である。1979年11月から1981年10月にかけて、EMAS オペレーティングシステム上に BCPL で実装された。 (ja)
- KRC (англ. Kent Recursive Calculator) — ленивый функциональный язык программирования, разработанный Дэвидом Тёрнером (David Turner) в 1981 году на базе SASL с добавлением сопоставления по образцу, охраняющих выражений (guards) и ZF-выражений (сейчас более известных как списковые включения). Существовало две реализации KRC: написанная Тэрнером на BCPL для EMAS; более поздняя от Саймона Крофта (Simon Croft) на C под Unix. KRC был главным языком для обучения функциональному программированию в «University of Kent at Canterbury (UK)» с 1982 до 1985. Прямым наследником KRC является Miranda, в которой также добавились полиморфные типы из ML. (ru)
- KRC（Kent Recursive Calculator：肯特递归计算器）是一种惰性的纯函数式编程语言，由在1979年11月至1981年10月期间开发，基于了SASL，具有模式匹配、守卫和ZF表达式（现在通常叫做列表推导式）。KRC有两种主要实现：David Turner的最初实现用BCPL写成并运行于，Simon J. Croft的后来实现用C写成并运行于Unix。KRC在1982年至1985年期间是在坎特伯雷的肯特大学用于教授函数式编程的主要语言。 KRC的直接后继者是Miranda，它包括了基于Milner的ML的一种多态类型规矩。 (zh)
|
| dbo:designer
| |
| dbo:influenced
| |
| dbo:influencedBy
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2533 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:designer
| |
| dbp:influenced
| |
| dbp:influencedBy
| |
| dbp:name
| |
| dbp:paradigm
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:wordnet_type
| |
| dbp:year
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- KRC (Kent Recursive Calculator) とは、イギリス・ケント大学（University of Kent）のデビッド・ターナーによって設計・実装された単純な遅延評価方式の純粋関数型プログラミング言語である。1979年11月から1981年10月にかけて、EMAS オペレーティングシステム上に BCPL で実装された。 (ja)
- KRC（Kent Recursive Calculator：肯特递归计算器）是一种惰性的纯函数式编程语言，由在1979年11月至1981年10月期间开发，基于了SASL，具有模式匹配、守卫和ZF表达式（现在通常叫做列表推导式）。KRC有两种主要实现：David Turner的最初实现用BCPL写成并运行于，Simon J. Croft的后来实现用C写成并运行于Unix。KRC在1982年至1985年期间是在坎特伯雷的肯特大学用于教授函数式编程的主要语言。 KRC的直接后继者是Miranda，它包括了基于Milner的ML的一种多态类型规矩。 (zh)
- KRC (Kent Recursive Calculator) is a lazy functional language developed by David Turner from November 1979 to October 1981 based on SASL, with pattern matching, guards and ZF expressions (now more usually called list comprehensions).Two implementations of KRC were written: David Turner's original one in BCPL running on EMAS, and Simon J. Croft's later one in C under Unix, and KRC was the main language used for teaching functional programming at the University of Kent at Canterbury (UK) from 1982 to 1985. (en)
- KRC (англ. Kent Recursive Calculator) — ленивый функциональный язык программирования, разработанный Дэвидом Тёрнером (David Turner) в 1981 году на базе SASL с добавлением сопоставления по образцу, охраняющих выражений (guards) и ZF-выражений (сейчас более известных как списковые включения). Существовало две реализации KRC: написанная Тэрнером на BCPL для EMAS; более поздняя от Саймона Крофта (Simon Croft) на C под Unix. KRC был главным языком для обучения функциональному программированию в «University of Kent at Canterbury (UK)» с 1982 до 1985. (ru)
|
| rdfs:label
|
- Kent Recursive Calculator (en)
- Kent Recursive Calculator (ko)
- Kent Recursive Calculator (ja)
- Kent Recursive Calculator (ru)
- 肯特递归计算器 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:influenced
of | |
| is dbo:influencedBy
of | |
| is dbo:knownFor
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:influenced
of | |
| is dbp:influencedBy
of | |
| is dbp:knownFor
of | |
| is foaf:primaryTopic
of | |
