أرسل هذا في رسالة قصيرة: Quoted staged rewriting: a practical approach to library-defined optimizations