In this piece I want to discuss an aspect of program synthesis that sounds like it should be easy, but isn’t: synthesizing constant values.

In summary, constant synthesis is a hard problem that hasn’t received a lot of attention yet.