青木日記

■ てすと

メール → tDiary ブリッジのテストです。

■ テスト

うまくいったらしい。えらく時間がかかってしまった。

いやね、これまでもずっとメール経由で更新してきたんですが、 間にプリプロセッサを狭むために公式の posttdiary.rb とは 違うプログラムを使ってるんですよ。それをちゃんと直さないと 日記が更新できないという罠にはまってました。

■ テスト 2

と言ったそばからまた改造をはじめるわたしであった。まる。

■ ToDo

えーっと、何だっけ。短期 ToDo

• fileutils をチェックイン
• setup.rb のパッチ当てとインストール順序指定
• TMail も何かあったような……
• ReFe をスクラッチから書き直し。DBM がないっていう話もあるしー、正規表現マッチしたいしー。あと今のデータベースクラスの設計って凄く汚いんだよね。パーサもだけど。
• 「Ruby言語仕様」まああれは「Rubyの文法」を題名だけ変えてうまくマージすりゃいいでしょう。
• CVS-Wikiインターフェイスという話もあったような気がする。ていうか CVS があっても Wiki はないとだめなのだろうか。

■ 行単位 I/O

ungets したくない？

■ fileutils

うーむ、知らない間にかなり中身が変わっている……。 しかもテストに通らない。extend かそれとも define_method が悪いのか。

原因判明。define_method の中で super するとスーパークラスの別のメソッドを呼べなくなる。 普通に def すると呼べるので、define_method がなんらかのきっかけになっているようだ。

module Super
  def test
    m()    # define_method を使っているとここで失敗する
  end
　
  def m
    puts 'OK'
  end
end
　
module M
  include Super
　
  #def test                  # こっちだとOK
  define_method(:test) do    # こっちだとNG
    super
  end
end
　
class C
  include M
end
　
C.new.test

とりあえず module_eval に戻しておくとしよう。

しかし、おれって凄い確率で Ruby の秘孔を突いてるような気がするなあ。 ここまで運がいいとちょっと考えてしまうね。

■ ARGF

あー、そういえば RHG 書いてる途中で ARGF が EOF に ならなくなるバグを見付けたんだった。条件を追ってみよう。

■ ToDo (2)

やっぱりまだあるじゃん……

• fileutils の umask の違いをどーにかする。[ruby-talk:00685]
• net/http の行く末を考える
• net/pop,smtp 大改修

改修と言えば setup.rb も酷いのでどうにかしたいな。 どう見ても継承使いすぎだ。

■ ゲーム開発

ファイナルファンタジーのシステムはシリーズごとに スクラッチから書き直してるそうですよ。

■ Solaris 萌え

かなり Solaris が欲しくなってきた。 もちろん Sparc 込みで。 Ultra1 なら 2 万もしないので余裕だ。

どうせなら Alpha にも Digital UNIX を入れたいな。 FreeBSD なら x86 でも動くじゃない。

■ setup.rb

うーむ、なぜか setup.rb に関する (ほとんど同じ) 要望が 3 つくらい同時に、しかし別々に届いているんですが……。 すげえ波があるな。

■ 寝た

一日寝てみた。

■ fileutils

ありゃ、[ruby-dev:19544] FileUtils.pwd に返事してなかったか。 でも今日は半年ぶりに遊びに行くのでまた後で返事しまーす。

■ コーヒー

煮たててしまった……しょんぼり。

■ 777

ぐおっ、/usr/lib/ruby/1.8 のパーミッションが 777 になってるー。 もしかしてこれが噂の ftools → fileutils の副作用かっ。 これはヤバいな。なんとかしよう。

あれ？ なんで instruby.rb で umask(0) してるんだろう。 うーむ。

とりあえず fileutils 側では mkdir にモードを渡せるようにすればいいだろうか。 うーん、こうなるとオプションにはハッシュを使ったほうがいいように思える。 まだ間に合うから今のうちに思い切って変えるべきか。

■ あ、

