Laços, outra construção de programação imperativa, estão presentes através da construção funcional mais geral de recursividade.
lˈasʊʃ, ˈowtɹɐ kˌuŋstɹusˈɐ̃ʊ̃ dɨ pɹˌuɡɹɐmɐsˈɐ̃ʊ̃ ˌimpɨɾɐtˈivɐ, ɨʃtˌɐ̃ʊ̃ pɹˌezˈeɪŋtɨz ˌɐtɹɐvˈɛʒ dɐ kˌuŋstɹusˈɐ̃ʊ̃ fˌũŋsiunˈɑl mˈaɪʒ ʒɨɾˈɑl dɨ ʁˌekuɾəsˌividˈadɨ.