还是那句话，经典不妨一看再看
htdd这章的视频可以在edx上看，也可以点开youtube的公开课链接看
这里的总结是假设你都看过视频了(￣< ￣)>
htdd 是how to design data 的缩写
它也有自己的recipe
- definition
- type comment
- interpretation
- Examples of the data.
- template
这五个步骤分别指的是什么？ 我们通过Simple Atomic Data这个个例子说明一下
右边数字分别对应的就是各个步骤
<-------------------------Simple Atomic Data---------------------------------->
(@htdd Time) <--1. definition
;; Time is Natural <--2. type comment
;; interp. number of clock ticks since start of game <--3. interpretation
(define START-TIME 0) <--4. Examples of the data
(define OLD-TIME 1000)
(@dd-template-rules atomic-non-distinct) ;Natural <--5. template
#;
(define (fn-for-time t)
(... t))
剩下的interval, Enumeration, Itemization的example分别如下，方便参考
<-------------------------interval---------------------------------->
(@htdd Countdown)
;; Countdown is Integer
;; interp. the number of seconds remaining to liftoff, restricted to [0, 10]
(define C1 10) ; start
(define C2 5) ; middle
(define C3 0) ; end
(@dd-template-rules atomic-non-distinct) ;Integer
#;
(define (fn-for-countdown cd)
(... cd))
<-------------------------Enumeration---------------------------------->
(@htdd LightState)
;; LightState is one of:
;; - "red"
;; - "yellow"
;; - "green"
;; interp. the color of a traffic light
;; <examples are redundant for enumerations>
(@dd-template-rules one-of ;3 cases
atomic-distinct ;"red"
atomic-distinct ;"yellow"
atomic-distinct) ;"green"
#;
(define (fn-for-light-state ls)
(cond [(string=? ls "red") (...)]
[(string=? ls "yellow") (...)]
[(string=? ls "green") (...)]))
<-------------------------Itemization---------------------------------->
(@htdd LightState)
;; LightState is one of:
;; - "red"
;; - "yellow"
;; - "green"
;; - false
;; interp.
;; the three colors of a traffic light
;; false the light is broken
(@dd-template-rules one-of ;4 cases
atomic-distinct ;"red"
atomic-distinct ;"yellow"
atomic-distinct ;"green"
atomic-distinct);false
#;
(define (fn-for-light-state ls)
(cond [(string=? ls "red") (...)]
[(string=? ls "yellow") (...)]
[(string=? ls "green") (...)]
[else
...)) ;;false case
接着说一下关于htdd一些需要理解的地方
1. htdd vs 基础数据类型
htdd 其实是给用基础数据类型(integers, numbers, strings, images and booleans)去表达一个概念
像上面symbol atomic data 的例子，
它是用Natural(基础数据类型)去定义了一个叫Time的抽象概念
或者像Inteval的例子，
它是用Integer(基础数据类型)去定义了一个叫Countdown的抽象概念，
并且定义了它的范围是[0, 10]
Enumeration 和Itemization也是这么个逻辑
htdd = 基础数据类型 + 人为定义
-
2. htdd vs htdf
通过htdd 和基础数据类型的对比， 我们知道data 分两种， 一种是
基础数据类型， 一种是htdd 定以后的抽象数据类型。
所以htdf分两种，一种是针对基础数据类型的function define，像这样，
(@htdf double)
(@signature Number -> Number)
;; double a given number.
(check-expect (double 1) 2)
(check-expect (double 4.2) 8.4)
;(define (double n) 0) ;stub
(@template Number)
;;template
;(define (double n) (... n))
(define (double n)
(* n 2))
另外一种是针对用htdd定义后数据的function define，以上面Simple Atomic Data的Time
为例子，题目
Define a function called just-start? that takes a time and produce true if time is
shorter than 100 ticks.
(@signature Time -> Booelan)
;; check if time is shorter than 100 ticks
(check-expect (just-start? 40) true)
(check-expect (just-start? 100) false)
(check-expect (just-start? 101) false)
(@template Time)
;(define (just-start? t) false) ;stub
(define (just-start? t)
(< t 100))
和之前不一样的是signature 用的是Time， template 用的是Time 的htdd template，
相当于我们现在这个function是根据Time这个data写的. 更多的htdd + htdf的例子可以参考下面这个链接
(inteval+htdf, enum+htdf, itemaization+htdf)
-
3. atomic-non-distinct vs atomic-distinct
在写htdd template rules 的时候， 我们经常会碰到这两串子
读起来很绕。。。
其实atomic-non-distinct 是泛指一种类型
而atomic-distinct 就是指具体一个value
举个栗子，在Time的template 里面，因为 “t” 是Natural，但它不是特指哪个值，
所以dd-template-rules 是atomic-non-distinct
(@dd-template-rules atomic-non-distinct) ;Natural <--5. template
#;
(define (fn-for-time t)
(... t))
而在enum 红绿灯 state 的例子里，因为light-state是"red"， "yellow" 和 "green"其中一种。
"red"， "yellow" 和 "green"都是一个唯一的String，所以每一个string 分别对应的都是
atomic-distinct
(@dd-template-rules one-of ;3 cases
atomic-distinct ;"red"
atomic-distinct ;"yellow"
atomic-distinct) ;"green"
#;
(define (fn-for-light-state ls)
(cond [(string=? ls "red") (...)]
[(string=? ls "yellow") (...)]
[(string=? ls "green") (...)]))
-
4. Enumeration vs Itemization
Enumeration 用一种基础数据类型来表示一个概念
Itemization 用两种或以上数据类型来表示一个概念
上面Enumeration的例子中LightState 只用到了Stirng
而Itemization用到了Stirng 和 Boolean("false" 来表示不工作的状态）