Total functional programming corresponds to what I wrote with regard to primitive-recursive functions, so no.