Foredrag hvor jeg viser hvordan en kan utnytte typesystemet til Java for å fange opp bugs på kompileringsstadiet.