Watching Haskell’s great https://youtu.be/X-8NCkD2vOw\|video of diagrams package and its companion https://dl.acm.org/doi/abs/10.1145/2430532.2364520\|paper reminded me that Racket also has a similar package 2htdp/image, which belongs to HTDP 2ed. Does the HTDP 2ed eventually teach how to implement the 2htdp/image? I took a brief look, seems not…

SICP also has a pict language (much simpler than 2htdp/image and Haskell https://hackage.haskell.org/package/diagrams\|diagrams though), but it will teach how to implement it.