To make a discard; to throw out a card.
Anything discarded.
A discarded playing card in a card game.
A temporary variable used to receive a value of no importance and unable to be read later.
Discards can be used with out parameters, with tuples, with pattern matching (Chapters 6 and 8), or even as stand-alone variables.
From dis- + card. Compare Spanish descartar.
Select a language to see translations