ML faylı nədir?
ML faylı ümumi məqsədli funksional proqramlaşdırma dili ML (çox vaxt Meta Dil kimi tanınır) ilə yaradılmış mətn faylıdır. Tamamilə müəyyən edilmiş semantikadan istifadə edərək proqramlaşdırma dilinin tədqiqatında və dizaynında daha çox istifadə olunan ML mənbə kodunu ehtiva edir. Geniş istifadə olunan Caml ilə ML-nin bir çox variantı var. Digərlərinə Objective Caml (OCaml), JoCaml, Extended ML və MacroML daxildir. ML dili adətən kompilyator yazısı, avtomatlaşdırılmış teorem sübutu və rəsmi yoxlamalar üçün istifadə olunur.
