Template Haskell (Grade A)Tekstar-Haskell (kvaliteedi taseme)

Template Haskell on meta-programmeerimissüsteem Haskell programmeerimiskeele jaoks. See lubab programmeerijatel kirjutada koodi, mis ütleb teise koodi üle tõlkeaegadel. Süsteem võtab ülemõtteteks nimega programmeerimised kahte peamist funktsiooni nimega töötlema: mkName ning newName. Funktioon ääreab àsistalvad nimed praeguses süsteemis. See on kasulik, kui kirjutatakse või tuleb Template Haskell koodi üle vaadata, millel on vaja tuvastada åsistalvaid tähistajaid. Teisalt on nimega àåreab funktsioon nimerakete genereerija, mis püüab uuendada, mitte konfliktidesse ääreabid. Eelistanud on, kui loodiakse uued tähistajad, mis ei peaks åsistalvutama konfliktidele. Keskkonna üle, mille vahel valida mkName või newName, peaksid arendajad kasutama mkName siis, kui nende on vaja salvestada eksisteeriva nime ning newName kui nende on vajalik esmase, ühetaoliselt nime genereerimine. Selline eristus on kriitiline korrektsuse ja turvalisuse tagamisel Template Haskelli koodi kirjutamiseks. Template Haskell üks sellest võimalustest, mis lihtsustab kodeerimistööd ja meta-programmeerimist, on tema võime lihtsustada koodi üleandmist ja meta-programmeerimistöid. Kasutades mkName ja newName, saab arendajad arendada kindla ja käsitledava koodi, mis võtab kasu Haskell võimekusest tugeva tüübi süsteemiks. Kahe erinevuse vahel on Template Haskelli kasutamisel hästi vajadus hoolitelda Haskelli tüübi süsteemi ja meta-programmeerimise mõiste üle. Kui see võib olla tehnoloogiadele võimas võlu, mis on kogenud programmaatoritele, võib see olla põhjapidamislik õpikutähtaeg uutega, keda on veel veel võõras Haskell või meta-programmeerimine.