21 時間も寝てしまった……。後悔を通り越して驚愕してしまうね。

■ 反応その他もろもろ

メールの反応などなど各種遅れまくっております。すみません。 原稿書きは終わったんですが、個人的な事情でちょっと混乱してるもので、 全体的に処理が遅くなってます。

■ RHG 読書会

行ってきました。参加者の皆さん、御苦労様でした。 とても面白かったです。また次回も行きますよー。

しかし、自分の書いた本で読書会まで開かれてしまうというのは ちょっと想像してなかったですね。ははあ、そういうこともあるか、 と思うだけであんまり感動とかはしないんですが (嘘がつけないやつ)。

ただまあ、RHG の場合は元の ruby のパワーがかなり大きいですよね。 RHG はあくまで ruby を読むきっかけを作ること、読む敷居を下げることとの二点に 存在意義があるんであって、元の ruby がダメだったらたぶん全然売れないし 読まれないでしょう。そういう意味でも「やっぱり ruby はすごかった」 (みんな読みたがっていた) ということじゃないでしょうか。

あ、これは別に卑下してるわけでも謙遜してるわけでもありません。 敷居を下げるというのはまた別に重要なことですから、それはそれでいいんです。 特に間違いがいっぱいあるから叩きまくって考えるにはいい素材じゃないかな？ (汗)

■ RHG 読書会 (2)

あ、そうだ、読書会の内容はここ↓にあります。

http://rwiki.jin.gr.jp/cgi-bin/rw-cgi.rb?cmd=view;name=RHG%C6%C9%BD%F1%B2%F1%3A%3A%C5%EC%B5%FE2003%A1%C1

田中哲さんが今回分のメモを書いてくださったのでそこに少し足しました。

Ruby に関係ないものでは Haskell 関連が一番興味深かったです。 ML、Prolog ともども気になってるんですが、 何から手を付けたらいいのかよくわからない……。

■ 本

ちなみにこないだまで反応が遅かったのは本を書いてたからです。 もう書き終わったからいいと思うんで言っちゃうと、Java を使ったプログラミング入門本です。 題名は「Java入門本を買う前に読む本」とかなんとか、そんな感じだったかな。

いちおう Java 自体の解説もしてるんですが、本題はプログラミング全体の概説です。 たとえば「機械語ってのがあるんだ」とか「プログラム書いたらデバッグする」とか 「きれいなプログラムは大切だ」とか。でも秘かに第一部からテストファーストで コードを書いてたりするあたり、かなりイッちゃってます。

そういえば昨日は「最近は JSP でプログラム入門するらしい」 という話がありましたけど、マジなんですかね。ていうかそれでいいんですかね。 前提が増えるとバグが出たときに困らないかなあ？

■ referrer

「アスキー文字」＋「バレンタイン」って……何？

■ "History of Lisp"

反応が遅れます。

とか言いつつ Lisp の歴史に関する論文なんて読んでるし。 バカですかわたしは。

RHG 読書会で「Lisp には最初から GC があったわけじゃないだろう」という話が 出たので、それを調べようと思ったんですが、ちょと深入りしすぎました。 結論だけ言うと、アイデアはあったものの、Lisp 1 の実装には GC は 入っていなかったようです。

■ また一歩堕落した

あああ、欲望のままに Haskell の本を注文してしまった……。がくり。 ついでに有名な GC 本も頼んだ。てゆーかまだ買ってなかったのかおまえは！ (だって金がなかったんだもん)

■ (動) はすける

あーもう、なんで知らないうちに Haskell echo とか Haskell cat とか 書き始めてんだよっ！ つーか Haskell わかんねえ！ ぜんっぜんわかんねえ！ RWiki の RHG 読書会ページ経由で教えてもらった山下さんのページ↓を見ながら やってるんだけども、これは強烈にムズいわ。

• http://www.sampou.org/haskell/

んでもいきますよー。 とりあえず Hello, World! は基本ってことで。

module Main (main) where
　
main :: IO ()
main = putStrLn "Hello, World!"

