Personal tools

De/Flussrichtung

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
Current revision (12:46, 20 March 2007) (edit) (undo)
(Category:De/Syntax)
 
Line 81: Line 81:
[[Direction of data flow]]
[[Direction of data flow]]
-
[[Category:Syntax]]
+
[[Category:De/Syntax]]

Current revision

Es wurde hin und wieder bemängelt, dass die symbolisierten Datenflussrichtungen verschiedener syntaktischer Konstrukte in Haskell voneinander abweichen. Es gibt in Haskell beide Richtungen in etwa gleich häufig:

links nach rechts:

Funktionsdefinition
f x = x*x
 (links Eingabe, rechts Ausgabe)
Lambda
\ x -> x*x
do-notation
do f; g
monadische Verkettung
f >>= g

rechts nach links:

Funktionsanwendung
f x
,
f $ x
 (rechts Eingabe, links darauf angewendete Transformation)
Verkettung
g . f
Ergebnisse von Monaden
do x <- f
monadische Verkettung
g =<< f

Lambda-Ausdrücke sähen viel natürlicher aus, wenn die Verkettung von links nach rechts gehen würde, also statt

transform3 . (\x -> transform2 x x)  . transform1

besser

transform1 . (\x -> x x transform2)  . transform3

Auch

do f -> x; g x

wäre schon viel näher an der darunterliegenden Implementierung

f >>= \x -> g x


Allerdings sehe ich noch zwei Unschönheiten/Gewöhnungsbedürftigkeiten:

Eines tritt beim Lesen von links-nach-rechts-Ausdrücken auf: Man sieht bei der Verwendung von Funktionen höherer Ordnung nicht sofort, wo die Argumente eines Funktionsaufrufes aufhören. Mein Lieblingsbeispiel - der

Differentialoperator
derive
:
derive :: (a -> a) -> (a -> a)
Wenn man den Ausdruck
x f derive
nur bis
f
liest, denkt man, es handelt sich um die Anwendung von
f
auf
x
und danach kommt noch irgendwas. Aber nein, durch
derive
wird alles umgekrempelt.

Man muss also einen Ausdruck erst bis zum nächsten Absatz (schließende Klammer, Infixoperator) lesen, bis man weiß, um welchen Funktionsaufruf es sich eigentlich handelt.

Die zweite Sache ist die Verbindung von Typsignatur und Funktionsanwendung. Wir schreiben 

derive :: (a -> a) -> (a -> a)
 derive f :: a -> a
 derive f x :: a

Wir können gewissermaßen die Argumente von der Typseite auf die Werteseite umschichten. Die Argumentreihenfolge ist daher in Typsignatur und Funktionsanwendung gleich. Bei der konsequenten links-nach-rechts-Notation ist das nicht mehr der Fall: 

derive :: (a -> a) -> (a -> a)
   f derive :: a -> a
 x f derive :: a

Die Notation hat natürlich den unbestreitbaren Vorteil, dass man sich

::
wie ein Gleichheitszeichen vorstellen kann, wo man auf beiden Seiten

der Gleichung die Ausdruecke immer von links manipuliert.

1 Weblinks

2 Siehe auch

Direction of data flow

Retrieved from "http://www.haskell.org/haskellwiki/De/Flussrichtung"

Category: De/Syntax