Tiplarni dinamik tarzda

Standart MLda funktorlar. ML dagi funksiya interfeyslarning umumiy tadbiqlari mavjud va OYD jihatidan shakllantirish qiyin masallardan hisoblanadi. ML standart jihatidan funktorlar ML modul tizimining bir qismidir va ular tuzilmalarni yaratishga imkon beradi. Masalan, plagin tizimini yozish masalasini olaylik. Aytaylik barcha plaginlar soddaroq bo‘lishi uchun, faqat perform funksiyasini o‘z ichiga oladigan zarur interfeysini amalga oshirish kerak bo‘lsin. MLda avval plaginlar uchun maxsus tasdiqlovchi (imzolovchini)ni yaratish zarur.

Signature Plugin = sig val perform: unit -> unit end;

Plaginlar uchun tasdiqlovchi interfeysni aniqladik, ikkita plaginni, aytaylik, Loudplugin va Silentpluginni tuzilmalar orqali amalga oshirishimiz mumkin.
LoudPlugin ni amalga oshirish:

structure LoudPlugin :> Plugin = struct fun perform() = print"KATTA HARFLAR!\n" end;

Silentplugin ni amalga oshirish:

structure SilentPlugin :> Plugin = struct fun perform () = print "kichik harlar\n" end;

Endi funktorlarga yaqinlashamiz. ML dagi funktorlar tuzilmalarni argument sifatida qabul qilishadi, shuning uchun Plugin argument sifatida berilgan.

functor Performer(P : Plugin) = struct fun job () = P.perform () end;

Bu funktor Plugin ni P argument sifatida qabul qiladi va P plaginni perform funksiyasini chaqiradigan job funksiyasi uchun ishlatadi.
Performer funktorni ishlatamiz (Funktor tuzilma qaytarishini bilamiz).

structure LoudPerformer = Performer(LoudPlugin); structure SilentPerformer = Performer(SilentPlugin); LoudPerformer.job (); SilentPerformer.job ();

Standard ML uchun bk oddiy misol edi. Ammo chuqurroq o‘rganish uchun S tilini ham bilish talab qilinadi.