Haskellの駄目な使い方

駄目日記/2006年04月19日/世界一やさしいモナド解説を読んで

2007-07-08T06:23:10+09:00

#blognavi すごい放置してたのにいきなり更新。 http://d.hatena.ne.jp/m-hiyama/20060419/1145432492 ↑ここのおかげでもやもやしたままなんとなくMonad使ってきたけど、かなり頭が整理できました。モナド三点セット(M, ext, unit)はHaskellでは M :各モナド型 (IO とか Maybeとか) unit : は return ext : は liftM (←まちがい。[[訂正記事>http://www3.atwiki.jp/nanakoso/pages/13.html]]）一番多用する(m >>= f)は (liftM f) $ m　 ext,liftM　になんで関数適用($)をくっ付けて使うのかはプログラミング言語としての使い勝手の問題かな？追記：上記の　liftM は間違い。[[訂正記事>http://www3.atwiki.jp/nanakoso/pages/13.html]] #right{ カテゴリ: [[[プログラミング>駄目日記/カテゴリ/プログラミング]]] - &trackback() - 2006年04月19日 18:50:33 } - LOiklxvZnTAFz -- adult comics (2007-07-08 06:23:10) #comment(nostyle,nsize8,size30) #blognavi

駄目日記/2006年05月29日/今回はHaskellともKISSとも関係ないmixiについて。

2007-06-28T13:21:20+09:00

#blognavi http://d.hatena.ne.jp/another/20060528/1148822562 を読んでチョット思うところあったので。 mixi（さらにいえばSNS全般について）＜強調＞複数アカウントを禁止するのであれば＜／強調＞マイミクとコミュニティのクラスタリングをサポートしてほしい。（ひょっとして他のSNSに似たようなのがあったりして）たとえば、実際おいらのmixiはエロ同人つながりのマイミクがたくさんいるけどそのおかげで数学、プログラミング関係の込みユニティに入るのは躊躇しちゃうんだよね。自分も恥ずかしいし実際に嫌がるひともいそうだし。（エロマンガ家のマイミクの人で実際はじかれたりしている人もいるし。コミュじゃなくて個人にだけど）そんなわけで、クラスタは個人ごとに自由に作成、設定、できるようにして、エロ同人クラスタつながりで見に来た人にはエロクラスタつながりしか見えないしプログラミングクラスタつながりで来た人にはそのクラスタしか見せない。両方にマイミク（コミュ）をもっている人だけその人の全貌が見える。みたいなのがほしい。リアルライフを振り返ってみても、『知り合った以上はすべての人間関係を晒さなければならない』というのはちょっと要求が高すぎる。仕事関係と趣味の関係で２つ以上の顔を使い分けている人はきっと沢山いるわけで複数アカウントを認めない限りは需要はあると思う。つらつらとここまで書いてみて思ったけど、特定アカウントの個人を弾く機能が実際ある以上、この手の機能をサポートしないのは倫理的な片手落ちじゃないかとすら思えてきたぞ。（mixiの機能一覧をよくしらべないでここまで書いたけど有料オプションとかにすでにあったらどうしよう？）ていうか全部mixiで遣る必要もないんじゃね？っていわれるとそのとおりですとしかいえないけど。追記、よく考えたら自分の書く日記やプロフィールも全部クラスタ指定できないと意味がないと気がついた。ていうか、メンドクサス。複数アカウント使いわけるのと変わらんわ！追記２ http://ised.glocom.jp/ised/07030514#p2 あるところにはすでにあるようです。また先進的なブログサービスとしては、「DI:DO」があります*9。（中略）さらに閲覧者をグループ分けすることもできる。たとえば会社の同僚と高校時代の同級生といった具合ですね。 #right{ カテゴリ: [[[雑記>駄目日記/カテゴリ/雑記]]] - &trackback() - 2006年05月29日 11:15:27 } #comment(nostyle,nsize8,size30) #blognavi

駄目日記/2005年06月05日/いつのまに

2007-03-02T13:55:55+09:00

#blognavi うお、こんな時間かかてしまった。でもなんとなくわかってきたぞ。 #right{ カテゴリ: [[[その他>駄目日記/カテゴリ/その他]]] - &trackback() - 2005年06月05日 04:37:27 } - コメントもテスト -- 自作自演 (2005-06-05 04:58:31) #blognavi

