Sisyphus repository
Last update: 27 january 2021 | SRPMs: 17788 | Visits: 20154352
en ru br
ALT Linux repos

Group :: Development/Functional
RPM: refal-plus

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR  Repocop 

Current version: 4137-alt4
Build date: 13 january 2021, 14:13 ( 2.1 weeks ago )
Size: 1323.25 Kb

Home page:

License: GPLv2
Summary: A modern dialect of Refal programming language

Refal Plus is a modern dialect of Refal programming language.

Refal (REcursive Functions Algorithmic Language) was originally
developed in the middle of 1960s by V.F.Turchin as a tool for describing
the semantics of other algorithmic languages. Later, when reasonably
efficient Refal implementations had been created, Refal was used as
a symbol manipulation language in such fields as computer algebra,
compiler and interpreter writing, artificial intelligence, etc.

The principal data type in Refal are arbitrary trees, referred to as
ground expressions. In programs and text files ground expressions are
represented by linear sequences of symbols and parentheses, with
parentheses being properly paired. Symbols represent such elementary
data objects as characters, words, numbers and references to objects.

The principal means of analyzing and accessing ground expressions is
pattern matching. Refal patterns may contain symbols, parentheses, and
variables. If matching a ground expression against a pattern succeeds,
the pattern's variables are bound to the corresponding components of the
ground expression, which can be used later for building new ground

Refal Plus has been developed taking into account the experience gained
from the design, implementation and use of such languages as Basic
Refal, Refal-2, Refal-4, Refal-5 and RL.

As compared to the other Refal dialects, Refal Plus provides the
following features:

   * Advanced modules support
   * Static declarations of dynamic objects
   * Significantly improved function declarations
   * Failure and error trapping
   * Input/output of ground expressions
   * Operations on boxes, vectors, and tables
   * "Vector" representation of ground expressions

Current maintainer: Fr. Br. George

List of contributors

List of rpms provided by this srpm:

  • refal-plus
  • refal-plus-debuginfo
  • refal-plus-devel
  • refal-plus-samples
    design & coding: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    current maintainer: Michael Shigorin