Re: Currying

Article View: bln.comp.lang.opal

Article #185

Back to bln.comp.lang.opal Previous Next

#185

From: Rocco Rutte
Date: Mon, 29 Nov 2004 19:08

15 lines
2216 bytes

* Christian Maeder wrote:

> 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)

Auf die Ableitung von = und > aus < bin ich mit ein paar Tipps dann auch
gekommen. Es ging mir persönlich aber eher um den Aha-Effekt, dass man
ziemlich schönen Code schreiben kann, selbst wenn man alles angeben
muss.

  bye, Rocco
-- 
:wq!

Technical Details

Message-ID: <20041129190819.GA1197@klaus.daprodeges.fqdn.th-h.de>

Path:

arc1-ca.pugleaf.net!g2news1.google.com!news3.google.com!news.glorb.com!news.zanker.org!npeer.de.kpn-eurorings.net!newsfeed.arcor.de!news.arcor.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> <41AB0347.5040001@tzi.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.zanker.org!npeer.de.kpn-eurorings.net!newsfeed.arcor.de!news.arcor.de!not-for-mail
From: Rocco Rutte <pdmef@gmx.net>
Newsgroups: bln.comp.lang.opal
Subject: Re: Currying
Date: Mon, 29 Nov 2004 19:08:20 +0000
Organization: Berlin University of Technology
Message-ID: <20041129190819.GA1197@klaus.daprodeges.fqdn.th-h.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> <41AB0347.5040001@tzi.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Cancel-Lock: sha1:pGsAvetrZ+FMPHG/ZdTAbz/SOK0=
User-Agent: Mutt/1.5.6i tinews.pl/1.1.7
In-Reply-To: <41AB0347.5040001@tzi.de>
X-Orig-Date: September 4107th, 1993, 19:02:35 (UTC)
X-GnuPG-Key: http://user.cs.tu-berlin.de/~pdmef/rrutte.gpg
Content-Disposition: inline
X-System: klaus.daprodeges.fqdn.th-h.de (FreeBSD 5.3-RELEASE-p1 i386)
X-PGP-Key: 0xF0518D0D
X-PGP-Sig: GnuPG-v1.2.6 From,Newsgroups,Subject,Date,Message-ID,Cancel-Lock
 iQCVAwUBQatzpN1aDWDwUY0NAQFlwwP+L0LLENeXL/Pq35sD7GdYjIMk7ighFOX3
 WPiwV7ULsHLznyldC8mN/W4Rxybzd/KpcMt57zQM5+jjvpGoZHiy6WQB5BzyM5JK
 W4StXoLAtKx0CfpDbwqXBDVOosYZdPUNd7VGwCNw626qmeg8EFPBckeWtzTgieFe
 XKbzHYRvcIA=
 =Jg3v
Lines: 15
NNTP-Posting-Date: 29 Nov 2004 21:29:15 MET
NNTP-Posting-Host: 678dbacf.newsread2.arcor-online.net
X-Trace: DXC=cQP2K3I4KGc?m49DcKk?RnQ5U85hF6f;djW\KbG]kaMhLL]:kiR8f=oTO?LJPHG=\deJdb@5QR;gbC63Zmbcm2Wl
X-Complaints-To: abuse@arcor.de

Reply to Parent Message