Funk: a minimalist rewriting system

Massimo Dentico m.dentico@galactica.it
Sun, 11 Feb 2001 00:31:29 +0100


Funk home page:

  - http://spcuna.spc.edu/~davis_d/computing/funk/index.html

I have found a short but illuminating description of Funk
here:

  - http://spcuna.spc.edu/~davis_d/computing/funk/prolog.html

=============================================================
[...] Funk is a minimalist language a la URMs, combinators,
etc. It's mission was to be simple. URMs can be viewed as
gross simplifications of (the ordinary) procedural computer
languages. Combinators are an extreme simplification of the
functional paradigm. ***Funk is what you get when you start
throwing out everything non-essential in the rewriting
paradigm. (The object, to be precise, is to simplify as far
as possible while retaining Turing computability.)***

[...]
=============================================================

Emphasis mine.

Regards.

-- 
Massimo Dentico