A feature I'm preparing to include in my visual functional programming language "Alonzo" is to have it fill in the most obvious code for you.
The algorithm I'll use for this will be handwritten, striving to synthesize the simplest code it can that matches the required type signature.
Why do I want this:
1. It helps ensure that every program will compile into something useful.
2. Its my way of bringing over Haskell's typeclasses.
3. To appeal to recovering vibe coders.
