6 Typed-Untyped Interaction Typedじゃない普通のRacketの関数からTyped Racketの関数は普通に呼べます Typed RacketからRacketの関数を呼ぶにはrequire/typedで型を指定してやります #lang racket (provide (struct-out pt) distance) (struct pt (x y)) (…