文字列処言語間理比較表

2006-10-29T01:37:35+09:00

ここ→配列操作の比較表に触発されて、Rubyの文字列メソッドの対応物をJavaとHaskellで探してみました。

Javaの文字列処理がそれほど高機能じゃないのはある程度想定内だったけど、Haskellもなかなか１対１の対応物がない。
lines,unlinesとか逆にあまったけど。

そもそもHaskellのソレって文字列処理用っていうよりほとんど汎用リスト操作関数なわけで。

Haskellって
「汎用性の高い関数を用意したから自由に組み合わせて使ってね」
って思想だと思うわけで。
カリー化された関数の強力な応用力とあいまってこれはこれで一つの便利さの方向性だとはおもう。

ただこれの欠点は
「もっとエレガントで短い書き方があるんじゃないか？」
って不安がいつまでも付きまとう事。
（しかもタチの悪い事にパズルみたいで楽しすぎる！）
自分の修行が足りなくてイディオムを知らないせいもあるけどね。
（これ調べてるうちに、HaskellでLhaにもいろいろ直したいところが！）

Javaのパッケージ名やHaskellのモジュール名を明示するため、必要なものは完全名で書きました。
（実際ほとんどの場合ソースの頭でimport文を使って短くかけるようにします。）

Ruby (String)	Java	Haskell
s = "abc"	String s = "abc"	s = "abc"
s = x + y	s = x + y	s = x ++ y
s == x	s.equals(x)	s == x
s % [x, y] sprintf(s, x, y)	String.format(s, x, y)//J2SE5.0より	Text.Printf.printf　s　x y
[x, y, z].join(s)		foldr1 (￥a b->a ++ s ++ b) [x,y,z]
s.capitalize
s.capitalize!
`s.casecmp(x)`	// s.equalsIgnoreCase(x) // ってのがあるけど同値判定だけだし、、
s.center(x)
s.chomp
s.chomp!
s.chop		init s
s.chop!
s.clear	// sbはStringBuffer型 sb.setLength(0);
s.concat(x)	// sbはStringBuffer型 sb.append(x);
s.count(x)		length filter (flip elem x) s
s.crypt(x)
s.delete(x)		filter (flip notElem x) s
s.delete!(x)
s.downcase	s.toLowerCase()	map Data.Char.toLower s
s.downcase!
s.each_byte {\|x\| ... }	for(int i=0; i < s.length(); i++){ char x = s.charAt(i); ... }	mapM_ (￥x->...) s -- 副作用を含む処理を順次起動するって意味では mapM_で正解だけど、...のところはモナドじゃないといけない。実際そこまでは要らなくて集計値とか計算結果のリストが欲しいだけで foldシリーズやただのmapで十分ってことも多いと思われる。
s.each_byte {\|x\| ... }	//J2SE5.0より for(char x:s.toCharArray()){ ... }
s.each_line {\|x\| ... }	String[] xs = s.split("￥n",-1); for(int i=0 ; i < xs.length; i++){ String x = xs[i]; ... }	mapM_ (￥x->...) $ lines s
s.each_line {\|x\| ... }	//J2SE5.0より for(String x:s.split("￥n",-1)){ ... }	mapM_ (￥x->...) $ lines s
s.empty?	s.length() == 0	null s
s.end_with?(x)	s.endsWith(x)	Data.List.isSuffixOf x s
s.gsub(x, y)	s.replaceAll(x, y)
s.gsub!(x, y)
s.hex s.to_i(16)	Integer.parseInt(s,16)
s.include?(x)	s.indexOf(x) >= 0
s.index(x)	s.indexOf(x)
s.insert(i, x)	// sbはStringBuffer型 sb.insert(i,x);
s.length s.size	s.length()	length s
s.ljust(x)
s.lstrip		dropWhile Data.Char.isSpace s
s.lstrip!
s.match(x)	s.matches(x)
x.match(s)	java.util.regex.Pattern.matches(x, s)
s.next s.succ
s.next! s.succ!
s.oct s.to_i(8)	Integer.parseInt(s,8)
s.partition(x)		Data.List.partition x s
s.replace(x)
s.reverse		reverse s
s.reverse!	// sbはStringBuffer型 sb.reverse();
s.rindex(x)	s.lastIndexOf(x)
s.rjust(x)
s.rpartition(x)
s.rstrip
s.rstrip!
s.scan(x) { ... }	TODO
s[i] s.slice(i)	s.charAt(i)	s !! i
s[i..-1] s.slice(i..-1)	s.substring(i)	drop i s
s[i, l] s.slice(i, l)	s.substring(i,i+l)	take l $ drop i s
s[i..j] s.slice(i..j)	s.substring(i,j+1)	take (l-i+1) $ drop i s
s[i...j] s.slice(i...j)	s.substring(i,j)	take (l-i) $ drop i s
s.split(x)	s.split(x)
s.start_with?(x)*4	s.startsWith(x)	Data.List.isPrefixOf x s
s.strip	s.trim()
s.strip!
s.sub(x, y)
s.sub!(x, y)
s.swapcase
s.to_f	Float.parseFloat(s)	read s --この式が使用される場所の型によって適宜、変換関数の実装が（コンパイル時に）選択される（多相型）
s.to_i	Integer.parseInt(s)	read s --同上
s.tr!(x, y)
s.tr_s!(x, y)
s.unpack(x)
s.upcase	s.toUpperCase()	map Data.Char.toUpper s
s.upcase!
Regexp.escape(s) Regexp.quote(s)

