If we do decide to continue with Sasquatch, another interesting problem to tackle would be that of multi-language or multi-level programming. When a human programs, it feels intuitively like the program is written at multiple levels. A high-level specification is given first, followed by vague pseudocode, followed by a few iterations of increasingly precise pseudocode, followed by an actual implementation, and perhaps followed by a several rounds of optimization. It would be great to give Sasquatch the ability to reason this way.
If we do decide to continue with Sasquatch, another interesting problem to tackle would be that of multi-language or multi-level programming. When a human programs, it feels intuitively like the program is written at multiple levels. A high-level specification is given first, followed by vague pseudocode, followed by a few iterations of increasingly precise pseudocode, followed by an actual implementation, and perhaps followed by a several rounds of optimization. It would be great to give Sasquatch the ability to reason this way.