程序设计方法（第二版）第四章习题51

最新推荐文章于 2024-08-13 18:07:52 发布

橡胶张小说

最新推荐文章于 2024-08-13 18:07:52 发布

阅读量72

点赞数

文章标签： webview android java

本文链接：https://blog.csdn.net/zs_961203/article/details/124807736

版权

这篇博客介绍了一个使用Racket语言设计的红绿灯模拟程序。程序通过big-bang过程在每次时钟更新时改变交通灯状态，初始状态为三个空心圆，分别代表红、黄、绿灯。作者分享了代码实现，并通过条件判断和渲染函数来切换灯的状态。博客还包含了测试用例以验证程序的正确性。

摘要由CSDN通过智能技术生成

习题51 设计模拟给定时间段的big-bang程序。该程序将交通灯的状态渲染为适当颜色的实心圆，并在每次时钟嘀嗒时改变状态。最合适的初始状态是什么？

这个红绿灯的设计程序对于本新手很难，搞了很久，后面完整的程序以及关门的程序与此相差不大

如果各位靓仔觉着有用的话别忘了给俺点个赞哈

;;;chapter 4 test_51
;设计一个简单的红绿灯程序
;初始状态是三个空心圆圈最好
;; 常量:
(define WIDTH 600)
(define HEIGHT 400)
(define MTS (empty-scene WIDTH HEIGHT))



;; 灯的属性

(define RADIUS 20)

(define SPACING 6)

;利用布尔值让灯泡亮或者不亮
(define (bulb c bool)
(if (false? bool)
  (circle RADIUS "outline" c)
(circle RADIUS "solid" c)))

(define DIAMETER (* 2 RADIUS))

;; 长方形性质
(define rect-width (+ DIAMETER SPACING))

(define rect-height
(+ (* 3 DIAMETER) (* 3 SPACING)))

(define traffic-body
(rectangle rect-width rect-height "solid" "black"))

(define spacer
(rectangle 5 5 "solid" "black"))

(define (traffic-light c)
(cond [(string=? c "red")
     (overlay
      (above (bulb "red" true) spacer (bulb "yellow" false) spacer (bulb "green" false)) traffic-body)]
    [(string=? c "green")
     (overlay
      (above (bulb "red" false) spacer (bulb "yellow" false) spacer (bulb "green" true)) traffic-body)]
    [else
     (overlay
      (above (bulb "red" false) spacer (bulb "yellow" true) spacer (bulb "green" false)) traffic-body)]))


;;
(define (main c)
(big-bang c                         ; Light
        (on-tick   switch-light 1)     ; Light -> Light
        (to-draw   render-light)))           ; Light -> Image


;; Light -> Light
;; 验证
(check-expect (switch-light "red") "green")
(check-expect (switch-light "green") "yellow")
(check-expect (switch-light "yellow") "red")

(define (switch-light l)
(cond [(string=? l "red") "green"]
    [(string=? l "green") "yellow"]
    [else "red"]))


;; string -> Image
;; render ...
;; !!!
(check-expect(render-light "red") (traffic-light "red"))
(check-expect(render-light "green") (traffic-light "green"))
(check-expect(render-light "yellow") (traffic-light "yellow"))

(define (render-light c)
(cond [(string=? "red" c) (traffic-light "red")]
    [(string=? "green" c) (traffic-light "green")]
    [else (traffic-light "yellow")]))