文字列処言語間理比較表

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 駄目日記/2006年05月29日 2006-05-29T11:15:57+09:00 -[[駄目日記/2006年05月29日/今回はHaskellともKISSとも関係ないmixiについて。]] #blognavi 駄目日記/カテゴリ/雑記 2006-05-29T11:15:57+09:00 -(2006年05月29日) [[今回はHaskellともKISSとも関係ないmixiについて。>駄目日記/2006年05月29日/今回はHaskellともKISSとも関係ないmixiについて。]] 駄目日記/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/070 駄目日記/2006年04月26日 2006-04-26T17:53:50+09:00 -[[駄目日記/2006年04月26日/Parsecを使ってみる。]] #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構文だって使えます。駄目日記/2006年04月21日 2006-04-21T15:01:11+09:00 -[[駄目日記/2006年04月21日/Haskellの(>>=)の正体]] #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, 駄目日記/2006年04月20日/決定版：モナド３点セット(M,ext,unit)に対応するHaskell関数 2006-04-20T21:29:21+09:00 #blognavi （副題・ラムダの森の青い鳥）前回の[[エントリ>http://www3.atwiki.jp/nanakoso/pages/13.html]]で檜山さんの[[「世界一やさしいモナド入門」>http://d.hatena.ne.jp/m-hiyama/20060419/1145432492]]と[[フォロー>http://d.hatena.ne.jp/m-hiyama/20060420/1145496419]]の、「モナドを構成する三つ組のうちの一つ (ext) に直接対応するHaskell関数が見つからない」と書いたトコロ、はてなブックマークで「(=<<)なんじゃない？」という指摘を受けました。ご存知のとおり（あるいは字面からのご想像のとおり）本来この関数の使い道は getLine >>= putStrLn と書くところで左右逆に putStrLn =<< getLine と書けるようにしただけのもので、今まで「ごくまれに便利かも知れないユーティリティ関数」程度の認識でした。しかしこの演算子の型は当然、 (>>=) :: M a -> (a -> Mb) -> M b の第１引数と第２引数を入れ替えた (=<<) :: (a -> Mb) -> M a -> M b なわけでさらに、略された右結合の括弧を書き加えると (=<<) :: (a -> M b) -> (M a -> M b) これは求めるext関数の型です。外面だけでなく、今度は関数の意味するところを考えてみます。 (=<<)は本来２項演算子ですがHaskellですからもちろんカリー化されているわけで、第一引数にfを代入した状態(f=<<)の意味を考えてみると、「モナドを受け取ってfを適用してモナドを返す関数(M a -> M b)」まさにfをextで拡張した関数となっています。あとは実験あるのみ。 bb.hs module Main where import Monad -- (>>=) を(=<<)で作ってみる。 -- m >>= f = (ext f) $ m のextに(=<<)を入れればよい。駄目日記/2006年04月20日 2006-04-20T12:21:43+09:00 -[[駄目日記/2006年04月20日/決定版：モナド３点セット(M,ext,unit)に対応するHaskell関数]] -[[駄目日記/2006年04月20日/モナド３点セット(M,ext,unit)のHaskell対応の訂正]] #blognavi

Ruby (String)

Java

Haskell

s = "abc"

String s = "abc"

s = "abc"

s = x + y

s = x

駄目日記/2006年05月29日

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

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

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

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

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

駄目日記/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/070

駄目日記/2006年04月26日

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

-[[駄目日記/2006年04月26日/Parsecを使ってみる。]] #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構文だって使えます。

駄目日記/2006年04月21日

2006-04-21T15:01:11+09:00

-[[駄目日記/2006年04月21日/Haskellの(>>=)の正体]] #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,

駄目日記/2006年04月20日/決定版：モナド３点セット(M,ext,unit)に対応するHaskell関数

2006-04-20T21:29:21+09:00

#blognavi （副題・ラムダの森の青い鳥）前回の[[エントリ>http://www3.atwiki.jp/nanakoso/pages/13.html]]で檜山さんの[[「世界一やさしいモナド入門」>http://d.hatena.ne.jp/m-hiyama/20060419/1145432492]]と[[フォロー>http://d.hatena.ne.jp/m-hiyama/20060420/1145496419]]の、「モナドを構成する三つ組のうちの一つ (ext) に直接対応するHaskell関数が見つからない」と書いたトコロ、はてなブックマークで「(=<<)なんじゃない？」という指摘を受けました。ご存知のとおり（あるいは字面からのご想像のとおり）本来この関数の使い道は getLine >>= putStrLn と書くところで左右逆に putStrLn =<< getLine と書けるようにしただけのもので、今まで「ごくまれに便利かも知れないユーティリティ関数」程度の認識でした。しかしこの演算子の型は当然、 (>>=) :: M a -> (a -> Mb) -> M b の第１引数と第２引数を入れ替えた (=<<) :: (a -> Mb) -> M a -> M b なわけでさらに、略された右結合の括弧を書き加えると (=<<) :: (a -> M b) -> (M a -> M b) これは求めるext関数の型です。外面だけでなく、今度は関数の意味するところを考えてみます。 (=<<)は本来２項演算子ですがHaskellですからもちろんカリー化されているわけで、第一引数にfを代入した状態(f=<<)の意味を考えてみると、「モナドを受け取ってfを適用してモナドを返す関数(M a -> M b)」まさにfをextで拡張した関数となっています。あとは実験あるのみ。 bb.hs module Main where import Monad -- (>>=) を(=<<)で作ってみる。 -- m >>= f = (ext f) $ m のextに(=<<)を入れればよい。

駄目日記/2006年04月20日

2006-04-20T12:21:43+09:00

-[[駄目日記/2006年04月20日/決定版：モナド３点セット(M,ext,unit)に対応するHaskell関数]] -[[駄目日記/2006年04月20日/モナド３点セット(M,ext,unit)のHaskell対応の訂正]] #blognavi

Haskellの駄目な使い方