Typer

Erlang är ett dynamiskt typat språk vilket har sin  för och nackdelar. Det är viktigat att förstå hur typsystem fungerar, vad de kan bidra till och varför man väljer att ge ett språk ett dynamiskt 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:

Before the lecture, read to the end of chapter 3 in the course book.