4 Types in Typed Racket 主な基本型はInteger, Flonum, String, Char, Boolean, ->(関数)あたりですが なんか妙に細かい型があります 数値型にPositiveとNegativeがある、くらいは理解できますが こないだ出たZero型、One型の他にもTrue型とかある、という…