次に Haskell echo。

module Main where
import System
　
main :: IO ()
main = do { args <- getArgs
	  ; mapM_ (\a -> putStrLn a) args }

このあたりで「args はいらないんじゃないかなー」と思い込んで 「<-」を消し、ハマる罠。getArgs が最初からリストを返すから、 それじゃだめなんですね……。ちなみに mapM_ の「M_」もまだ謎なんだけど。

んで三つめは Haskell cat。もう何がなんだかわからない。 屋下屋を架す、みたいな。元々ない知識を総動員してみました。

module Main where
　
import System
import IO
　
main :: IO ()
main = do
          args <- getArgs
          case args of
            [] -> catFile stdin
            args -> mapM_ (\a -> do
                                    f <- openFile a ReadMode
                                    catFile f
                                    hClose f) args
　
catFile :: Handle -> IO ()
catFile f = do
                eof <- hIsEOF f
                if eof then return () else
                   do
                      c <- hGetChar f
                      hPutChar stdout c
                      catFile f

特に catFile の型が何なのかさっぱりわからんかった。 省略すれば推測してくれるんだけど、なんか負けた気分になるし……。 しかしエラーメッセージが不親切でデバッグが非常にやりづらい。 Ruby みたくスタックトレースが出るのって楽だなあ、とつくづく思う。

あ、このへんで気付いたんだけど、Haskell って indent sensitive なのね。 インデント消すとエラーになる。しかもコーディングルールが謎。 特に else の位置がかなり気持ち悪い。 (ちなみに if よりネストを深くすれば次の行にも置けるようだ)

うーん、でもなんかわかってきたような気がする。 catFile ならファイルハンドルを無「()」のストリーム (IO) に変換するから 「IO ()」になるということだな。文字 (Char) のストリーム (IO) なら IO Char で、 行 (String) のストリーム (IO) なら IO String になるんだ。きっと。

■ だめっぽい

ぐあ…… Haskell cat、端末が stdin だと Ctrl-D が効かない。

% cat file | ./cat.hs

だと OK。

% ./cat.hs
aaaa
^D

だと NG。なんでだろう。

■ Haskell on RWiki

RWiki に適当に書いておいた Haskell の疑問に答えが！ どなたか存じませんがありがとうございます。

• http://rwiki.jin.gr.jp/cgi-bin/rw-cgi.rb?cmd=view;name=Haskell

リファレンスとかは揃ってるんですね。量は多いですが、 ここからたどれるものを読んでいけば一通り理解できそうです。

しかしモナドとかはやっぱりどうも……。 きっと、なんでそういうものが必要なのかわからないとダメなんでしょうね。 んで、そういうことがわかるにはプログラムを書かなきゃいけないと。

■ もうだめだ

ああああ、また 20 時間も寝てしまった。 どうしてこういうことになるんだ。 おれのバカバカバカ〜。

■ 有名な GC 本

そうです、Amazon で一番上に来るやつです。

"Garbage Collection: Algorithms for Automatic Dynamic Memory Management" Richard Jones / Rafael Lins, John Wiley & Sons, 1996

ちなみに Haskell のほうは 「やさしい Haskell 入門」 のお勧めにあった "Introduction to Functional Programming using Haskell" を 買ってみました。

■ Haskell head

http://i.loveruby.net/ja/haskell/head.hs

module Main where
　
import System
import IO
　
main :: IO ()
main = do
          args <- getArgs
          case args of
            [] -> headFile stdin 10
            args -> mapM_ (\a -> do
                                    f <- openFile a ReadMode
                                    headFile f 10
                                    hClose f) args
　
headFile :: Handle -> Integer -> IO ()
headFile f n = if n == 0 then return () else
                   do
                     eof <- hIsEOF f
                     if eof then return () else
                        do
                            line <- hGetLine f
                            putStrLn line
                            headFile f (n-1)

