Re: Here is a PC implementation: REFAL

Article View: comp.lang.functional

Article #220

Back to comp.lang.functional Previous Next

#220

From: Nick Rothwell
Date: Fri, 25 May 1990 10:13

20 lines
1157 bytes

In article <23320@uflorida.cis.ufl.EDU>, kcw@beach (Ken Whedbee) writes:
>The same program written in REFAL:
>
>     Isect { ()(e1) = ;
>             (s1 e2)(e3 s1 e4) = s1<Isect (e2)(e3 e4)> ;
>             (s1 e2)(e3) = <Isect (e2)(e3)> }
>
>REFAL is extremely simple.  You can probably read the above definition
>without having ever heard about REFAL.

I can read it, but I don't understand it.

>Ken Whedbee

		Nick.
--
Nick Rothwell,	Laboratory for Foundations of Computer Science, Edinburgh.
		nick@lfcs.ed.ac.uk    <Atlantic Ocean>!mcsun!ukc!lfcs!nick
~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~
		   Ich weiss jetzt was kein Engel weiss

Technical Details

Message-ID: <4205@castle.ed.ac.uk>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!mcsun!ukc!edcastle!lfcs!nick

References: <23320@uflorida.cis.ufl.EDU>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!mcsun!ukc!edcastle!lfcs!nick
From: nick@lfcs.ed.ac.uk (Nick Rothwell)
Newsgroups: comp.lang.functional
Subject: Re: Here is a PC implementation:  REFAL
Message-ID: <4205@castle.ed.ac.uk>
Date: 25 May 90 10:13:19 GMT
References: <23320@uflorida.cis.ufl.EDU>
Reply-To: nick@lfcs.ed.ac.uk (Nick Rothwell)
Organization: Jenny Agutter Appreciation Society of Edinburgh
Lines: 20
In-reply-to: kcw@beach.cis.ufl.edu (Ken Whedbee)

Reply to Parent Message