星の贈り物

Haskell SDL

[topic:プログラミング、Haskell、SDL]

どうやら Haskell で SDL ライブラリを作っている人が二人いるようですね。一つはHaskell 本家のメーリングリストにアナウンスを流した方で、幅広く取り組んでいるようです。もう一つは精力的に日々 Haskell の日本語リソースを生み出している方で、SDL 上で Haskell で OpenGL を使う方法を書かれているのでどうせなら二人で協力してくれないかなぁ、と思います。

思っているだけでは何も変わらないので、その方の掲示板に情報を伝えておきました。

wxHaskell で filter 作成

[topic:プログラミング、wxHaskell]

wxHaskell で filer プログラムを作成しようとしているのですが、なんかうまくいきません。アドバイスしてもらって示されたプログラム

-- 赤の値を最大化した絵が表示される。
	 onPaint vbitmap dc viewArea
      = do mbBitmap <- varGet vbitmap
           case mbBitmap of
             Nothing -> dcClear dc
             -- Just bm -> drawBitmap dc bm pointZero False []
             Just bm ->
               do  sz  <- get bm size
                   im  <- imageCreateFromBitmap bm
                   pb  <- imageGetPixelBuffer im
                   fillPixelBuffer pb sz
                   bm' <- bitmapCreateFromImage im (-1)
                   drawBitmap dc bm' pointZero True []
                   bitmapDelete bm'
                   imageDelete im
      where
        fillPixelBuffer pb bound
          = mapM_ redshift [Point x y | x <- [0..sizeW bound-1]
                                      , y <- [0..sizeH bound-1]]
          where
            redshift pt
              = do c <- pixelBufferGetPixel pb pt
                   let newcolor = rgb 255 (colorGreen c) (colorBlue c)
                   pixelBufferSetPixel pb pt newcolor

に従って書き換えてみたんですが、どうにもうまくいきません。

-- この関数はまともに働かずプログラムが停止する。
	onPaint vbitmap dc viewArea
      = do mbBitmap <- varGet vbitmap
           case mbBitmap of
             Nothing -> dcClear dc
             -- Just bm -> drawBitmap dc bm pointZero False []
             Just bm ->
               do
                   sz <- get bm size
                   im <- imageCreateFromBitmap bm
                   pb <- imageGetPixelBuffer im
                   fillpixelBuffer pb sz
                   bm'  <- bitmapCreateFromImage im (-1)
                   drawBitmap dc bm' pointZero True []
                   bitmapDelete bm'
                   imageDelete im
                   where
                     fillpixelBuffer pb bound =
                       mapM_ drawLowpassFilter [Point x y | x <- [0..sizeW bound-1]
                                                          , y <- [0..sizeH bound-1]]
                       where
                           drawLowpassFilter (Point szx szy) = do
                               lowpass <- (lowpassFilter (Point szx szy) bound)
                               pixelBufferSetPixel pb (Point szx szy) lowpass
                           pixelColorInt (Point ptx pty) (Size szx szy)
                               | ptx < 0   = pixelColorInt (Point 0 pty) (Size szx szy)
                               | pty < 0   = pixelColorInt (Point ptx 0) (Size szx szy)
                               | ptx > szx = pixelColorInt (Point (ptx-1) pty) (Size szx szy)
                               | pty > szy = pixelColorInt (Point ptx (pty-1)) (Size szx szy)
                               | otherwise = do
                                   pixel <- pixelBufferGetPixel pb (Point ptx pty)
                                   return (intFromColor pixel)
                           lowpassFilter (Point szx szy) bound   = do
                               -- pixelsInt <- foldM (+) (pixelColorInt [Point x y  | x <- [szx-n..szx+n], y <- [szy-n..szy+n]])
                               pix1 <- pixelColorInt (Point (szx-1) (szy-1)) bound
                               pix2 <- pixelColorInt (Point (szx-1) (szy)) bound
                               pix3 <- pixelColorInt (Point (szx-1) (szy+1)) bound
                               pix4 <- pixelColorInt (Point (szx) (szy-1)) bound
                               pix5 <- pixelColorInt (Point (szx) (szy)) bound
                               pix6 <- pixelColorInt (Point (szx) (szy+1)) bound
                               pix7 <- pixelColorInt (Point (szx+1) (szy-1)) bound
                               pix8 <- pixelColorInt (Point (szx+1) (szy)) bound
                               pix9 <- pixelColorInt (Point (szx+1) (szy+1)) bound
                               let pixes = (pix1 + pix2 + pix3 + pix4 + pix5 + pix6 + pix7 + pix8 + pix9) `div` 9
                               return (colorFromInt  pixes)   -- (colorFromInt $  (pixelsInt / 9))

どこを勘違いしているのか、誰か教えてくれないかな？

wxHaskell で filter 作成 2

[topic:プログラミング、wxHaskell]

[haskell-jp:440] Re: インデックスを使うデータ型でも書いている通りその後解決法が見つかったのですが、物凄く遅くて使い物になりません。

メーリングリストでこの話をした直後ぐらいに本家の方のメーリングリストが image writing library の話題で盛り上がったのも印象に残りました。wxHaskell でやるのはやっぱり用途的に重いとのこと。

はじめてのぷれぜんてぇしょん、はじめてのらいとにんぐとーく

[topic:プログラミング、Haskell]

とりあえず意図が伝わっていれば十分かなと思ったのですが、akr さんに不評だったりなにが得なのかをさっさと喋ったほうがいいのかもというコメントを貰ったりしていてそううまくはいかなかった模様。

