• Shuffle
    Toggle On
    Toggle Off
  • Alphabetize
    Toggle On
    Toggle Off
  • Front First
    Toggle On
    Toggle Off
  • Both Sides
    Toggle On
    Toggle Off
  • Read
    Toggle On
    Toggle Off
Reading...
Front

Card Range To Study

through

image

Play button

image

Play button

image

Progress

1/4

Click to flip

Use LEFT and RIGHT arrow keys to navigate between flashcards;

Use UP and DOWN arrow keys to flip the card;

H to show hint;

A reads text to speech;

4 Cards in this Set

  • Front
  • Back

Ml tuples

An tuple is (7, 9, 11) and you retrieve the parts with #1e #2e, and #3e where e is an expression that evaluates to a trple

Ml lists

composite data type (in addition to the tuple). A list is a homogeneous sequence of zero or more items.

Scope of binding

n association of a name to an entity, such as a variable – is the part of a computer program where the binding is valid: where the name can be used to refer to the entity

ML let expression (syntax, semantics, type checking)

syntax: let b1, b2, ...bn in e end and each bi is any binding and es is any expression.


type checking and semantics are much like the semantics of the top-level binding in our Ml program.