cat を応用すればすぐだろうと思ったら 2 引数関数ではまる罠。 自動的にカリー化 (※) されるなんて、そりゃー予測できないよ……。

※ 関数が複数の引数を持つとき、それを一引数の関数のネストに分解すること。

(lambda (a b)
    ....)
     ↓
(lambda (a)
  (lambda (b)
    ....)

という感じ。

しかもまたもや eof <- hIsEOF を消そうとしてはまるバカ……。 だってさー、いかにも

eof <- hIsEOF f
if eof then ....
　
       ↓
　
if hIsEOF f then ....

ってできそうじゃない？！ できると思うでしょ？！ でもできないんだよなー。

■ UNIX コマンドシリーズ

なんでいきなり UNIX コマンドかというと、 自分で実際に使えるものが一番インセンティブが働くからです。 つまらん計算したって全然面白くないっす！

そういうわけでとりあえずの目標を rd2html のサブセットと決めました。

■ Monad

うーん、8 時間悩んだあげく Monad はなんとなくわかってきた。 ようするに「次の世界ジェネレータ」みたいなもんか。 Y コンビネータをやっておいたのがよかったな。 あれの連想でなんとなくわかる。 あっちは関数を連続生成してたのに対して、 こっちはプログラム実行環境を連続生成してるわけだ。

ただ、現実的にそれを外す方法がわかんないんだよー！ IO から読むと全部「IO x」の型になってるから、 普通の関数が全く適用できない。なんとか IO を外したいんだけどなあ。

■ 半死

ああ、もうだめだ。とりあえず fileutils に移ろうっと。

……ぐおおっ、楽！ 楽すぎ！ きゃー！

■ Monad

あれ？ いや待てよー。これはもしかして……むむむむ？

ていうか「もうやめる」と言ったような気がするんだが。

12 時間経過して脳がスパークしてきた。

■ Monad (3)

ん？ return すればいいのか？ あー違う。これは a -> m a だから反対だ。

sequence？

だめだ。わからん。まぢでわかんない。

■ Haskell tail

ででででで、できたーーー！ 12 時間もかかってしまった……。

http://i.loveruby.net/ja/haskell/tail.hs

module Main where
　
import System
import IO
　
main :: IO ()
main =
    do args <- getArgs
       case args of
         []   -> doTailFile stdin
         args -> mapM_ (\a -> do f <- openFile a ReadMode
                                 doTailFile f
                                 hClose f) args
　
doTailFile :: Handle -> IO ()
doTailFile f =
    do all <- hGetContents f
       rows <- return (lines all)
       mapM_ (\line -> putStrLn line) (tailFile rows (replicate 10 ""))
　
tailFile :: [String] -> [String] -> [String]
tailFile []     buf = buf
tailFile (x:xs) buf = tailFile xs (concat [(tail buf),[x]])

10 行以下のファイルを tail すると空行で埋められちゃうんだけど、 そこは勘弁してくだせい。あいかわらず端末が stdin だとうまく動かない。

さ、これでスッキリしたから朝ごはん食べて、 今度こそ fileutils と setup.rb をいじるかな。

■ あさごはん？

14 時だけどね。

■ Haskell 補足

あ、ちなみにさっきの「IO が付くからどーたらこーたら」ってのは 勘違いですね。do と <- を使って束縛すればあとは普通に処理できるみたい。

■ アレ

アレ→ λ

ですけど。「ミギーに似てる」っていうのは有名な話なんですか？

■ Haskell head

http://www.rubycolor.org/maki/d/200302b.html#19_t1

あ、高橋さん版の head が。 Haskell の遅延評価ってカッコいいですよね。 hGetContents とかも、ファイルの中身を全部読んでいるように見せかけて、 実はアクセスしたときに初めて読んでくれるという……。 mmap とちょっと似てるかな。

■ Haskell tail

あ、コンパイルしたら端末からの入力でも動きました。 ということは runhugs が原因なのか。なんでだろうなあ。 もしかして raw モードになってるとかそういう話か？ (それはそれで嫌だな)

■ unsafePerformIO

うっ……なんか名前からしてヤヴァそうな…… ^^;;;

そういえば Gentle ... にもちょこっとだけ 存在がほのめかしてありましたね。 デバッグ用として、ルール外で IO する裏技が。

■ Haskell tail (2)

をを！ 山下さん版 tail カコイイ！ コードのコア部分はこんなかんじ。

doTail :: IO String -> IO ()
doTail ios
 = do { cs <- ios
      ; putStr $ unlines $ reverse $ take 10 $ reverse $ lines cs
      }

文法まわりは設定次第で他にもいろいろ書きかたがあるらしい。

うーむ、慣れるとずいぶんきれいに書けるんだなあ。 というより今回はアルゴリズムの発想が悪かったか。 全部オンメモリにしない点に無駄にこだわりすぎた。

ちなみに

... $ take 10 $ ...

というふうに関数を 1 引数分だけ適用できるとこもなかなか凄い。 第 2 引数だけ後から与えて返り値を取れる。

■ 新刊

おっ、出ましたかー（ツッコミで初めて知るやつ）。意外に高いなあ。入門Javaよりも高いけど、いいのだろうか？

■ とあること

わかってはいたことだけど、確定してみると結構ショックなのだった。 一度に一つのことしかできない性格が仇になったか。

■ 初 Amazon

Amazon に頼んでいた "Garbage Collection" と "Introduction to Functional Programming using Haskell" 2nd が届いた。 意外と早かった。

GC 本ファーストインプレッション。表紙が厚い (なんじゃそりゃ)。 ぐおっ、LISP 2 の GC とか出てるー。

Haskell 本ファーストインプレッション。 …… non-strict 恐るべし。

テキストとかリスト処理の実例がたくさん出てるのはいいなあ。 数学の定理とかの学問ちっくなところを適当にすっとばせば 即物的に役に立ってくれそうだ。

■ regexp

れぐえくすぷ。

■ regex

れぐえくす。

■ re

り。

■ C/C++ と C#

『バカが征く』の IDC の調査の話ですけど。

「C# の順位があまりに低かったが、 下のほうに出てると体裁が悪いので C/C++ と一緒にして 1 位にしてみた」 ということじゃないでしょうか。

まあ、C# はちゃんと処理系が出てからたいして時間たってないんだから 順位が低いのは当然だと思うんですけどね。 処理系がまともかどうかもわからないのに普及してたらそっちのほうが恐いわ。

■ hackingguide.org

秘かに hackingguide.org をわたしが所有していることを知る人は 誰もいないとまでは言えないがあまりいないことは確実となった情勢です。

hackingguide.com を取られていることをついこの前知って、 あせって取得したんですけどね。そんなわけで、使ってはいません。

■ setup.rb: 依存関係の処理

setup.rb のパッケージのインストール順序を指定できるようにした…… まではよかったが、それだけでは意味がないことに気付いてしまった。

そもそも順序を指定したいというのは「ライブラリ A と B を一緒に パッケージングする、ただし B は A に依存している」という状況を 解決するためなんだけども、この場合、ライブラリ A をちゃんと最後 までインストールしないと B の config を始められないわけだ。 でも今の setup.rb ってのは

1. A の config
2. B の config
3. A の setup
4. B の setup
5. A の install
6. B の install

という順序で進むので、どうやっても B の config が失敗する。 依存関係のあるライブラリをインストールできるようにするには

1. A の config
2. A の setup
3. A の install
4. B の config
5. B の setup
6. B の install

としないといけないのだが、これだと setup.rb の使いかたが完璧に 変わってしまう。config のパラメータをとっておいて B は後から config する、 などの方法もあるけども、4. の config が非同期で失敗する可能性があるので 嬉しくない。

ということは、config setup install の三段構えをやめるしかないか……。 うう、root で make するのは嫌いなのになあ。

■ setup.rb

あまりに変更がでかいし、いったんパッチレベルだけ上げるか……。