<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
  <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
  <link rel="stylesheet" type="text/css" media="all" href="stylesheet.css">
  <title>Prozedurale Programmierung: Begriffe</title>
</head>
<body>
  <span id="menu"><a href="index.php">zurück zur Liste</a></span>

  <div id="buttons">
    <form action="edit.php" method="POST">
      <input type="hidden" name="filename" value="<?php echo $_SERVER['SCRIPT_FILENAME']?>">
      <p>
        <input type="submit" value="Seite bearbeiten">
      </p>
    </form>
  </div>

  <h1>Begriffe in Haskell</h1>

  <h2>Erklärungen</h2>
<b>Lazy Evaluation</b>: In "Haskell" werden Ausdrücke grundsätzlich nicht strikt ausgewertet. Ein (Teil-)Ausdruck wird erst durch seinen Wert ersetzt, wenn dieser zum Beispiel für einen arithmetischen Vergleich benötigt wird. Demzufolge wird auch ein als aktueller Parameter einer Funktion übergebener Ausdruck erst ausgewertet, wenn sein Wert innerhalb des Funktionsrumpfes verwendet wird. Wurde der Wert einmal berechnet, werden alle namentlichen Vorkommen des Ausdrucks durch seinen Wert ersetzt. Ein einfaches Beispiel verdeutlicht diese Strategie.<br><br>
<code>const1 a = 1 </code>
<br><br>
Definiert ist eine konstante Funktion "const1" mit einem beliebigen Parameter "a" und dem Rückgabewert 1. Der Rückgabewert folgender beispielhafter Funktionsaufrufe ist also immer 1.<br><br>
<code>
(Pseudocode)<br>
const1 10 => 1<br>
const1 (1+4) => 1<br>
const1 'A' => 1<br>
const1 (1/0) => 1<br>
</code><br><br>
Für das Ergebnis der Funktion ist der Wert des aktuellen Parameters irrelevant. Er wird von einem Interpreter deshalb nie ausgewertet. Aus diesem Grund führt der letzte Aufruf mit der Division durch Null als Parameter nicht zu einem Fehler.
<br>
Solange also der Wert eines Ausdrucks (einer Funktion) nicht benötigt wird, behandelt "Haskell" diesen als eine Definition. Als solche werden auch entsprechende Teilausdrücke behandelt.<br><br>

<b>Pattern Matching</b>: Ein Funktion kann mehrere Definitionen haben. Es wird per Pattern Matching anhand der aufrufenden Parameter entschieden, welche Definition angewendet wird. <br>

Beispiel: Rekursive Funktion zum Berechnen von <code>x</code> Exponent <code>y</code><br><br>
<code>
xHochY :: Int -> Int -> Int<br>
xHochY x 0 = 1<br>
xHochY x _ = x * xHochY x (y-1)<br>
</code><br>
Wenn <code>y = 0</code> ist, wird die erste Definition verwendet. In allen anderen Fällen (_ ist Wildcard) wird die untere Definition verwendet. Die Funktion ist rekursiv und bricht nach <code>y = 0</code> ab. Es wird jedoch nicht geprüft, ob kein <code>y < 0</code> Parameter ist.<br><br>

<b>Currying</b>: eine Funktion in gecurrieter Form erhält alle ihre Argumente auf einmal, also z. B. wenn wir x und y multiplizieren wollen, übergeben wir gleichzeitig x und y.<br><br>
<code>
mult :: Int -> Int -> Int<br>
mult x y = x * y
</code>
<br><br>
Die ungecurrierte Form sähe so aus:<br><br>
<code>
mult :: (Int, Int) -> Int<br>
mult (x, y) = x * y
</code>
<br><br>

<b>Formale Parameter (FP)</b>: Namen für Parameter in der Funktionsdefinition, also die abstrakten.<br><br>

<b>Aktuelle Parameter (AP)</b>: Ausdrücke im Aufruf, deren Werte oder Stellen übergeben werden, also die konkreten, die beim Funktionsaufruf übergeben werden.<br><br>

<b>Call-by-Name</b>: Bei der Parameterübergabe nach dem Mechanismus des call-by-name wird der Parameter als Referenz übergeben. In der aufgerufenen Methode kann man sich an jeder Stelle, wo der Parameter als lokale Variable verwendet wird, den Namen der beim Aufruf übergebenen Variable ersetzt denken. Kommt in der aufgerufenen Methode ein lokaler Name mit demselben Namen vor, so kann dies leicht zu ungewollten Effekten führen.<br>
Beispiel:<br><br>
<code>
int x = 3;<br>
Function abc (int a)<br>
{<br>
   int x = 5;<br>
   a = a + 5;<br>
}<br>
abc(x);<br>
print(x);<br><br>
</code>
Bei diesem Beispiel wird am Schluss nicht, wie man vielleicht vermutet, <code>8</code> ausgegeben, sondern <code>10</code>, da in der Methode <code>abc</code> jedes Vorkommen von <code>a</code> durch <code>x</code> ersetzt werden kann und somit <code>x = x + 5 = 5 + 5</code> berechnet wird.<br><br>


<b>Call-by-Value</b>: Bei der Parameterübergabe nach dem Mechanismus des call-by-value wird eine Kopie der Variable übergeben. Wenn in der Methode der übergebene Parameter geändert wird, hat dies keine Auswirkung auf den Originalparameter. <br><br>

<b>Call-by-result</b>: Bei der Parameterübergabe nach dem Mechanismus des call-by-value/result (auch call-by-copy/restore genannt) wird zunächst wie beim call-by-value verfahren, d.h. es wird nur eine Kopie der Variable übergeben. Wenn in der Methode der übergebene Parameter geändert wird, hat dies zunächst keine Auswirkung auf den Originalparameter. Am Ende der Methode wird allerdings der Wert der übergebenen Variable aus der aufrufenden Methode mit dem aktuellen Wert des Parameters überschrieben <br><br>

<b>Call-by-reference</b>: Bei der Parameterübergabe nach dem Mechanismus des call-by-reference wird der Parameter als Referenz übergeben. Wird in der Methode der Wert des Parameters geändert, so wirkt sich dies auch auf den Wert der übergebenen Variable in der aufrufenden Methode aus. Die beiden Objekte zeigen auf dieselbe Speicheradresse, statt einer Kopie des Wertes wird die Speicheradresse übergeben.Dieser Übergabemechanismus wird beispielsweise in der Programmiersprache Java verwendet.<br><br>

<b>Higher-Order-Function</b>: Eine Funktion, die als Parameter eine Funktion verarbeiten kann und auch eine Funktion zurück geben kann.<br>
Beispiel:<br><br>
<code>squareList list = map (^2) list</code><br><br>
Die Funktion <code>squareList</code> bekommt <code>^2</code> als Parameter übergeben.<br><br>


<h2>Links</h2>
<a href="http://en.wikipedia.org/wiki/Lazy_evaluation">lazy evaluation bei Wikipedia (engl.)</a><br>
<a href="http://www.fh-wedel.de/~si/seminare/ss02/Ausarbeitung/3.lazy/lazy2.htm">weiterführendes zum Thema "lazy evaluation"</a><br>
<a href="http://ag-kastens.uni-paderborn.de/lehre/material/gdp/folien/Folie715.html">Folie zu Currying</a><br>
<a href"http://en.wikipedia.org/wiki/Higher-order_function">higer order function bei Wikipedia (engl.)</a><br><br>

<h2>Dokumente</h2>
<a href="haskellbegriffe.doc">als doc zum Drucken</a>

</body>
</html>