التصريف (بالإنجليزيَّة: Compiling) هو عمليَّة تحويل برنامج حاسوبي مكتوب {{Glossary("computer programming", "بلغة برمجة")}} إلى برنامجٍ مُكافِئ مكتوب بلغةٍ أخرى (المُصرِّف هو البرمجيَّة التي تؤدي هذه المهمة). تُسمَّى أحيانًا هذه العمليَّة "بالتجميع (بالإنجليزيَّة: Assembling)" أو "البناء (بالإنجليزيَّة: Build)"، ما يوضِّح عادةً وجود المزيد من الخطوات بعد التصريف (كتحزيم البرنامج في صيغة ثنائيَّة تنفيذيَّة).
يُحوِّل المُصرِّف عادةً لغةً عالية المُستوى (مثل سي أو {{Glossary("Java", "جافا")}})، المفهومة من البشر، إلى لغة الآلة (كلغة التجميع)، المفهومة من المعالِج. تتُرجِم بعض المُصرِّفات بين لُغتين من نفس المستوى، فتُسمَّى مُصبرِفات (نحتًا من مُصرِّف بيني) أو مُصعرِفات (نحتًا من مُصرِّف تقاطعي)، كتصريف لغة التايب سكربت إلى {{Glossary("JavaScript", "الجافاسكربت")}}.
مُعظَم المُصرِّفات إمّا قبليَّة (تُصرِّف البرنامج قبل تشغيله، بالإنجليزيَّة: Ahead of time) وإمّا آنيَّة (تُصرِّف البرنامج أثناء تشغيله، بالإنجليزيَّة: Just in time). عادةً ما يستخدم المُطوِّر المُصرِّفات القبليَّة الاعتياديَّة من سطر الأوامر أو من {{Glossary("IDE", "بيئته البرمجيَّة")}}. من أشهر مُصرِّفات هذا النوع هو مُصرِّف جنو GCC. هذا بالنسبة للمُصرِّفات القبليَّة، أم المُصرِّفات الآنية فهي عادةً شفّافة بالنسبة لك، وتُستخدَم لأداءٍ أفضل. يحوي مُحرِّك الجافاسكربت SpiderMonkey لمُتصفِّح فايرفوكس كمثال مُصرِّفًا آنيًّا مُضمّنًا فيه، يُصرِّف هذا المُصرِّف أكواد الجافاسكربت في المواقع العنكبوتيَّة إلى لغة الآلة أثناء تصفُّحِكَ لها، ما يُحسِّن الأداء ويزيده سُرعة. تعمل مشاريع مثل لغة التجميع العنكبوتيَّة (بالإنجليزيَّة: WebAssembly) على جعل الأداء أفضل من ذلك حتّى.