Scheme: Unterschied zwischen den Versionen

Aus Fachschaft_Informatik
Zur Navigation springen Zur Suche springen
Zeile 156: Zeile 156:


=== Testprädikate ===
=== Testprädikate ===
(zero <i>zahl</i>)
(zero? <i>zahl</i>)
:Wahr, wenn <i>zahl</i> 0 ist.
:Wahr, wenn <i>zahl</i> 0 ist.



Version vom 9. Februar 2008, 21:58 Uhr

Scheme ist eine funktionale Programmiersprache die im Modul SE3 verwendet wird.

Auflistung der Scheme-Funktionen

Wie immer ohne Anspruch auf Richtigkeit, Vollständigkeit oder sonst irgendwas.

grundlegende Funktionen

(lambda parameter funktion)

Der Rückgabewert dieser Funktion ist eine Funktion die alle in der Liste parameter stehenden Parameter nimmt und mit den Funktionsaufrufen die in funktion stehen auswertet.

(define name wert)

Weist der Variable name den wert wert zu. Dieser Definition gilt nur in dem Block in dem sie steht und in allen unterblöcken (ausser wenn sie verschattet wird).

(let (zuweisungen) s-expression)
(let* (zuweisungen) s-expression)

Die in zuweisungen definierten Variablen können im Rumpf s-expression genutzt werden. Danach sind sie weg.
Bei let kann man für die Definition einer Variable nicht auf die anderen soeben definierten Variablen zugreifen. Mit let* geht das.

(quote operand)
'operand

Gibt operand zurück (ohne diesen auszuwerten).

(eval ausdruck)

Wertet ausdruck aus und gibt dessen Rückgabewert zurück.

(closure )

bedingte Auswertung

(if bedingung dann)
(if bedingung dann sonst)

Wenn der Aufruf von bedingung wahr zurückgibt ist der eigene Rückgabewert die Auswertung von dann, andernfalls die Auswertung von sonst (sofern vorhanden).

(cond (bedingung1 ausdruck1) (bedingung2 ausdruck2) ... (bedingungn ausdruckn))
(cond (bedingung1 ausdruck1) (bedingung2 ausdruck2) ... (bedingungn ausdruckn) (else ausdrucksonst))

Der eigene Rückgabewert ist die Auswertung des ersten Ausdrucks dessen Bedingung zu wahr ausgewertet wird. Wird keine zu Wahr ausgewertet ist es die Auswertung von ausdrucksonst (sofern vorhanden, sonst undefiniert).

(case ausdruck (liste1 ausdruck1)(liste2 ausdruck2) ... (listen ausdruckn))
(case ausdruck (liste1 ausdruck1)(liste2 ausdruck2) ... (listen ausdruckn) (else audruckelse))

Wertet ausdruck aus und vergleicht das Ergebnis mit allen Werten aus den Listen bis ein Vergleich wahr wird oder das Ende erreicht ist. Der zu einem gelungenen Vergleich gehörende Ausdruck wird ausgewertet und zurückgegeben. Sonst wird der ausdruckelse ausgewertet und zurückgegeben (sofern vorhanden, sonst undefiniert).

logische Operatoren

(or (ausdruck1) (ausdruck1) ... (ausdruckn))

Der Rückgabewert ist wahr, wenn zumindest ein Ausdruck zu wahr ausgewertet wird. Dabei wird mit Lazy Evaluation von links nach rechts ausgewertet. Sobald dabei ein Ausdruck zu undefiniert ausgewertet wird, wird sofort undefined zurückgegeben.

(and (ausdruck1) (ausdruck1) ... (ausdruckn))

Der Rückgabewert ist falsch, wenn zumindest ein Ausdruck zu falsch ausgewertet wird. Dabei wird mit Lazy Evaluation von links nach rechts ausgewertet. Sobald dabei ein Ausdruck zu undefiniert ausgewertet wird, wird sofort undefined zurückgegeben.

