Gauche > Archives > 2020/04/26

2020/04/26 03:31:06 UTCshiro

begin0の最適化入れたので、HEADではgiterate0とgiterate0-1は同じコードになります。

2020/04/26 03:46:21 UTCkaki

なるほど、そういえばgauche.generator読んでて%begin0なるほどと思ったばかりだったのに気付けませんでした(｡>﹏<) マクロ書いてて多値対応したいけど遅くなる葛藤よくあるので、単値しか来てないと最適化入るのは嬉しいですね。

2020/04/26 03:50:28 UTCkaki

実は最初は giterate0 で f が1回余分に(1歩先の分まで)適用されるのが嫌で giterate1 書いたんですよね。ジェネレータは副作用を伴う計算にしばしば使われることを考えると、ちょっと嫌かなあと。

2020/04/26 03:55:08 UTCkaki

なので、giterate(ベンチマークのgiterate1-1)とgiterate1(ベンチマークのgiterate2)を入れるっていうのが本命だと思っています。あとliterate。名前がこれでよければ。

2020/04/26 04:00:34 UTCshiro

あっそれもあるか＞1回余分。gcons*が条件判断と追加の関数呼び出し分遅くなるのを何とかできればなあ。名前はこれで問題ないと思います。同型の関数がscheme.streamにstream-iterateとしてありますし。

あ、追加の関数呼び出しは削れるか

2020/04/26 04:09:27 UTCshiro

これのgiterate1-2。gcons*を手で展開する感じ。条件分岐分giterate0-1より遅くなりますが https://gist.github.com/shirok/8c0dbd9a503ad3cd06a5c0e7ff2094f3

2020/04/26 04:14:18 UTCshiro

;;こうすれば条件分岐省けるけど、速くはならなかった
(define (giterate1-3 f x)
  (let ((g identity)
        (x x))
    (^[] 
      (set! x (g x))
      (set! g f)
      x)))

set!するとその変数へのアクセスもbox経由になるからset!しない変数より重くなる

2020/04/26 05:27:56 UTCkaki

なるほど。Gaucheの最適化にも興味あるので、勉強になります。

2020/04/26 05:34:49 UTCshiro

giterateほか、pushしました。

2020/04/26 05:52:34 UTCkaki

わーい、ありがとうございます。