أرسل هذا في رسالة قصيرة: Type and effect systems :