O comando
Um efeito importante do comando
Um exemplo é a construção da função fatorial.
Essa é uma função que tem domínio no corpo dos naturais e sua imagem é igualmente um valor natural.
Como geralmente as linguagens não tem um tipo de variável natural, usaremos o tipo padrão
A figura 1 ilustra a construção da expressão inteira para o comando
O código abaixo (em Portugol) é o correspondente textual ao código visual na figura 1.
programa {funcao vazio inicio ( ) {inteiro n <- 0leia (n)escreva (fatorial(n)), "\n") }funcao inteiro fatorial (inteiro pn) {inteiro fat <- 1inteiro i <- 2enquanto_verdadeiro (i <= pn) { fat <- fat * i i <- i + 1 }devolva fat } }