星野正利のHaskell日記

■ P.58 型変数(type variable)

同じ型であること示すために、同じ変数名を使う。

例：

reverse :: [a] -> [a]

など。

■ P.60 関数の型宣言

大抵は型宣言を省略してもコンパイルできる。

但し、ソースを読む時の為に（人間の為に）、きちんと宣言すべき。

■ P.62 高階関数

関数を引数にとる関数。

これが、関数型言語の肝？

■ P.63 map関数

java.util.Map とは大違い。

forループを使って、変換処理を行うのに対応？

■ P.65 if式

if文に非ず。三項演算子の方が近い。

■ P.66 二項演算子

二項演算子も関数。

型宣言では、関数名をカッコで囲んで、２項演算子であることを表す。

■ P.69 concat関数

リストの次元を一つ落とす。

２次元から１次元、３次元から２次元。

■ P.56 型推論(type inference)

スゴイ。

型を指定しなくても、コンパイラが型をチェック出来るだなんて。

「変数・引数・戻り値を、具体的なクラスよりも、interface にするように」

って、わざわざ気をつけなくても、

自動的に、型に（必要以上に）縛られないプログラムを書けてしまう？

■ P.57 現時点のGHCでは、エンコーディング変換が未実装

そうか、文字数カウントのはずのプログラムで、

バイト数カウントができてしまったのは、これのせいか。

Javaでエンコーディング変換用のフィルタを作って、GHCに被せる事は出来ないかな？

runghc(インタプリタ)ならば、パイプでフィルタを経由するようにしたコマンドを、

エイリアスにしてしまえば、違和感なく使えそうな気がする。

ghc(コンパイラ)では、exeファイルへの入出力にパイプをかませる必要があるので、

エイリアスで楽するのは無理だけど。

■ 独書会開幕

関数型言語を覚えたい。ということで、

ここに「ふつうのHaskellプログラミング ふつうのプログラマのための関数型言語入門」独り読書会の開幕を宣言します。

■ 会員宣誓

宣誓、我々独書会会員一同は、プログラマーシップに乗っ取り、Haskellerとなるべく努力することを誓います。

但し、途中で飽きたり、気力が尽きたり、他のことに興味が向いたり、その他諸々の事情があった時は、その限りでありません。

■ P.5 高階関数

高階関数＝引数 or 戻り値が関数の関数

Javaでも高階関数的なメソッドがあるような気が。

