There also seems to be an emphasis on correctness in the code, which sounds great to anyone who ever tried doing real work in FreeCad, though of course the gap in functionality is vast.
Coding shapes with signed distance fields is, unfortunately, highly impractical for CAD; operations tend to compose poorly (most operations a) assume euclidian space and b) distort space away from euclidian). But it's a pretty nice medium for generative art, and Scheme is a beautiful language to do it in.
Outside of art and black holes and stuff, of course.
This means that you can go wild with geometric and coordinate transformations – even weird things like twisting or attract/repel will work fine.
(the only requirement is C0 continuity, which is the bare minimum; otherwise, a point could be both inside and outside the shape depending on which direction you approach it from)
https://www.mattkeeter.com/research/mpr/
https://news.ycombinator.com/item?id=26873691
There's also a good Twitter thread here:
https://twitter.com/CasualEffects/status/1385389913881858054