Un bloc est une suite d'expressions jouant le rôle d'une seule expression. Il s'agit donc d'un regroupement de plusieurs instructions. Un contexte est un bloc ayant une ou plusieurs variables locales.