15. mar

Dagsorden

• I Const.sml, hvorfor er QualifiedIdent en string list * string (specifikt hvorfor en string list)?
• Hvad bruges arity til i Pccall? Altså, hvilket behov er der for at give arity med?
• Ang. konflikter mellem variablenavne imellem moduler: håndteres de allerede inden bagenden? I.e., skal vi på bagenden håndtere navnekonflikter?
• Hvad gør Front.isSafe? Vi kan se, at den sætter is_pure, men vi kan ikke lure hvad denne bruges til.
• Hvad er datatypen QUOTEsc of obj ref?
• Andet?

Referat

QualifiedIdent

• String list da der kan være nestede structs.

Arity

• Relevant ift. f.eks. pccalls closure på ML vs JS:
  • arity 2: int -> int -> int
  • arity 1: int -> (int -> int)

Navnekonflikter

• Ken mener at den sidst definerede er den gældende (i samme scope selvfølgelig). Hvis vi vælger at lave linking ved at samle alle moduler i et .js-dokument, håndteres dette på JS siden.

isSafe

• Fortæller om der er sideeffekter. Ken mener at det overvejende bruges til de få optimeringer som Moscow ML laver (ift. til rækkefølge af eksekvering o.lign.). Dette har ikke rigtig nogen relevans for os.

QUOTEsc

• en måde at håndtere strenge med varierende indhold. En liste med strengelementer og variable af vilkårlige datatyper, hvor du i sidste ende ønsker en streng, f.eks. til print out på skærmen.

Andet

• Vi har lånt en bog. Se lånte bøger.