#generator-any ってあってもいいですかね？
#どういう動作をするものですか?
#generator-find みたいなんだけど、pred を適用した結果を返すものを想定してます。
#generator-find が返した結果にもう一度 pred 適用してもいんですけど。
##f でないことは確認しないといけないので、ちょっとスマートじゃないです。
#どうせ見つかるまでpredは適用されるので、gmap predしてから、と思ったけどgenerator-find identity $ gmap pred となるからちょっと冗長?
#どんな感じになるか試してみます
#pred が多値返してたので、identity 挟んだら最初のしか返らなくなってしまった。
#あっそうか。いやまてよ、でも多値返すなら普通述語として使えないのでは
#たまたま動いてたんですか。
#元は list で返してたのですが、動いたからいいやとさっき変えたんです。
#チェックしてないだけで不正なプログラムです。
#list に戻したら動きました。そんなに長くないし、これでいいか。
#anyって確かに動作はfindの仲間なんですが、対象をセットとみなしてるような感覚があって、generator-anyと言われた時にピンとこなかったんですよね。
#なんか組み合わせたらできるからないのかなと思ったのですが、思いつきませんでした。
#通常のリストだと find identity $ map pred すると中間リストが無駄になるからanyは嬉しいんですけど、generatorだとそれほどでもないので。オーバヘッドが気になる場面が出てきたら足すかもしれません。
Gauche > Archives > 2015/07/23