rustの命令文は、表面的なc言語やc++との文法の類似性にも関わらず、意味論的にはml系言語の命令式に近く、関数本体のほぼ全ての部分は制御フロー演算子でさえ「文(statement)」ではなく「式(expression)」である。