I&#x27;m interested in the future of CAD. Here&#x27;s a link to implicitCAD[0], a constraint-solving CAD written in Haskell. There&#x27;s interesting discussion; apparently what the author was trying to was proven by academic research to be Very Hard. Research he hadn&#x27;t yet read!<p>I&#x27;ve never done CAD, so I have nothing to contribute. I enjoyed the article!<p>[0] <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=9248174" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=9248174</a>