Re: Currying

Article View: bln.comp.lang.opal

Article #184

Back to bln.comp.lang.opal Previous Next

#184

From: Christian Maeder
Date: Mon, 29 Nov 2004 11:08

15 lines
1546 bytes

Rocco Rutte wrote:
> SIGNATURE QSort [data,<,=,>]

3 Parameter sind i.a. nicht nötig.

> SORT data
> 
> FUN < : data ** data -> bool

Allein von der <-Funktion erwartet man, dass es sich um eine 
totale/lineare Striktordnung handelt. ">" ist unnötig, da man die 
Argumente zu "<" vertauschen kann. Und wenn weder "<" noch ">" gilt, 
muss "=" gelten. (Trichotomy-Gesetz)

Christian

Technical Details

Message-ID: <41AB0347.5040001@tzi.de>

Path:

arc1-ca.pugleaf.net!g2news1.google.com!news3.google.com!news.glorb.com!news.tele.dk!news.tele.dk!small.news.tele.dk!news-fra1.dfn.de!news-ber1.dfn.de!news.uni-hamburg.de!cs.tu-berlin.de!informatik.uni-bremen.de!not-for-mail

References:

<20041126185354.GA3628@bolero.cs.tu-berlin.de> <co9mce$k0u$1@news.cs.tu-berlin.de> <20041127171133.GA11333@klaus.daprodeges.fqdn.th-h.de>

Show Full Headers

Complete Article Headers

X-Google-Thread: 108421,40e8db7115af3dfc
X-Google-Attributes: gid108421,public
X-Google-Language: GERMAN,UTF8
Path: arc1-ca.pugleaf.net!g2news1.google.com!news3.google.com!news.glorb.com!news.tele.dk!news.tele.dk!small.news.tele.dk!news-fra1.dfn.de!news-ber1.dfn.de!news.uni-hamburg.de!cs.tu-berlin.de!informatik.uni-bremen.de!not-for-mail
From: Christian Maeder <maeder@tzi.de>
Newsgroups: bln.comp.lang.opal
Subject: Re: Currying
Date: Mon, 29 Nov 2004 12:08:55 +0100
Organization: Universitaet Bremen, Germany
Lines: 15
Message-ID: <41AB0347.5040001@tzi.de>
References: <20041126185354.GA3628@bolero.cs.tu-berlin.de> <co9mce$k0u$1@news.cs.tu-berlin.de> <20041127171133.GA11333@klaus.daprodeges.fqdn.th-h.de>
NNTP-Posting-Host: turing.informatik.uni-bremen.de
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.2) Gecko/20040804
X-Accept-Language: en-us, en
To: Rocco Rutte <pdmef@gmx.net>
In-Reply-To: <20041127171133.GA11333@klaus.daprodeges.fqdn.th-h.de>
X-Enigmail-Version: 0.85.0.0
X-Enigmail-Supports: pgp-inline, pgp-mime

Reply to Parent Message