ウィキペディアには次のように書かれています。
完全な関数型プログラミング (通常の関数型プログラミングまたは弱い関数型プログラミングとは対照的に、強力な関数型プログラミングとも呼ばれます) は、プログラムの範囲を、終了することが証明されているプログラムに制限するプログラミング パラダイムです。
と
これらの制限は、関数型プログラミング全体がチューリング完全ではないことを意味します。ただし、使用できるアルゴリズムのセットは依然として膨大です。たとえば、漸近的な上限が計算されたアルゴリズムは、反復または再帰ごとに減分される追加の引数として上限を使用することにより、証明可能な終了関数に自明に変換できます。
Total Functional Programmingに関する論文についての Lambda The Ultimate Post もあります。
私はメーリングリストで先週までそれを知りませんでした。
あなたが知っているリソース、参照、または実装例は他にありますか?