言风格中是常用的，如Lisp, Scheme, ML语言等。Prolog中互递归是不可避免。 彼德·诺米格不提倡使用互递归：
术语.互递归也称，与相对。 
转换为直接递归.数学上，一套互递归函数是原始递归函数, 可通过证明, 构造单个函数"F"依次列出单个递归函数的值: formula_1，重写互递归为原始递归。 任何两个过程之间的互递归可以转换为直接递归，这通过把一个过程内联至另一个过程实现。 任何数量的互递归过程可以合并为单一过程，这通过标签