2martens
/
uni
mirror of https://github.com/2martens/uni.git
1
0
Fork 0
Code Releases Activity

SE3-2: Begründungen bei 3 hinzugefügt.

This commit is contained in:
Jim Martens 2013-11-10 10:08:41 +01:00
parent 1874d83e1d
commit fd41c3f1f0
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
se3/G08_B02_Jim-2martens_Britta-2noack_Jan-Simon-0giesel.rkt
View File

@ -123,32 +123,41 @@ eval wird also mit 'peter aufgerufen; eval wertet damit das Symbol peter aus, we
; 3 ; 3
(define (type-of input) (define (type-of input)
(cond ([boolean? input] 'boolean) (cond ([boolean? input] 'boolean)
([pair? input] 'pair)
([list? input] 'list) ([list? input] 'list)
([pair? input] 'pair)
([symbol? input] 'symbol) ([symbol? input] 'symbol)
([number? input] 'number) ([number? input] 'number)
([char? input] 'char) ([char? input] 'char)
([string? input] 'string) ([string? input] 'string)
([vector? input] 'vector) ([vector? input] 'vector)
([procedure? input] 'procedure) ([procedure? input] 'procedure)
(else 'noneOfThem)
) )
) )
; Ausgaben ; Ausgaben
(display "(type-of (+ 3 7)): ") (display "(type-of (+ 3 7)): ")
(type-of (+ 3 7)) (type-of (+ 3 7))
; zu 'number, da (+ 3 7) zunächst zu 10 und damit einer number ausgewertet wird
(display "(type-of type-of): ") (display "(type-of type-of): ")
(type-of type-of) (type-of type-of)
; zu 'procedure, da type-of eine Funktion ist
(display "(type-of (type-of type-of)): ") (display "(type-of (type-of type-of)): ")
(type-of (type-of type-of)) (type-of (type-of type-of))
; zu 'symbol, da (type-of type-of) 'procedure zurückgibt und dies ein Symbol ist
(display "(type-of (string-ref \"Schneewitchen_und_die_7_Zwerge\" 2)): ") (display "(type-of (string-ref \"Schneewitchen_und_die_7_Zwerge\" 2)): ")
(type-of (string-ref "Schneewitchen_und_die_7_Zwerge" 2)) (type-of (string-ref "Schneewitchen_und_die_7_Zwerge" 2))
; zu 'char, da string-ref den char an der Position 2 zurückgibt
(display "(type-of (lambda (x) x)): ") (display "(type-of (lambda (x) x)): ")
(type-of (lambda (x) x)) (type-of (lambda (x) x))
; zu 'procedure, da lambda eine Funktion erstellt
(define (id z) z) (define (id z) z)
(display "(type-of (id cos)): ") (display "(type-of (id cos)): ")
(type-of (id cos)) (type-of (id cos))
; zu 'procedure, da id den Parameter zurückgibt, welcher eine Funktion ist
(display "(type-of '(1 2 3)): ") (display "(type-of '(1 2 3)): ")
(type-of '(1 2 3)) (type-of '(1 2 3))
; zu 'list, da '(1 2 3) eine Liste ist
(display "(type-of '()): ") (display "(type-of '()): ")
(type-of '()) (type-of '())
; zu 'list, da '() eine leere Liste ist