あと、個人的な意見だと関数型はパーツとしての堅牢性を最重視した方向からのアプローチだから
それって上の例だと「(歩け)ってバグのない完全なパーツができました
「左前足(歩け)、右後ろ足(歩け)、右前足(歩け)、左後ろ足(歩け)」
これで脚が何本になろうと歩きます！」みたいな
それって本当に主張してる究極の解決なのかなぁ…感がですね…