N?ste oblig om type systemer

Jeg ved at nogle k?mper med at blive f?rdig med Oblig 2, men er er en kort opdatering om Oblig 3. S? I ved hvad der kan forventes.

P? mandag (d. 28. oktober) vil jeg give en introduktion til type systemer og type tjekning. Nok ogs? lidt om generel statiske og dynamisk kode tjekning. Det vil v?re p? et h?jere konceptuel forst?elses niveau.

Ugen efter (mandag d. 4. november) vil jeg v?re mere konkret og specifikt vise hvordan vi kan implementerer en (statisk) type tjekker i Java. Kan ogs? udvides til andre statiske tjek.

I Oblig 3 skal I lave en statisk type tjekker af sproget. Vi vil frigive Oblig 3 op til forel?sningen d. 4. november. I fortjener en uge, hvor I ikke skal t?nke p? Java :)