;; Die ersten drei Zeilen dieser Datei wurden von DrRacket eingefügt. Sie enthalten Metadaten
;; über die Sprachebene dieser Datei in einer Form, die DrRacket verarbeiten kann.
#reader(lib "DMdA-beginner-reader.ss" "deinprogramm")((modname wheels) (read-case-sensitive #f) (teachpacks ()) (deinprogramm-settings #(#f write repeating-decimal #f #t none explicit #f ())))
; Bestimme die Anzahl der Räder aus einer Anzahl von Autos und Motorrädern
(: wheels-of (natural natural -> natural))

(check-expect (wheels-of 0 0) 0)
(check-expect (wheels-of 0 2) 3)
(check-expect (wheels-of 4 0) 16)
(check-expect (wheels-of 2 3) 14)

; Aus der Prozedurvereinbarung erstes Grundgerüst ableiten
#;(define wheels-of
  (lambda (cars bikes)
    ...))

; Die Parameter sollten im Rumpf benutzt werden:
#;(define wheels-of
  (lambda (cars bikes)
    ...cars...bikes...))

; Verknüpfe die Parameter im Rumpf (sinnvoll!)
(define wheels-of
  (lambda (cars bikes)
    (+ (* 4 cars)
       (* 2 bikes))))