Re: sections

[Kent Karlsson <kent>]

Original-Via: uk.ac.ukc; Wed, 24 Oct 90 17:49:34 BST
From: Kent Karlsson <kent>
Date: Wed, 24 Oct 90 17:25:32 +0100
To: haskell@cs.glasgow.ac.uk
Subject: Re: sections
Original-Sender: kent%se.chalmers.cs@sunic.sunet.se
Sender: haskell-request@cs.glasgow.ac.uk

		"SECTIONS" IN HASKELL
		=====================
		
I think the "placeholder" in a s.c. section should be explicitly
marked, either by a '?', or, if you don't want to reserve a new
symbol, by an '_'.  E.g.:

(_ - 1)    (1 - _)    (_ + 1)   (_ = 0)

1. This would also allow writing 'subtract n' as a section.

2. This would generalize to the 'f _ 1 2' case (even if it's not
   included in "the standard").

3. And just in case prefix/postfix operators were to be introduced
   (whether as a standard, or just in some implementations...),
   this notation for sections would not be a hindrance.

			/kent k