Functional Shading Language : Kompilering av funktionsvärden, typinferens och automatisk generalisering till HLSL

Sammanfattning: Rapporten beskriver design, utveckling och testning av det funktionella shaderspråket FSL i syftet att avgöra om funktionell paradigm gör shaderspråk enklare att förstå och använda än den existerande imperativa paradigmen. Implementationen presenterar tekniker för att kompilera de funktionella språkkonstruktionerna typinferens, funktionsvärden och automatisk generalisering till HLSL. För jämförelse introduceras också språket PSL, en imperativ motsvarighet till FSL. Resultatet bedöms genom ett blindtest där FSL och PSL presenteras till två separata grupper och testas genom tre provuppgifter. Undersökningen visade att personer som testade det funktionella språket svarade mer negativt på språkets designbeslut, men att båda grupperna presterade lika bra på uppgifterna. Förslag på hur arbetet kan användas som grund för en djupare studie om funktionell grafikprogrammering presenteras. Till sist diskuteras olika sätt att bygga på FSLs tekniska bas för att implementera andra funktionella språkverktyg.