Path: utzoo!utgpu!news-server.csri.toronto.edu!clyde.concordia.ca!uunet!samsung!zaphod.mps.ohio-state.edu!rpi!uupsi!sunic!chalmers!mathrt0.math.chalmers.se!augustss
From: augustss@cs.chalmers.se (Lennart Augustsson)
Newsgroups: comp.lang.functional
Subject: Re: LML 0.99
Message-ID: <1990Aug25.125551.11458@mathrt0.math.chalmers.se>
Date: 25 Aug 90 12:55:51 GMT
References: <4060@undis.cs.chalmers.se> <3592@goanna.cs.rmit.oz.au>
Sender: news@mathrt0.math.chalmers.se (Evald Nyhetsson)
Organization: Dept. of CS, Chalmers, Sweden
Lines: 27

In article <3592@goanna.cs.rmit.oz.au> ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe) writes:
>In article <4060@undis.cs.chalmers.se>, augustss@cs.chalmers.se (Lennart Augustsson) writes:
>> ** Language constructs:
>
>> * Sections are implemented.  They are written (op aexp) and (aexp op)
>>   with their usual meaning.  As usual (- aexp) is not a section.
>
>What's a section?

A section is a shorthand for a lambda expression involving an operator.
E.g.
	(+ 5)			(1 /)
are the same as
	(\ x -> x + 5)		(\ x -> 1 / x)

The reason that (- e) is not (\x->x - e) is that this notation is
already used for prefix negation.

I have no idea why sections are called sections.

	-- Lennart Augustsson




	-- Lennart Augustsson
Email:	augustss@cs.chalmers.se