sortメソッド(java.util.Arrays#sort, java.util.Collections#sort)は、

引数に java.util.Comparator の各種実装クラスを渡すことで、ソート順を変えることができる。

これは、”ソート順を決定するための関数を、sort関数に渡している。”と言うこともできる気がする。

これって、高階関数の考え方を、デザインパターンとして取り込んでいるってことかな？

■ P.7 代入がない

すばらしい。

変数にfinalを付けまくった僕としては、熱烈歓迎です。

コードが長ったらしくなるので、今ではfinalを付けるのは、

バグが入り込みやすそうなところだけにしていますが。

Javaでも変数をデフォルトfinalにできないかな？

あ、Javaのプリコンパイラを作れば良いのか。

再代入可能を表す識別子を作って、それが付いていれば、Javaの普通の変数に翻訳。

付いていなければ、final宣言付きの変数に翻訳。

こんなバグ防止Tipsを集めて、Javaのプリコンパイル言語を作っちゃおうかな？

「ごじゃっぺな人間による、ごじゃっぺな人間のための、ごじゃっぺなJava言語」略して「Goja」

あれ、これってもしかして、アノテーションを使えばできるのかな？

うーん。Javaも、もっと勉強せねば。

■ P.8 遅延評価

ふーん。Lispは、遅延評価じゃないのか。

”Haskellは、純粋関数型言語だけど、Lispは違う。”っていうのは、ここら辺も関係しているのかな？

遅延評価は、メモリ・CPUの節約に効果的な気がする。

Log4JのLogger#isDebugEnabledメソッドなんて、

まさしくJavaが遅延評価でないために必要となったメ

■ 独書会開幕

関数型言語を覚えたい。ということで、

ここに「ふつうのHaskellプログラミング ふつうのプログラマのための関数型言語入門」独り読書会の開幕を宣言します。

■ 会員宣誓

宣誓、我々独書会会員一同は、プログラマーシップに乗っ取り、Haskellerとなるべく努力することを誓います。

但し、途中で飽きたり、気力が尽きたり、他のことに興味が向いたり、その他諸々の事情があった時は、その限りでありません。

■ P.5 高階関数

高階関数＝引数 or 戻り値が関数の関数

Javaでも高階関数的なメソッドがあるような気が。

sortメソッド(java.util.Arrays#sort, java.util.Collections#sort)は、

引数に java.util.Comparator の各種実装クラスを渡すことで、ソート順を変えることができる。

これは、”ソート順を決定するための関数を、sort関数に渡している。”と言うこともできる気がする。

これって、高階関数の考え方を、デザインパターンとして取り込んでいるってことかな？

■ P.7 代入がない

すばらしい。

変数にfinalを付けまくった僕としては、熱烈歓迎です。

コードが長ったらしくなるので、今ではfinalを付けるのは、

バグが入り込みやすそうなところだけにしていますが。

Javaでも変数をデフォルトfinalにできないかな？

あ、Javaのプリコンパイラを作れば良いのか。

再代入可能を表す識別子を作って、それが付いていれば、Javaの普通の変数に翻訳。

付いていなければ、final宣言付きの変数に翻訳。

こんなバグ防止Tipsを集めて、Javaのプリコンパイル言語を作っちゃおうかな？

「ごじゃっぺな人間による、ごじゃっぺな人間のための、ごじゃっぺなJava言語」略して「Goja」

あれ、これってもしかして、アノテーションを使えばできるのかな？

うーん。Javaも、もっと勉強せねば。

■ P.8 遅延評価

ふーん。Lispは、遅延評価じゃないのか。

”Haskellは、純粋関数型言語だけど、Lispは違う。”っていうのは、ここら辺も関係しているのかな？

遅延評価は、メモリ・CPUの節約に効果的な気がする。

Log4JのLogger#isDebugEnabledメソッドなんて、

まさしくJavaが遅延評価でないために必要となったメソッドですものね。

（

１．Logger#debugメソッドは、ログ出力のレベルがDEBUGの時以外、何もしない。

２．だが、Javaは遅延評価ではない。

３．そのため、debugメソッドで使われなくても、debugメソッドに渡すデバックメッセージを組み立てなければならない。

４。そのデバックメッセージの組み立てが、ボトルネックになる場合がある。

５．そこで、isDebugEnabledメソッドでDEBUGログが出力されるか判定し、出力されないなら、デバックメッセージの組み立てもスキップする。

）

うーん。長ったらしい説明だ。もっと簡にして要を得た説明をできるようにならないと。

■ P.25 main

mainが変数で、main変数の値はアクション？

なんだか良く判らない。

ま、そのうち判ってくるでしょう。ってことで、次。

■ P.26 適用(apply)

Java(手続き型言語)では、引数xxxで関数yyyを実行(call)する。

Haskell(関数型言語)では、変数xxxに関数yyyを適用(apply)する。

よく違いが判らない。

ま、慣れれば判ってくるかもしれない。ってことで、次。

■ P.28 Haskellでは入出力が鬼門

メンドクサイってこと？

初心者の混乱の種ってこと？

答えが判るのは、11章か。

■ P.31 インデント

インデントに文法上の意味がある？

えー、なにそれ。それヤダ。

それ位なら、カッコだらけのLispの方が良い気がする。

まあ、Lispのコード書いたことないけど。

書いたらカッコにうなされるのかもしれないけど。

■ P.32 do式

Haskellは”遅延評価”なので、do式を使わないと実行順序がどうなるかわからない。

do式って、BPELのsequenceと同じ？

ってことは、もしかしてBPELも遅延評価？

でも、遅延評価と、実行順序不定がどう関係するのか、判らない。

■ P.32 「<-」

変数 <- 値

で、変数”を”値に束縛(bind)

これって、Javaの

final 変数 = 値;

と同じ？

あ、遅延評価だから、その変数が使われなければ、

変数を束縛した値を、計算しなくても済むのか。

（変数に束縛された値、と書きそうになってしまった。

値が変数を束縛する。って言い方に慣れるには時間がかかりそう）

■ P.34 catコマンドの謎

ループはどこから来た？

Javaで同じプログラムを作るとしたら、

”無限ループの中で、標準入力を１行読み、標準出力に出力。”

となるはず。

■ P.36 リスト(list)

リストには、一種類の値のみが入る。

リストの最後（最後の次？）は、空リスト(empty list)。

Javaの配列や、ジェネリック付きのListに似ている。

いや、むしろ BufferedReader#readLine の方がもっと似ているかも？

何行のデータを返すか判らないが、データが無くなったら null を返す。

Haskellのリスト≒Javaの入力ストリーム？

UNIXのパイプだと更に似ている？

大きなファイルでも、tailでファイルの末尾を表示するのは、速い。

もしかして、パイプも遅延評価？

■ P.39 「$」演算子

「()」と同じだが、Haskellでは、「$」演算子が多用される。

Haskellを設計した人は、Lispのカッコに苦労したんだろうな。

高機能なエディタを使えば、括弧を見て自動でインデントしてくれるはずだと思うんけど。

そうでもなければ、きっとLisperの人でも、カッコを愛せはしないでしょう。

■ P.46 関数の定義

関数名 仮引数1 仮引数2 ... = 本体

ってことは、

main = ....

は、引数なしのmain関数を定義しているってことか。

■ P.52 2章のまとめ

使用した関数、アクションの一覧表

■ P.53 countbyte

文字列を文字のリストとして扱っても、バイト数でなく文字数しか取れないんでは？

って、思ったんだけど、

文字数取得のつもりで作ったコードで、バイト数が取れてしまった。

GHCiから日本語文字列を入力してみたら、なんかエラーが出た。

GHCは、ASCIIコード以外に対応していないってこと？

Prelude> "あああ"

<interactive>:1:2: lexical error in string/character literal

■ TODO

タグとかの使い方を覚えて、もっと読みやすく書かないと。