Flexible binding-safe programming