This approach, pioneered by ML in 1973, permits writing common functions or types that differ only in the set of types on which they operate when used, thus reducing duplication.
גישה זו, אשר החלוצה בה הייתה ML בשנת 1973, הרשתה כתיבת פונקציות משותפות או טיפוסים אשר שונים רק בקבוצת הטיפוסים עליהם הם משמשים, ועל ידי כך מופחתת כפילות בקוד.