Lazy Coders

Afp

---+ Hay Tracer
HayTracer is a ray-tracer written in Haskell. It uses the ICFP 2000 GML scene specification in order to produce images.
The main program reads the input from the standard input and writes the output in the specified PPM files.
There is also a prototype interface written using GTK2Hs and OpenGL bindings.

The program was developed using the ICFP 2000 specification which can be found at http://www.cs.cornell.edu/icfp/task.htm.

---++ Architecture

The program is structured in two major components:
   * the GML evaluator
   * the actual ray-tracer

The role of the GML evaluator is to interpret GML files and produce scene descriptions which are fed into the ray-tracer.

---+++GML evaluator
In order to process GML files the interpreter must first parse them. 
We opted to implement the parser and lexer using Happy and Alex.
The parser is defined in GML/Parser.y and the lexer in GML/Lexer.x

The parser outputs an abstract syntax of GML which closelly follows the specification.
Definition of the abstract syntax is found in the module GML.AbstractSyntax.

The interpreter for GML is an stack machine which processes the abstract syntax in order to output multiple scene descriptions. The implementation
is contained in two modules:
   *  GML.Core, which contains the main data-types employed by the interpreter
   *  GML.Evaluate, which contains the main evaluator loop

As described in the specification the interpreter has a state which contains the environment, the value stack, and the code stack. The environment contains the values of all the defined bindings. The value stack represents the current values produced by the running GML program, and the code stack contains the un-evaluated part of the program. In the implementation this is modeled using the State monad. The effect of the render operation (namely the scene descriptions) are stored in the state. Since GML operations can fail, the computations of the interpreter monad are transformed using ErrorT.

The main part of the evaluator is implemented in GML.Evaluate. The evaluator function takes a state and performs the reductions on the code stack. The modifications of the operators are performed on the current scene. All the input to trigonometric operations is first converted to radians and the result of such operations is converted back to degrees.

The most intresting aspect is how the surface functions are implemented. The surface function is a closure which is evaluated outside of the interpreter loop, during the ray-tracing stage. Thus the surface function is evaluated into a "mini"-eval loop which produces the texture coordinates.

---+++Ray tracer
The ray tracer takes as input a scene description and renders it. The scene description can be found in GML.Data.Scene.
The implementation is split into several modules:
   * GML.Render, which contains the top-level tracing functions
   * GML.Intersection, which contains the code for intersection testing
   * GML.Lighting, which contains the lighting calculations

In order to deal with the geometric operations some helper functions are defined in the GML.Data.Geometry.
Because of constructive solid geometry the intersections are represented as intervals, using the Ranged-Set library.

---++ Repository
The source code is available at:
  https://subversion.cs.uu.nl/viewvc/student.aresios.HayTracer

---++ Libraries and Tools
   * [[http://www.haskell.org/cabal/ Cabal]] for building
   * [[http://community.haskell.org/~ndm/hlint/ HLint]] for checking code
   * [[http://www.haskell.org/haddock/ Haddock]] for documentation
   * [[http://hackage.haskell.org/package/alex/ Alex]] for generating the lexer
   * [[http://hackage.haskell.org/package/happy Happy]] for generating the parser

---++ Results 
    * Hay Tracer: <br /> 
      %ATTACHURL%/hay-tracer-0.5.tar.gz 
 
    * Dice in GHay-tracer: <br />
      <img src="%ATTACHURL%/dice.png" />

   * cube0.png: <br />
     <img src="%ATTACHURLPATH%/cube0.png" alt="cube0.png" width='320' height='200' />

   * checked-cube.png: <br />
     <img src="%ATTACHURLPATH%/checked-cube.png" alt="checked-cube.png" width='320' height='200' />

   * spheres.png: <br />
     <img src="%ATTACHURLPATH%/spheres.png" alt="spheres.png" width='320' height='240' />

   * chess.png: <br />
     <img src="%ATTACHURLPATH%/chess.png" alt="chess.png" width='400' height='300' />
  
  *  More results can be viewed: at http://sorinara.org/hay/

---++ Team members
The team is composed of:
|Andreas|
|Jalmer|
|Sori|
|Johanneke|
|Daniel|

--  Andreas Resios - 23 Feb 2010
-- AndreasResios - 14 Apr 2010

Topic attachments
I	Attachment	Action	Size	Date	Who	Comment
hs	Scene.hs	manage	0.7 K	14 Apr 2010 - 07:37	JohannekeLamberink	Description of a Scene
png	checked-cube.png	manage	0.6 K	31 Mar 2010 - 01:16	AndreasResios
png	chess.png	manage	28.7 K	14 Apr 2010 - 02:46	AndreasResios
png	cube0.png	manage	0.6 K	31 Mar 2010 - 01:05	AndreasResios
png	dice.png	manage	15.1 K	10 Mar 2010 - 00:09	AndreasResios
gz	hay-tracer-0.5.tar.gz	manage	42.9 K	14 Apr 2010 - 03:44	AndreasResios	Hay tracer
gz	hayPictures04AM.tar.gz	manage	105.9 K	14 Apr 2010 - 02:47	AndreasResios	Sample pictures
jpeg	pipeline.jpeg	manage	3.0 K	23 Mar 2010 - 21:20	AndreasResios
png	spheres.png	manage	9.3 K	14 Apr 2010 - 02:40	AndreasResios