Kóp basqıshlı programmalastırıw
Kóp basqıshlı programmalastırıw (MSP) — bul metaprogrammalastırıwdıń bir túri bolıp, onda kompilyaciya bir qatar aralıq fazalarǵa bólingen boladı, bul orınlanıw waqtında tipke qáwipsiz kod generaciyalawǵa múmkinshilik beredi[1]. Statikalıq túrde anıqlanǵan tipler dinamikalıq túrde dúzilgen tiplerdiń durıslıǵın hám tip sistemasın buzbaytuǵınlıǵın tekseriw ushın qollanıladı.
MSP tillerinde ańlatpalar olardıń qaysı basqıshta bahalanıwın kórsetetuǵın belgiler menen kvalifikaciyalanadı. Programmanıń orınlanıw waqtında arnawlı bir jaǵdaylarǵa beyimlesiwine múmkinshilik beriw arqalı, MSP programmalardıń ónimdarlıǵın optimallastıra aladı: onı orınlanıw waqtındaǵı qayta islew tezligin arttırıw ushın kompilyaciya waqtında esaplawlardı orınlaytuǵın bólek bahalawdıń bir forması retinde qarawǵa boladı[2].
Kóp basqıshlı programmalastırıw tilleri Lisp tilindegi citata hám eval konstrukciyalarına uqsas konstrukciyalardı qollap-quwatlaydı, tek ǵana ayırmashılıǵı — kóriw aymaǵı qaǵıydaları esapqa alınadı.
Derekler
- ↑ Taha, Walid (2004). "A gentle introduction to multi-stage programming". Domain-Specific Program Generation. Springer. 30–50 b. http://www.cs.rice.edu/~taha/publications/journal/dspg04a.pdf.
- ↑ MetaML and multi-stage programming with explicit annotations. http://www.cs.rice.edu/~taha/publications/journal/tcs00.pdf.