Typer

Erlang är ett dynmiskt typat språk vilket hr sin för och nackdelar. Det är viktigat att förstå hur typsystem fungerar, vad de kan idra till och varför man välder att ge ett språk ett dynaiskt eller statiskt typsystem.

Vi skall titt på hur Erlangs "records" används i brist på bättre typsystem och vad det innebär för en implementering. Som exempel skall vi implementera en lite "ray tracer" dvs ett program som generar en bild från en beskrivning av en tredimensionell värld. Om allt går vägen kanske det ser ut så här:¶

Ray tracing