関数型言語
なお、関数型言語では通例、whileループは文ではなく式 (expression) として定義される。while式はwhile文よりもプログラム中で記述できる位置に関して柔軟性がある。Haskellのような純粋関数型言語では、ループは常に再帰（末尾再帰）を使って記述するため、whileループの構文をサポートしないものもある。