| dbo:abstract
|
- Refal ("Recursive functions algorithmic language"; Russian: РЕФАЛ) "is a functional programming language oriented toward symbolic computations", including "string processing, language translation, [and] artificial intelligence". It is one of the oldest members of this family, first conceived of in 1966 as a theoretical tool, with the first implementation appearing in 1968. Refal was intended to combine mathematical simplicity with practicality for writing large and sophisticated programs. One of the first functional programming languages to do so, and unlike Lisp of its time, Refal is based on pattern matching. Its pattern matching works in conjunction with term rewriting. The basic data structure of Lisp and Prolog is a linear list built by cons operation in a sequential manner, thus with O(n) access to list's nth element. Refal's lists are built and scanned from both ends, with pattern matching working for nested lists as well as the top-level one. In effect, the basic data structure of Refal is a tree rather than a list. This gives freedom and convenience in creating data structures while using only mathematically simple control mechanisms of pattern matching and substitution. Refal also includes a feature called the freezer to support efficient partial evaluation. Refal can be applied to the processing and transformation of tree structures, similarly to XSLT. (en)
- Refal（レファル）はシンボル操作のために設計された関数型プログラミング言語であり、文字列変換、翻訳を行い、人工知能を持つ。マルコフアルゴリズムの概念が使われている。名称は"REcursive Functions Algorithmic Language"に由来する。 (ja)
- РЕФАЛ (РЕкурсивних Функцій АЛгоритмічна) — одна з найстаріших функційних мов програмування, орієнтована на так звані : обробку символьних рядків (наприклад, алгебраїчні вирази); переклад з однієї мови (штучної або природної) на іншу; розв'язання задач, пов'язаних з штучним інтелектом. Поєднує в собі математичну простоту з практичною орієнтацією на написання великих і складних програм. Відмінною рисою мови є використання зіставлення зі зразком як основного способу визначення функцій. (uk)
- РЕФАЛ (Рекурсивных функций алгоритмический) — один из старейших функциональных языков программирования, ориентированный на символьные вычисления: обработку символьных строк (например, алгебраические выкладки); перевод с одного языка (искусственного или естественного) на другой; решение проблем, связанных с искусственным интеллектом. Соединяет в себе математическую простоту с практической направленностью на написание больших и сложных программ. Отличительной чертой языка является использование сопоставления с образцом и переписывания термов как основного способа определения функций. (ru)
|
| dbo:designer
| |
| dbo:developer
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8653 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:designer
| |
| dbp:developer
|
- Valentin Turchin, S. Florentsev, V. Olyunin, et al. (en)
|
| dbp:implementations
|
- Refal-2, Refal-5, Refal-6, Refal+ (en)
|
| dbp:name
| |
| dbp:paradigm
|
- Pattern-matching and term-rewriting (en)
|
| dbp:typing
| |
| dbp:website
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:wordnet_type
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- Refal（レファル）はシンボル操作のために設計された関数型プログラミング言語であり、文字列変換、翻訳を行い、人工知能を持つ。マルコフアルゴリズムの概念が使われている。名称は"REcursive Functions Algorithmic Language"に由来する。 (ja)
- РЕФАЛ (РЕкурсивних Функцій АЛгоритмічна) — одна з найстаріших функційних мов програмування, орієнтована на так звані : обробку символьних рядків (наприклад, алгебраїчні вирази); переклад з однієї мови (штучної або природної) на іншу; розв'язання задач, пов'язаних з штучним інтелектом. Поєднує в собі математичну простоту з практичною орієнтацією на написання великих і складних програм. Відмінною рисою мови є використання зіставлення зі зразком як основного способу визначення функцій. (uk)
- РЕФАЛ (Рекурсивных функций алгоритмический) — один из старейших функциональных языков программирования, ориентированный на символьные вычисления: обработку символьных строк (например, алгебраические выкладки); перевод с одного языка (искусственного или естественного) на другой; решение проблем, связанных с искусственным интеллектом. Соединяет в себе математическую простоту с практической направленностью на написание больших и сложных программ. Отличительной чертой языка является использование сопоставления с образцом и переписывания термов как основного способа определения функций. (ru)
- Refal ("Recursive functions algorithmic language"; Russian: РЕФАЛ) "is a functional programming language oriented toward symbolic computations", including "string processing, language translation, [and] artificial intelligence". It is one of the oldest members of this family, first conceived of in 1966 as a theoretical tool, with the first implementation appearing in 1968. Refal was intended to combine mathematical simplicity with practicality for writing large and sophisticated programs. Refal also includes a feature called the freezer to support efficient partial evaluation. (en)
|
| rdfs:label
|
- Refal (ja)
- Refal (en)
- РЕФАЛ (ru)
- РЕФАЛ (uk)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| foaf:page
| |
| is dbo:knownFor
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
