Nowadays the high complexity of the software systems renders the decomposition,
error correction and code correctness checking more difficult during development.
To handle this phenomenon the programming community came out with different
paradigms like object oriented or functional programming.
The functional programming paradigm provides with an opportunity
to effectilvely solve complex problems in such way that the developer receives
a degree of guarantee about the program's validity.
Haskell is a general functional programming language which
uses recent mathematical developements.
It's expression power is huge and in the meanwhile it is terse.
Lately the computer graphics which includes several complex problem groups had become
one of the most significant field of information technology. With this fields highly
rising popularity, it's even more important that the usage of these technologies can be unified and easily accomplishable.
In my thesis I'm describing how can the tools provided by the functional paradigm (and the Haskell language specifically)
be applied to exploit the capabilities of the modern graphical hardware.
I'm designing a standalone programming language which fit into Haskell, and capable of
describing any of the applications and graphical pipelines used on modern graphical cards.
The compiler provided with the language translates the application into OpenGL API calls and GLSL.
Finally, based on the numerous sample applications, which are demonstrating the usage and
the performance of the system I will do an assessment on the complete software system.