メニュー

2006-10-29T00:42:14+09:00

メニュー -[[トップページ]] -[[メニュー]] -[[HaskellでLha]] -[[文字列処言語間理比較表]] -[[駄目日記]] **更新履歴 #recent(10)

駄目日記/カテゴリ/雑記

2006-05-29T11:15:57+09:00

-(2006年05月29日) [[今回はHaskellともKISSとも関係ないmixiについて。>駄目日記/2006年05月29日/今回はHaskellともKISSとも関係ないmixiについて。]]

駄目日記/2006年05月29日

2006-05-29T11:15:57+09:00

-[[駄目日記/2006年05月29日/今回はHaskellともKISSとも関係ないmixiについて。]] #blognavi

駄目日記/2006年04月26日/Parsecを使ってみる。

2006-04-26T17:53:50+09:00

#blognavi このサイトでは最終的にHaskellで[[KISSローダー>http://www.kiss-wkp.com/]]を作るという野望があるわけで。今回は、コンフィグファイルの読み込みで使うであろう、Parsecに手を付けてみました。 [[Parsecのサイト>http://www.cs.uu.nl/~daan/parsec.html]] Parsecを使えば簡単にLL(n)文法のテキストファイルを簡単に読み込めるようになるらしいです。（理論的なことはよくわかってない）自分は、上記のサイトのparsec-2.0.zip をダウンロードしてきたあと、Hugsの作業フォルダにTextフォルダ以下を展開しました。こうすればとりあえずは使えるようになります。（詳しくはHugsやGHCのマニュアルを読んでください） -Parsecの特徴 Yacc+LexやJavaCCが「文法ファイルからプログラムソースを自動生成するツール」なのに対し、Parsecは「ただのHaskellのライブラリ」です。本体の言語のほかに「文法ファイルの文法」を覚える必要がありません。 -とりあえず試してみる module Main where import Text.ParserCombinators.Parsec paren :: Parser Char paren = (char '{') >> (char '}') こんだけ。見れば分かるとおりモナドです。まず文字列の頭から'{'かどうかチェックして次に'}'かどうかチェックしてます。 Main> parseTest paren "{}" ← parseTestはParsecの関数 '}' ← 成功したのか？ Main> parseTest paren "{x}" ← わざと間違ってみる。 parse error at (line 1, column 2): ← それっぽいエラーが。 unexpected "x" expecting "}" どうやらうまくいってる様子。パース成功したときに'}'とでているのは後述。もちろんモナドだからdo構文だって使えます。 paren2 = do char '{' char '}' 繰り返しはこう starplus = do many (char '*') many1 (char '+') これで、「'*'の０回以上の繰り返しのあとに'+'の１回以上の繰り返し。」になります。正規表現の(a|b)『aまたはb』は<|>という新しい演算子を使います。 starplus2 = many1 (char '*' <|> char '+') これで「'*'か'+'の１回以上の繰り返し」になります。正規表現の[ab]のようなもの。引数の文字列のいずれか１文字とマッチします。 starplus3 = many1 (oneOf "*+") ちょっと試してみる。 Main> parseTest starplus2 "+*+" "+*+" Main> parseTest starplus2 "+*+@" ←ためしに駄目っぽい入力を "+*+" ←成功してしまった Main> parseTest starplus2 "@ " ←やっと失敗した parse error at (line 1, column 1): unexpected "@" expecting "*" or "+" 途中までパースに成功していればエラーにならないようです。最後まできっちりチェックしたければこうするっぽい。 starplus4 = do many1 (char '*' <|> char '+') eof --正規表現の$に相当する関数。最後にのみマッチ１文字づつチェックは面倒ですから文字列でまとめてチェックする(string)という組み込みパーサーも使ってみます。 dame = string "abc" <|> char '+' Main> :l sample.hs ERROR "sample.hs":23 - Type error in application *** Expression : string "abc" <|> char '+' *** Term : string "abc" *** Type : GenParser Char b String *** Does not match : GenParser Char a Char 型不整合になってしまいました。実は、Parsecのパーサーもただの(Parserモナドの)関数ですから、返り値をもっていて(<|>)を使うときは左右それぞれ型が合っていなければならないようです。つまり(string "abc")は成功したときは(Parser String)という型の値を返しますが、char '+'の返り値は(Parser Char)だから駄目ということ。（エラーメッセージと少しちがいますがだいたいそんな感じ。）とりあえずこうしてみた。 (（>>)より(<|>)のほうが結合の優先順位がたかいので注意。） abcplus :: Parser String abcplus = string "abc" <|> (char '+' >> return "+") abcplus2 :: Parser String abcplus2 = --これでもOK string "abc" <|> ( do char '+' return "+" ) abcplus3 :: Parser () abcplus3 = --どっちも返り値なしで合わせてみたパターン (string "abc" >> return ()) <|> (char '+' >> return () ) 見れば分かるとおり、Parserモナドのreturn関数はチェックをまったくせずに任意のParser型の返り値を作れます。（>>）や（>>=）で結合した場合はもちろん最後の値が有効になりますから『(char '{') >> (char '}')』の結果が成功したときには'}'が表示されていたわけです。ちなみにmanyやmany1は繰り返しの結果をリストにして返します。いままで(char x)をmanyに適用させていたのでうまいぐあいに(Parser [Char])つまりは(Parser String)が帰ってきていたわけでした。あと、気をつけなければならないのは(<|>)は最初の（左側の）関数を試したあとで『そのままでは後戻りしない』らしいこと↓。 (以下[[邦訳ドキュメント>http://www.lab2.kuis.kyoto-u.ac.jp/~hanatani/tmp/Parsec.html]]の受け売り。) testOr = string "(a)" <|> string "(b)" これを parserTest testOr "(b)" でためしてみるとパースに失敗してしまいます。 Main> parserTest testOr "(b)" ERROR - Undefined variable "parserTest" Main> parseTest testOr "(b)" parse error at (line 1, column 1): unexpected "b" expecting "(a)" これは<|>の最初の関数でひとたび２文字以上先に進んでしまうと二度と後戻りしないからのようです。これには２通り解決方法があります。最初は(try)という関数を使う方法。 testOr2 = try( string "(a)" ) <|> string "(b)" 基本的にtryの中にはいくらでも複雑なパーサーが入れられるようですがそれだけ後戻り用メモリや処理時間のペナルティも大きくなります。二番目の方法は、実現したい文法によっては難しいこともあるかも。 testOr3 = do char '(' (string "a" <|> string "b") char ')' ここがParsecと正規表現の違う点だと思いました。なるべくtryを使わないように、また使うとすればなるべく範囲を狭くするようにするのが高速化のコツでしょうか。最後に返り値を使った例を。 pair :: Parser (String,String) pair = do char '{' a <- many1 (noneOf ",}") -- noneOf x はx以外のものとマッチ char ',' b <- many1 (noneOf ",}") char '}' return (a,b) pairs :: Parser [(String,String)] pairs = many1 pair {a,b}を入力すると ("a","b")というタプルを返します。 Main> parseTest pair "{,}" ←わざとエラーに parse error at (line 1, column 2): unexpected "," Main> parseTest pair "{a,b}" ←成功！ ("a","b") Main> parseTest pairs "{a,b}{c,d}{xxx,yyy}" ←こっちも試す [("a","b"),("c","d"),("xxx","yyy")] 複雑なdata型なども作れそうです。以上でParsecの基本は一通りみたでしょうか。正規表現でできるようなことはだいたいできるようになりました。しかし、これだけで実用的なパーサーを１から作るのは結構大変です。正規表現よりタイプ量がものすごく多くなりますし。コンパイルと型チェックできるだけでもそれなりに自分にはありがたいのですけどね。（他の言語で正規表現は単なる文字列値として扱われて実行時まで記述ミスがわからないことも多い）実際にParsecを使ってパーサーを書くときには、char や string といった低レベルな関数ばかりでなく、空白やコメントを読み飛ばしながらリテラルや予約語をとりだせるような、もうすこし高機能な関数を使用することになります。 (↓下記ドキュメントにも解説が載っています）だたし、こういった高機能な関数はコメントの定義(/* */,--など)や、識別子や演算子に使える文字の種類など設定項目が結構あります。この辺の使い方も気が向いたら書こうかと思います。今回のエントリに関しては下記のParsecの和訳ドキュメントに大いにお世話になりました。 http://www.lab2.kuis.kyoto-u.ac.jp/~hanatani/tmp/Parsec.html あと、ここもリンク集と使用レポートおせわになりました。 http://221.112.61.214/~kzk/column/haskell_parsec.html #right{ カテゴリ: [[[プログラミング>駄目日記/カテゴリ/プログラミング]]] - &trackback() - 2006年04月26日 17:53:13 } #comment(nostyle,nsize8,size30) #blognavi