一番のメリットは始めの方に話した通り手続き的に Observer が監視したり変数をつついたりするように書かなくても Reaction を書くだけで十分なことで、この辺りはちょん切れてしまった switch 系の関数の解説を喋れたら伝わったかもしれないので、残り一分間の感覚と言うものを知るために経験を積む必要あり。デモの凄さばかり印象に残っていてそんなに LL3 の内容って覚えていないものなんだなとも思った。あと、飲み会の後の喫茶店で Lightweight Language Magazine がどうして不評なのかという話でも言ったように長くするべきところは長くして短くするべきところは短くするメリハリも重要だということも忘れてはいけないだろう。

一応念のために switch 系の関数について説明しておくと、特定の値が来るまである処理を行い、その値がくると切り替えた処理を行うという reaction をおこす関数です。

……とここまで書いたところで、記述量の少なさは関数型にとっては魅力だけどそうでないものにとっては全然魅力を感じられないかも、と思う。だとしたら、最初に言ったように Robot、GUI、Animation の共通特長を括り出しているので、フレームワークを作りやすくするためのフレームワークであることをもっと強調した方が良かったかもしれませんね。

Programming と圏論

[topic:プログラミング、Haskell、圏論]

LL Weekend の懇親会に引き続き、今日の読書会でも圏論勉強会をやろうという話がでました。近々 haskell-jp でアナウンスが出ると思うので、興味のある方はそちらの方をチェックしていただければと思います。

ええと、圏論とは数学の集合論の特殊な分野(ホモロジー代数などでも使われることを考えればもはや特殊なと言うことはできませんが……)で、これを勉強しようというのは、稲葉さんのページで"圏論とプログラム"関係の本と挙げられているようにプログラミングにおいて圏論の知識があると役に立つ部分があるからです。また、Haskell 本家のメーリングリストを見ていれば分かる通り、Haskell は数学をそのままとは行かないまでも、それに近いような定義をほぼ直接的にコードで表すことが出来るという高い記述力を持っているため、圏論を理論的枠組みとした書かれたプログラミング関係の論文に Haskell のコードが現れる、つまり Haskell の論文の中には圏論の知識を前提としているものがあるのでそれを読むために圏論の知識が欲しいというもあります。

ML と Haskell

[topic:プログラミング、Haskell、ML]

笹川さんが Haskell は難しいと言っていたのや、mixi で向井さんが ML 系言語と Haskell の内ゲバがあるようなないようなということを話題にしていたのがちょうど重なったので、ML と Haskell について思うことをちょっと書いてみます。

先月の RHG 読書会で向井さんや LL Weekend 後の飲み会で福盛さんと話した時になぜ Haskell が好きなのと聞かれていた時に答えたのが、(両者に共通の型推論と)遅延評価と型クラスだったと思います。遅延評価がいいというのは誰でもすぐに納得してもらえることで、遅延評価ゆえの記述力の高さをうらやましいという言葉はよく聞きます。型クラスについては ML 系の言語で散々悩んでいる名前の衝突をエレガントに解決しているだけに、OCaml の Objective な部分や G'Caml では微妙に方向性を間違っているしということでとりあえずの支持は受けるものの、その代わりに ML 系言語でモジュールをうまく外に示している structure を持てないことで、あちらを立てればこちらが立たずというような感じで受け止められています。

ところで私は OCaml から Haskell に流れて結局そこに落ち着くことにしたのですが、どうしてそうしたかというと説明しづらいものがあります。上記の二つが良かったというのは確かですが、Monad を理解するときの苦労を考えると、どうして Uniqueness Type を使っている Clean ではなく Haskell に落ち着いたのか自分でも不思議に思います。GHC や Hugs の拡張を使ってパズル的にやれるところにはまったのかな？ C++ でも STL と Boost 以降全然違うパズル的な言語になってしまったところにはまっているのですし。……違いますね。そんなのじゃなくて Clean と Haskell で微妙に文法が違うその部分で Haskell の方が気に入ったのですね。とすると、OCaml で再帰にするときに rec をつけないといけなかったりする微妙な文法の違いも Haskell を選ばせた原因でしょうか？ そのあたりは SML では大丈夫なのですが、やっぱりなんとなく文法的に Haskell が好き。上記の二つの利点を補えばいいというものでもないけれども、文法の気に入らないところを見ていくとそれらが理由になっている部分も大きい。一つを変えればなし崩し的に他も変えなければいけない可能性も高い。だけどそれを加味しないとしても曖昧な好き嫌いでしか終わらない部分も多く残る。せめて"SML の Optional の型は良いと思う。Maybe で代用しなければならない Haskell より素直に書けるから"と論理的に言える部分がもっとあれば……それに、SML と OCaml は全然別物なので一括して語ることができないのが苦しいですね。SML や OCaml の本の読書会とかあれば参加してみたいとは思うけれども、積極的に使おうというほどではない、この隔たりは(上記の二つ以外には)どこにあるのか？

さて、Haskell が難しいと言っている方がどこが難しいといっているのかも気になる。Monad なら同意するけれども、SML や OCaml を習得している方々であればやさしくない「やさしい Haskell 入門」でやっていけると思うのだけど、どこでつまずくのだろう？　やっぱり他の言語に比べて記号の利用率が高くてそれが他の言語と違う部分で用いられているところだろうか？ でもそれなら ML 系言語の使用者にはさほど影響はないはず。

ML 系の言語を良く言う方が pure でないことと遅延処理を全てに適用しないことによるパフォーマンスのことを問題とするならともかく、そうでない部分を問題にしていくとどちらがどうなのかという問題には決着がつけれそうにない。少なくとも今の私には手にあまる問題だ。それでもどうにか落しどころがないかと考えながら書いてきたが、どうもうまくいきませんでした。ここには載ってない文法の問題についても色々と分析してはみたものの、大抵は感覚の問題で退けられてしまいます。