أرسل هذا في رسالة قصيرة: Compatibility and reuse in component−based systems via type and unit inference