駄目日記/2006年04月26日

2006-04-26T17:53:50+09:00

-[[駄目日記/2006年04月26日/Parsecを使ってみる。]] #blognavi

駄目日記/2006年04月21日/Haskellの(>>=)の正体

2006-04-21T15:24:06+09:00

#blognavi ここ数日のモナドのどたばたで得た結論めいたものをちょっとまとめておきます。 -Haskellの演算子(>>=)は、実質的には圏論のモナド(M, ext, unit)の ext(拡張)そのものである。 -ただし、２項演算子として使いやすいようにextの第一引数と第二引数を入れ替えてある。つまり ext = (flip (>>=)) = (=<<) --flip f a b = f b a なわけでした。当初 m >>= f = (ext f) $ m と捉えていたせいで「ext になぜ関数適用($)がくっついているんだろう。」と疑問でしたが, (>>=) m f = ext f m と書けば、単に引数が逆なだけだったのでした。以下ちょっと蛇足？ f3( f2( f1 ) ) という式があってこれをモナドで拡張すると、 (ext f3') ( (ext f2') ( f1' ) ) --ただしf1'はf1のモナド版参照：[[世界で一番やさしい「モナド入門」>http://d.hatena.ne.jp/m-hiyama/20060419/1145432492]] これをHaskellの中置演算子記法で変形すると f3' `ext` f2' `ext` f1' と右→左の順番になります。もとのf3( f2( f1 ) )をあらわす関数結合が f3.f2.f1ですから当然なのかも知れませんが。ただ、Haskellを作った人はたぶん「これはちょっと不便だ」と考えて、原義の ext の引数の順序を入れ替えて(>>=)を作ったのでしょう。 f1' >>= f2' >>= f3' そのお陰でいま私たちはIO処理を普段文章を読むのと同じ順序・方向で書けるわけなのでした。 (すでに檜山さんのところのコメント欄や酒井さんやブクマなどで散々指摘されてきた内容が私の脳にしみこむのにここまでかかってしまいました。) #right{ カテゴリ: [[[プログラミング>駄目日記/カテゴリ/プログラミング]]] - &trackback() - 2006年04月21日 15:00:13 } #comment(nostyle,nsize8,size30) #blognavi