最近、サイエンス社の『プログラミングの基礎』を読み進めています。 タイトルは完全にプログラミング入門本なんですが、初学者にいきなりOCamlを叩き込もうという類の本なので、私のような関数型初心者にもぴったり。 以下はそんなOCaml入門中の私の思考メモです。 マサカリ大歓迎。 tl; dr 「まとめ」まで飛んでください。 foldに着目する リスト処理関係の高階関数っていっぱいありますよね。 mapとか、filterとかよく使います。 foldはその次ぐらいによく使うやつ、みたいに今までは思っていました。 でも、この辺の関数を全部自分で再実装してみて気づきました。 foldだけなんだか格が違うんです。 というか抽象度が違う。 わかりやすく言えば、こいつだけ汎用性が高すぎるんです。 というのも、mapもfilterもfoldで書けるんですよね。 逆はちょっと今の自分には思いつかないです。
![再帰構造、右から見るか?左から見るか? - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/5ee7e28e3c8f06c1295f714c2d5dafb4e1acf0fc/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9JUU1JTg2JThEJUU1JUI4JUIwJUU2JUE3JThCJUU5JTgwJUEwJUUzJTgwJTgxJUU1JThGJUIzJUUzJTgxJThCJUUzJTgyJTg5JUU4JUE2JThCJUUzJTgyJThCJUUzJTgxJThCJUVGJUJDJTlGJUU1JUI3JUE2JUUzJTgxJThCJUUzJTgyJTg5JUU4JUE2JThCJUUzJTgyJThCJUUzJTgxJThCJUVGJUJDJTlGJnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9NTYmcz0xNmI0NTkwNzkwNTBlODAxZTg2ZjUzOWQ3Mzg0YmU0NQ%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDBpa25ndHR5JnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzYmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz1lODQxZTM5YTgxZTZkYThmNTU5NzQ5M2ZlNGJhNGI0NQ%26blend-x%3D142%26blend-y%3D436%26blend-mode%3Dnormal%26txt64%3DaW4g5qCq5byP5Lya56S-44Oq44Ki44Or44Kw44Ot44O844OW%26txt-width%3D770%26txt-clip%3Dend%252Cellipsis%26txt-color%3D%2523212121%26txt-font%3DHiragino%2520Sans%2520W6%26txt-size%3D36%26txt-x%3D156%26txt-y%3D536%26s%3D680ba9b3c41af115f8ad4498372e5e7c)