ツイッタで一般に再帰はループよりも難しいとしてる話があって、逆かと思ったんだけど逆じゃなかった。ACL2 を普及させたいなーと思ってたけど、多くのプログラマにとってそれ以前に巨大な壁が立ちはだかっていることに気付かされた。

Follow

私の場合は脳内メモリが貧弱なので再帰関数の方が簡単でいいんだけど、脳内メモリが潤沢にある一般的な人々には手続き型な方が扱いやすいみたいなことがあるのかもしれない。

Sign in to participate in the conversation
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!