haskell - institut für informatik · pdf file4 binärbaum jeder knoten hat keinen...
TRANSCRIPT
![Page 1: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/1.jpg)
HASKELL KAPITEL 8
Bäume
![Page 2: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/2.jpg)
2
Baumrekursiv definierte Datenstrukturnicht linear
vielerlei Varianten: Struktur der Verzweigung, Ort der gespeicherten Information
(Knoten, Kanten, Blätter )
![Page 3: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/3.jpg)
3
Binärbaum
Fork
Fork
Leaf 1 Leaf 2 Leaf 3
Fork
Fork
Leaf 1 Leaf 2 Leaf 3
Jeder Knoten hat keinen oder zwei NachfolgerOrt der gespeicherten Information: Blätterdata Btree α = Leaf α | Fork (Btree α ) (Btree α )
Beispiele: Fork ( Leaf 1) (Fork (Leaf 2) (Leaf 3))
Fork (Fork (Leaf 1) (Leaf 2)) ( Leaf 3)
![Page 4: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/4.jpg)
4
BinärbaumJeder Knoten hat keinen oder zwei NachfolgerOrt der gespeicherten Information: Blätterdata Btree α = Leaf α | Fork (Btree α ) (Btree α )
Beispiele: Fork ( Leaf 1) (Fork (Leaf 2) (Leaf 3))
Fork (Fork (Leaf 1) (Leaf 2)) ( Leaf 3) Darstellung der Beispiele als Klammerstruktur:1 ( 2 3 )( 1 2 ) 3
![Page 5: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/5.jpg)
5
Induktion auf BinärbäumenAufgabe: Zeige, dass eine Eigenschaft P für jeden Binärbaum xt gilt.
Verfahren: 1. Zeige P(xt) für den Fall, dass xt ein Blatt ist. 2. Zeige P( Fork ( yt ) ( zt )) unter der Annahme, dass
yt und zt Bäume sind, und dass P(yt) und P(zt) gelten.
3. Falls xt unendlich wachsen kann: Zeige P(⊥).
![Page 6: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/6.jpg)
6
Blattzahl und Blattlistesize :: Btree α → Intsize (Leaf x ) = 1size ( Fork xt yt ) = size xt + size yt
flatten :: Btree α → [α]flatten (Leaf x) = [x]flatten( Fork xt yt ) = flatten xt ++ flatten yt
![Page 7: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/7.jpg)
7
Zahl innerer Knoten und Höhenodes :: Btree α → Intnodes (Leaf x ) = 0nodes ( Fork xt yt ) = 1 + nodes xt + nodese yt
height :: Btree α → Intheight (Leaf x) = 0height( Fork xt yt ) = 1 + (height xt max height yt)
Haskell Schlüsselwort:
Maximum in Infix-Notation
![Page 8: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/8.jpg)
8
Tiefe der Blätterersetze jeden Knoten durch die Länge seines Weges
zur Wurzel
depth :: Btree α → Btree Intdepth = down 0
down :: Int → Btree α → Btree Intdown n (Leaf x) = Leaf ndown n ( Fork xt yt ) =
Fork (down (n + 1) xt ) (down (n + 1) yt )
![Page 9: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/9.jpg)
9
„größtes“ BlattmaxBtree :: (Ord α) e Btree α → αmaxBtree(Leaf x) = xmaxBtree( Fork xt yt ) = ( maxBtree xt ) max ( maxBtree yt )
![Page 10: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/10.jpg)
10
mapBtreeersetze jedes Blatt a durch f a.
mapBtree :: (α→ β) → Btree α→ BtreeβmapBtree f (Leaf x) = Leaf ( f x)mapBtree f ( Fork xt yt ) =
Fork ( mapBtree f xt ) ( mapBtree f yt)
![Page 11: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/11.jpg)
11
foldBtreeeine vielseitig nutzbare Funktion.Ergänzt mapBtree (für die Transformation von
Blättern) um eine Transformation für Teilbäume.
foldBtree :: (α→ β ) → (β→ β → β ) → Btree α → βfoldBtree f g (Leaf x) = f xfoldBtree f g ( Fork xt yt ) = g ( foldBtree f g xt) ( foldBtree f g yt )
![Page 12: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/12.jpg)
12
size mit foldBtreefoldBtree :: (α→ β ) → (β→ β → β ) → Btree α → βfoldBtree f g (Leaf x) = f xfoldBtree f g ( Fork xt yt ) = g ( foldBtree f g xt) ( foldBtree f g yt )
size :: Btree α → Intsize (Leaf x ) = 1size ( Fork xt yt ) = size xt + size yt
size = foldBtreee (const 1) (+)mit const :: α → β → α
const x y = x
![Page 13: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/13.jpg)
13
height mit foldBtreefoldBtree :: (α→ β ) → (β→ β → β ) → Btree α → βfoldBtree f g (Leaf x) = f xfoldBtree f g ( Fork xt yt ) = g ( foldBtree f g xt) ( foldBtree f g yt )
height :: Btree α → Intheight (Leaf x) = 0height( Fork xt yt ) = 1 + (height xt max height yt)
height = foldBtreee (const 0) (⊕)where m ⊕ n = 1 + (m max n)
![Page 14: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/14.jpg)
14
flatten mit foldBtreefoldBtree :: (α→ β ) → (β→ β → β ) → Btree α → βfoldBtree f g (Leaf x) = f xfoldBtree f g ( Fork xt yt ) = g ( foldBtree f g xt) ( foldBtree f g yt )
flatten :: Btree α → [α]flatten (Leaf x) = [x]flatten( Fork xt yt ) = flatten xt ++ flatten yt
flatten = foldBtreee wrap (++) mit wrap :: α → [α]
wrap x = [x]
![Page 15: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/15.jpg)
15
mapBtree mit foldBtreefoldBtree :: (α→ β ) → (β→ β → β ) → Btree α → βfoldBtree f g (Leaf x) = f xfoldBtree f g ( Fork xt yt ) = g ( foldBtree f g xt) ( foldBtree f g yt )
mapBtree :: (α→ β ) → Btree α→ BtreeβmapBtree f (Leaf x) = Leaf ( f x)mapBtree f ( Fork xt yt ) =
Fork ( mapBtree f xt ) ( mapBtree f yt)
Leaf :: α→ Btree αFork :: Btree α→ Btree α→ Btree αmapBtree f = foldBtreee (Leaf • f ) Fork
![Page 16: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/16.jpg)
16
ergänzte BinärbäumeJeder knoten trägt Information. Beispiel: Knotenzahl
seines Teilbaumes:data Atree α = Leaf α | Fork In (Btree α ) (Btree α )etc.
geht alles mit foldBtree
![Page 17: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/17.jpg)
HASKELL KAPITEL 9
Module
![Page 18: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/18.jpg)
Modularisierung Modul = Eine Struktureinheit im Programm, kapselt eine Menge von Funktionsdefinitionen, Typen, etc. Modulersteller Modulbenutzer - möchte nur einige der Funktionen - braucht oft nur einige Funktionen für Nutzer freigegeben -mag evt. andere Namen -Implementation änderbar -will vielleicht importierte Funktionen weitergeben
![Page 19: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/19.jpg)
Module dienen der Strukturierung von Programmen; sie haben eine klare Schnittstelle (Interface), in der festgelegt wird, was sie exportieren und was sie importieren. Sie bieten:
- unabhängige Programmierung von Programmteilen - - separate Compilation von Programmteilen - - Bibliotheken von Komponenten können wieder verwendet werden
![Page 20: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/20.jpg)
Beispiele: module mymodule1 where f = ... g = ... Default: alles wird exportiert module mymodule2 where import mymodule1 h = ... Importiert f und g
![Page 21: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/21.jpg)
module mymodule3 (f , ...) where f = ... g = ... Exportiert nur f, ... module mymodule4 (f , module bla) where import bla f = ... g = ... exportiert f und re-exportiert alles aus bla
![Page 22: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/22.jpg)
import mymodule1 (f,...) Importiert nur f,... import mymodule1 hiding (f,...) Importiert alles ausser f,... import mymodule1 renaming (f to fff, g to ggg) Import mit Umbenennung
![Page 23: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/23.jpg)
HASKELL KAPITEL 10
Zusammenfassung
![Page 24: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/24.jpg)
Haskell hat ein Universum U von Werten. U ist in Teilmengen partitioniert. Jede solche Teilmenge von U ist ein Typ. Vordefinierte (einfache) Typen: Integer, Float, Bool, Char (natürliche Zahlen, Gleitkomma-Zahlen, die logischen Werte, die Symbole) Zusammengesetzte Typen: Funktionen, Listen, Bäume, etc. über gegebenen Typen
![Page 25: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/25.jpg)
18
strenge TypisierungJeder Term gehört zu genau einem Typ. Konsequenz:quad :: Integer → Integer quad x = square square x
erzeugt einen Typ-Fehler, weil square für Float definiert ist.
Vorteil strenger Typisierung:prima Erkennung von Fehlern.Zwingt den Programmierer zu klarem Denken.
![Page 26: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/26.jpg)
19
Polymorphe TypenBeispiel:square :: Integer → Integer sqrt :: Integer → Float Daraus ableitbar: square • square :: Integer → Integer sqrt • square :: Integer → Float Problem: braucht 2 verschiedene Def. von • :(•) :: (Int → Int ) → (Int → Int ) → (Int→ Int)(•) :: (Int → Float ) → (Int → Int ) → (Int→ Float )
Lösung: Typ-Variablen α , β , γ . Damit: (•) :: (β → γ) → (α → β ) → (α → γ )
![Page 27: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/27.jpg)
20
Verwendung von Typ-VariablenBeispiel: Die Funktion error soll ein (Text-)Argument auf
unspezifizierte Weise weiterverarbeiten. Nicht einmal der Typ des Resultats ist bekannt. Mit Typ-
Variable seierror :: String → αDaraus konstruierbar: fact :: Integer → Integer → Integerfact n
|x < 0 = error „negative argument to fact“|x == 0 = 1|x > 0 = n * fact (n – 1)
![Page 28: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/28.jpg)
Grundlegende Fragen Wie bezieht sich Haskell (und andere Programmiersprachen) auf die Realität? Wo zweigt die Informatik von der Mathematik ab? Was bedeuten rechentechnische Schranken für die Semantik der Sprachen? Was ist die Rolle von „?“ ?
![Page 29: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/29.jpg)
22
Hintergrund: Realität und Mathematik Menge (nach Cantor), „Eine Zusammenfassung von
Gegenständen unserer Anschauung oder unseres Denkens“
Struktur (nach Tsarski): eine Menge („Träger“) der Struktur,zusammen mit endlich vielen Konstante und endlich
vielen Operationen. Basis der Prädikatenlogik.
Programmieren: Strukturen konstruieren .... so gut wie möglich
![Page 30: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/30.jpg)
23
Haskell: Werte und TypenUniversum (universe) die Menge der uns interessierenden Dinge.
Wert (value)Elemente des Universums. Für Haskell das einzig wichtige an Werten: zwei Werte sind gleich oder verschieden
Typ (Type)Struktur mit einer Teilmenge des Universums als Träger
![Page 31: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/31.jpg)
24
Haskell: Umgang mit TypenEinige Typen gibt Haskell vor.
Alle Typen sind implementierbar,• einige um den Preis von Speicherüberlauf (Integer) • oder ungenauen Rechnens (Float).
Weitere Typen kann der Programmierer selbst ableiten, aus gegebenen und bereits abgeleiteten Typen.
![Page 32: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/32.jpg)
25
Haskell: irreguläres Verhalten• Überschreiten von Speicherschranken • Überschreiten von Zeitschranken• inkonsistente Typen im Programm
was bedeutet das semantischwas bedeutet das mathematisch?
alles abbilden auf ⊥! Sorgfalt im Umgang mit ⊥nicht-strikte Funktionen sind unausweichlichaber verhalten sich schnell nicht so, wie man will
![Page 33: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/33.jpg)
HASKELL Ende
Ich wünsche allen Studentinnen und Studenten erfolgreiche Prüfungen und eine erholsame Semesterpause !
![Page 34: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/34.jpg)
Modularisierung Modul = Eine Struktureinheit im Programm, kapselt eine Menge von Funktionsdefinitionen, Typen, etc. Modulersteller Modulbenutzer - möchte nur einige der Funktionen - braucht oft nur einige Funktionen für Nutzer freigegeben -mag evt. andere Namen -Implementation änderbar -will vielleicht importierte Funktionen weitergeben
![Page 35: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/35.jpg)
Module dienen der Strukturierung von Programmen; sie haben eine klare Schnittstelle (Interface), in der festgelegt wird, was sie exportieren und was sie importieren. Sie bieten:
- unabhängige Programmierung von Programmteilen - - separate Compilation von Programmteilen - - Bibliotheken von Komponenten können wieder verwendet werden
![Page 36: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/36.jpg)
Beispiele: module mymodule1 where f = ... g = ... Default: alles wird exportiert module mymodule2 where import mymodule1 h = ...
![Page 37: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/37.jpg)
Importiert f und g module mymodule3 (f , ...) where f = ... g = ... Exportiert nur f, ... module mymodule4 (f , module bla) where import bla f = ... g = ...
![Page 38: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/38.jpg)
exportiert f und re-exportiert alles aus bla import mymodule1 (f,...) Importiert nur f,... import mymodule1 hiding (f,...) Importiert alles ausser f,... import mymodule1 renaming (f to fff, g to ggg)
![Page 39: HASKELL - Institut für Informatik · PDF file4 Binärbaum Jeder Knoten hat keinen oder zwei Nachfolger Ort der gespeicherten Information: Blätter data Btree α = Leaf α | Fork (Btree](https://reader034.vdocuments.net/reader034/viewer/2022051508/5a9dca3c7f8b9aee528c6533/html5/thumbnails/39.jpg)
Import mit Umbenennung