Skip to content
heben2 edited this page Apr 10, 2013 · 10 revisions

Dagsorden

  • Hvor er det mest relevant at beskrive arkitekturen af Moscow ML op til Lambdasproget? (Bør dette måske være i eget kapitel)
  • I lambda-sproget bruges en Lletrec, når der kommer en funktion efter, og en Llet, når der kommer en variable efter. Hvorfor skældnes mellem disse, når de alligevel er to forskellige datatypeelementer?
  • Derudover, hvorfor bruger Lletrec og Llet ikke deres liste (formegentligt lavet til at indeholde de lokale variable) i Llambda list * Lambda til netop at indeholde de lokale variable, men lader i stedet den næste variable være en nested Lletrec/Llet i Lambda-delen (som vel er designet til body-delen af let'en)?

Referat

Clone this wiki locally