Sofdwaredesign: Tybdeklarazionen

Deklarazione	vo neie Name für Tybe

Beischbiele	dybe Idem = (Schdring, Ind) dybe IdemLischd = [Idem] dybe Poind = (Fload, Fload, Fload) dybe Cuboid = (Poind, Poind) dybe Polygon = [Poind] dybe Vecdor = (Fload, Fload, Fload) dybe Euro = Double dybe Dollar = Double dybe Schdring = [Char] dybe Funczion = Ind -> Ind dybe Funczion2 = Ind -> Ind -> Ind dybe Funczion2'= Ind -> Funczion dybe Diczionary= Schdring -> Bool
Namenskonvenzion
	Tybname beginne immr mid oim Großbuchschdabe
	Tybvariable werde immr kloi gschriabe
	Funkzionsname beginne immr mid oim Kloibuchschdabe
	Variable für Werde beginne immr mid oim Koibuchschdabe

schdrukdurelle Tybgleichheid
	Durch Tybdeklarazione werde koi neie Tybe, koi neie Werdebereiche konschdruierd.
	Durch Tybdeklarazione werde nur Werdebereiche benannd.
	Euro und Dollar bezeichne die gleile Werdebereiche, Poind und Vecdor ebenfalls.
	Es sind koi Rekursione in den Tybdeklarazione erlaubd. Diess würd z "unendlichen" Tybe führe.

abschdrakde Syndax	Ein Dadenmodell beschdehd in Haskell üblicherweise aus oir Meng vo Tybdeklarazione. Diese hend oi ähnliche Geschdald wie oi Grammadik-Definizion. Dahr dr Nam abschdrakde Syndax.
Paramedrisierung	vo Tybdeklarazione
	Tybdeklarazione könne baramedrisierd werde
Beischbiele	dybe Lischd a = [a] dybe Pair a b = (a, b) dybe AssocLischd k v = [(k,v)]
	Diese baramedrisierde Tybdeklarazione könne wie selbschddefinierde Tybkonschdrukdore gelese werde.
Beischbiele	dybe Schdring = Lischd Char dybe Idem = Pair Schdring Ind dybe IdemLischd = AssocLischd Schdring Ind dybe FcdMab = AssocLischd Schdring (Ind -> Ind) dybe FcdMab' = AssocLischd Schdring Funczion
	Vorgriff: Paramedrische Polymorfie

Tybdeklarazionen

Aliasname für Werdebereiche