Datentypen

Aus ProgrammingWiki

Datentypen beschreiben den Wertebereich von Daten.
Damit wird festgelegt, welche speziellen Operationen mit den Daten ausgeführt werden können.

Ausgewählte Datentypen in Scheme

	Zahlen	Zeichen	Zeichenketten	Wahrheitswerte
Beispiele	12 -0.25 3e-04 2/3 (DrRacket)	#\a #\B #\+ #\space #\tab #\newline	"Informatik" "Heute ist ein schoener Tag" "12.03" "(+ 1.5 2.3)"	#t #f
Operatoren	+, -, *, / expt abs, sqr, sqrt sin, cos, tan asin, acos, atan		string-append string-length	not, and, or
Prädikate	number?	char? char=? char<?	string? string=? string<?	boolean?
Konstruktoren			string
Selektoren			string-ref substring
Anwendungen	(+ 2.3 4.5) ausführen (sin 1.25) ausführen (expt -3 4) ausführen	(char? #\B) ausführen (char=? #\A #\A) ausführen (char<? #\k #\b) ausführen	(string #\D #\u) ausführen (string-ref "Info" 2) ausführen (substring "Kurs" 1 3) ausführen	(< 4 1) ausführen (>= 4 1) ausführen (or (< 4 1) (< -1 5)) ausführen

Zusätzlich gibt es Operatoren zur Konvertierung zwischen Daten unterschiedlicher Datentypen:

(string->list "Informatik")

ausführen

(list->string '(#\o #\k))

ausführen

(number->string 12.34)

ausführen

(number->string 12 2)

ausführen

(number->string 12 16)

ausführen

(string->number "2/3")

ausführen

Symbole

Mit der Quotierung kann die Evaluation von Ausdrücken unterdrückt werden:

hallo ausführen

'hallo ausführen

Damit wird zusätzlich die Definition eines Datentyps Symbol sinnvoll.
Symbole sind nichtnumerische und nichtstrukturierte (d.h. atomare) Ausdrücke, deren Evaluation mit quote unterdrückt wird.

Beispiele:

'x ausführen

'11er ausführen

'a-b ausführen

(quote Informatik) ausführen

	Syntax	Beispiele
Prädikat	symbol?	(symbol? 'pi) ausführen (symbol? '1) ausführen
Konvertierungen	symbol->string string->symbol	(symbol->string 'name) ausführen (string->symbol "12") ausführen

Wir wissen bereits aus der Einführung in die Kommunikation mit Scheme:
Mit define kann man an ein Symbol einen Wert binden. Symbole, an die Werte gebunden sind, heißen Variablen.

(define 11er "Wahlgrundkurs Informatik") 11er

ausführen

Mit der Prozedur eval kann die Evaluation von Symbolen bei Bedarf erzwungen werden:

(define zahl 3.25) (eval 'zahl)

ausführen

Die Evaluation von Symbolen spielt bei der Symbolverarbeitung eine große Rolle.
Wir wollen sie an dieser Stelle nur andeuten:

(define x 2) (define y 3)

(list '+ x y)

ausführen

(eval (list '+ x y))

ausführen

Aufgaben

1. Testen Sie die oben angegebenen Beispiele ausführlich.
2. Nachfolgend ist eine Prozedur zur universellen Datentypprüfung (universal datacheck) implementiert.
   Untersuchen Sie damit weitere Datentypen und -strukturen.

   (define udc (lambda (struktur) (cond [(number? struktur) "Datentyp ZAHL!"] [(char? struktur) "Datentyp ZEICHEN!"] [(string? struktur) "Datentyp ZEICHENKETTE!"] [(symbol? struktur) "Datentyp SYMBOL!"] [(list? struktur) "Datenstruktur LISTE!"] [(pair? struktur) "Datenstruktur PAAR!"] [(procedure? struktur) "Datenstruktur PROZEDUR!"] [else "Undefinierter Datentyp!"])))

   (udc sqrt)

   ausführen