Vícestupňové programování - Multi-stage programming - Wikipedia

Vícestupňové programování (MSP) je řada metaprogramování ve kterém je kompilace rozdělena do řady přechodných fází, což umožňuje bezpečný generování kódu za běhu.[1]Staticky definované typy se používají k ověření, že dynamicky vytvořené typy jsou platné a neporušují typový systém.

V jazycích MSP jsou výrazy kvalifikovány notací, která určuje fázi, ve které mají být hodnoceny. Umožněním specializace programu za běhu může MSP optimalizovat výkon programů: lze jej považovat za formu dílčí hodnocení který provádí výpočty v době kompilace jako kompromis pro zvýšení rychlosti zpracování za běhu.[2]

Víceúrovňové programovací jazyky podporují konstrukce podobné Lisp konstrukt nabídky a eval, kromě toho scoping pravidla jsou zohledněna.[2]

Reference

  1. ^ Taha, Walid (2004). „Jemný úvod do vícestupňového programování“ (PDF). Generování programu specifického pro doménu. Springer. 30–50. Archivovány od originál (PDF) 4. srpna 2017.
  2. ^ A b Taha, Walid; Sheard, Tim (2000). „MetaML a vícestupňové programování s explicitními anotacemi“ (PDF). Teoretická informatika. 248 (1): 211–242. doi:10.1016 / s0304-3975 (00) 00053-0.

externí odkazy