25. feb

Dagsorden

• Stoppe MosML compileren ved Lamda-sproget (Vi kan se der findes en debugger PrLam.SML)
• Projektaftale
• Synopsis, med fokus på:
  • Problemformulering
  • Læringsmål
• Andet

Referat

Lambda-sproget

• Processen ifm med dette beskrives i Peter Bertelsens speciale
• Der ligger en ufærdig/næste færdig bagende til C-- vi evt. kan kigge på
• Selve Moscow ML indeholder ikke særlig meget dokumentation

Projektaftale

• Ken finder ud af om den skal afleveres, til hvem og hvornår

Synopsis

• Læringsmålene skal generelt være mere konkrete
  • Ændr f.eks. "opnå et forståelse" til "Beskriv arkitektur af Moscow ML frem til Lambda-sproget"
• Den nuværende synopsis med Kens rettelser kan findes i Synopsis

Andet

• Minimal løsning bør være uden rekursion.
• Den kan f.eks. sammensætte to strenge (hvilket er nemmere end at lægge to tal sammen da det er ikke åbenlyst hvordan Moscow ML integers skal repræsenteres)