A new way to think about programs