Pisteissä virhe!

Osassa tehtäviä oli mennyt 3.0 ja 3.5 sekaisin. Korjasin tehtävien pisteet ylöspäin, koska se tuntui "reiluimmalle".

Pistelaskuri lisätty.

Tämä on hidas kötöstys, mutta jos se välttäisi kunnes ehdin oikeasti tehdä tuon.

Oli taas typerää hässäkkää palautussysteemin kanssa. Mänt särki kun vaihdoin yhden palan ns. lennosta.

Nyt pitäisi toimia taas.

Pahoittelut tästä

Kurssin julkinen TODO lista

Eli asiat, joita Villen pitäisi saada valmiiksi, ennen kurssia tai ainenkin kurssin alkumetreillä

• Luentolista ja lukemistot kohdalleen
• Pistelaskuri

Ja tsiljoona muuta juttua...

Face validity is the extent to which a test is subjectively viewed as covering the concept it purports to measure. It refers to the transparency or relevance of a test as it appears to test participants. In other words, a test can be said to have face validity if it "looks like" it is going to measure what it is supposed to measure

This is CEK augmented with a store. Now Env maps variables to Addresses and Store maps adresses to Values (ie, closures and primitive values like true, or 1)

This is a state machine that accepts as an input a lambda term and executes it. CEK machine state is a triple

(Lambda Term, Environment, NextAction)

Here, Environment maps variables to closures (ie. pairs of terms + environments containing their free variables)

Where Next action is either

• Evaluate function part of application
• Evaluate argument part of application
• Perform application
• Look up a variable from environment

Perustiedot alkaa olla jo kunnossa, mutta epäilemättä sivulla on vielä virheitä.

Suuri osa tehtävistä on paikallaan, mutta palautuslaatikot ei vielä ole käytössä.