(not ausdruck)

Wahr, wenn ausdruck zu falsch ausgewertet wird, Undifined, wenn ausdruck zu undifined ausgewertet wird.

Vergleichsoperatoren

(= zahl1 zahl2 ... zahln)

Ist wahr wenn alle Zahlen gleich sind.

(< zahl1 zahl2 ... zahln)

Ist wahr wenn von zwei jeweils nebeneinander stehenden Zahlen die linke kleiner ist als die rechte.

(> zahl1 zahl2 ... zahln)

Ist wahr wenn von zwei jeweils nebeneinander stehenden Zahlen die linke grösser ist als die rechte.

(string>? string1 string2)

Wahr wenn string1 irgendwie kleiner als string2 ist. Lexikalisch?, ASCII-Wert?

(string=? string1 string2)

Wahr wenn string1 die gleiche Zeichenkette wie string2 ist.

(eqv? operand1 operand2)

Wahr wenn ausdruck1 und ausdruck2 identisch sind (also bei Zeigern auf den gleichen Speicherbereich zeigen) oder Zahlen und gleich sind.

(equal? operand1 operand2)

Wahr, wenn beide Operanden wertgleich sind.

(eq? operand1 operand2)

Wahr wenn ausdruck1 und ausdruck2 identisch sind (also bei Zeigern auf den gleichen Speicherbereich zeigen).

numerische Funktionen

(+ operand1 operand2 ... operandn)

Gibt die Summe der Operanden zurück.

(* operand1 operand2 ... operandn)

Gibt das Produkt der Operanden zurück.

(/ operand1 operand2)

Gibt den Quotienten der Operanden zurück.

(- operand1 operand2)

Gibt die Differenz der Operanden zurück.

(sqrt operand)

Gibt die Quadratwurzel von operand zurück.

(sin operand)

Gibt deb Sinus von operand zurück.

(exp basis exponent)

Gibt basis hoch exponent zurück.

(modulo operand1 operand2)

Gibt den Rest bei ganzzahliger Division zurück.

(ceiling zahl)

Gibt zahl zur nächsten ganzen Zahl aufgerundet zurück.

(floor zahl)

Gibt zahl zur nächsten ganzen Zahl abgerundet zurück.

(round zahl)

Gibt zahl zur nächsten ganzen Zahl kaufmännisch gerundet zurück.

Meta-Funktionen

(display "text")

Schreibt text auf die Standardausgabe.

(error "text")

Schreibt text als Fehlermeldung und malt einen Bug dazu.

(require wasauchimmer)

Lädt wasauchimmer irgendwoher.

Listen-Funktionen

(car liste)

Gibt den Kopf der liste zurück.

(cdr liste)

Gibt den Rumpf der liste zurück.

(list element1 element2 elementn)

Gibt die Liste bestehend aus den Elementen zurück. (Äquivalent zu '(element1 element2 elementn))

(length liste)

Gibt die Länge der Liste zurück.

(null? liste)

Gibt true zurück, wenn die Liste die leere Liste ('()) ist.

(append liste1 liste2)

Gibt die Liste zurück, die alle Elemente aus liste1 vor allen Elementen aus liste2 enthält.

(member element liste

Gibt false zurück, wenn element nicht in liste enthalten ist, sonst den Teil der Liste der nach dem Element kommt (Dieser wird aber auch als true interpretiert).

(cons element liste)

Gibt die Liste zurück, die als erstes element enthält und dahinter alle Elemente aus liste

(pair parameter)

Gibt true zurück, wenn parameter ein Paar ist.

(assoc wert (listen1 listen2 ... listenn ))

Gibt die erste Liste zurück, deren erstes Element gleich wert ist.

Typprädikate

(symbol? operand)

Wahr, wenn operand ein Symbol ist.

Testprädikate

(zero? zahl)

Wahr, wenn zahl 0 ist.

Siehe auch