3. maj

Dagsorden

• (Målestok.)
• Realistiske mål inden for den resterende tidsramme.
• Ydderligere litteratur?
  • Ken: Hvilken litteratur har I fundet frem til i jeres litteratur søgning? Er der noget specielt I synes I mangler?
• Punkter fra Ken:
  • Jeg vil gerne se jeres liste af repræsentative SML programmer og de tilsvarende JS programmer I håber at oversætte til.
  • Repræsentation af SML værdier, hvad er I nået frem til i analysen (udledt af aktiviteten af at lave listen af SML+JS programmer).
  • Til målestokken: Hvilke benchmark programmer har I (gjort jer tanker om at I har) tænkt jer at bruge til sammenligning.
  • Rapport, har I fået tænkt over en disposition.

Referat

Repræsentation af SML værdier

• Homogen repr. af værdier
• datatype kbool = true | false
• datatype 'a klist = knil | kcons of 'a * 'a klist
• Genlæs afsnit 1.3.3 i Peter Bertelsens speciale!
• Det kunne være rart at få SML bool til JS bool, men da bools fulstændig er væk i lambdasproget kan dette blive svært.
  • Ken: Men I bør stadigvæk undersøge om Javascripts koncept af truthy værdier kan udnyttes.
• At genopdage bools ville kræve at man analyserer konteksten eller ændrer i frontenden.
  • Det kan dog være et interessant problem at nævne, men vi bør nok ikke bruge tid på at forsøge at løse det.

Rapporten

• Overvej at komme afsnit 1.3.3 fra Peter Bertelsens speciale ind i rapporten i appendiks da dette er en ret koncis beskrivelse.
• Lav et afsnit der beskriver hver Lambdaterm og hvad den oversættes til i JS

Elementer i analyse og design

• Analyse
  • SML (stærkt, statisk typet)
  • Moscow ML
    • Lambda (utypet)
  • JS (dynamisk typet)
• Design
  • Repr. af værdier(/typer)
    • Funktioner
    • Tal (int, real, word)
    • Algebraiske typer (lister, tupler o.lign)
    • Exceptions
• Implementation

Generelt

• Vores tidsplan er skredet, da vi for længe har kørt uden tidsbudget. Vi skal lave et nyt tidsbudget for den resterende tid.
• Da vi har valgt kun at arbejde i bagenden er mange beslutninger taget i frontenden for os allerede. På både godt og ondt.
• Vores testsuite bør indeholde et eks på hver konstruktion.
• Skal vi skære i implementeringen bør det være i primitiverne, da det at skære i lambdatermerne reducerer sproget betrageligt.
• Vi skal ikke håndterer QUOTEsc da denne ifølge Ken er helt oversat væk.
• Ken sender os et nyt paper som kan belyse bl.a. nogle uklarheder om BLOCK (tag o.lign.)