お気軽らしいです。説明が丁寧でいいですね。昔の記事なので現在ではコンパイルが通らないこともあります。

GHC拡張は抑えておくとよいよな。real world haskellだって入門書なのにGHC拡張の紹介あるし。まあほとんどないんだけど。おいらはまだ理解していないから理解したくて型システムの興味をそそるのもいいよね。型システムだって趣味として勉強するのもいいし登っていく山（どれだけ高いかはよくわからない）としてもいいだろうね。暇つぶしに読むのももちろん可。

wikiでの解説、結構マニアックなところまで行けるかも。日本語の翻訳は追いついていない部分が多いですね。英語で読もう。でも品質は不明。wikiだし。

ＷＥＢで始めるならここか。

ぱらぱら見たらあんまりと思っていたがAmazonで評判がよい。読んでみたい。

愛知県立大学の情報科学部2年対象の計算機言語論で、『プログラミングHaskell』を教科書で使ってます。日本語のスライドあり。

英語か、あとでまたよむ。と思ったら、日本語訳が出版された。読了した。非常に良い本だった。初心者にすすめるなら断然これだ。カジュアルで読みやすく本質をついた説明だった。ぼくの読んだ感想:すごいHaskellたのしく学ぼう!: Miran Lipovačaをもっと早く読めばよかった: プログラミングは眠るのも忘れてとすごいH本、１回目読み終わって、よかったから、２回目の復習に入った。: プログラミングは眠るのも忘れて。それと、他のHaskeller(多分有名な人)の書評：「すごいHaskellたのしく学ぼう！」は気配りと楽しさがすごい - keigoiの日記とすごいHaskellたのしく学ぼう！ - あどけない話がいいかな。あと、ここすごいHaskellたのしく学ぼう!を読んだ - south37の日記たしかに丁寧な本だよね（翻訳も含めて）。間違いもないし、ぼくは非常に丁寧な仕事と見ました、本の構成、内容について。ということで、良本であり、労作であると言いたい。
『すごいHaskellたのしく学ぼう!』

わかりやすい入門書。遅延評価などをおさえており、関数型言語の楽しさに入門できる。モナドは説明が不足している。

モナドの丁寧な説明があり、理解できた。サポートページ：Real World Haskell - O'Reilly Media。右側にDownload Example Codeがあるよ。p.390とかCode見ないとわからない。ただ、例が長すぎて、簡潔な概念の説明がないとも言える。

英語の原著の草稿を公開。レビューコメントつき。

GADTsのわかりやすい説明だ。

GADTsは、データコンストラクタを型付けすることができる代数データ型です。これによって、従来のあらゆるデータコンストラクタを許可する関数を定義できるだけでなく、特定のデータコンストラクタのみを許可する関数を定義できるようになり、さらなる柔軟性と、実行時エラーに対するさらなる強い保証を手にすることができるようになります。

Phatom typeとその限界を説明した後にGADTsでの解決策を説明した。わかりやすい。

Haskellの型システムで定理証明する話？型の不変条件が定理なのかな。それを種(kind)で表現する。定理の証明はsingletonを使う。

DataKinds 拡張は、上のように定義した代数的データ型を型レベルに持ち上げることが出来る言語拡張である。より厳密には、Nat型を種レベルに持ち上げたNat種と、その種に属する型コンストラクタZ :: NatおよびS :: Nat -> Nat がGHCによって自動的に定義されるようになるのだ。これらは全く同型なものであるため、あたかもNatデータ型の値が、型レベルに昇格されたように見える訳である。これを使えば、先程のベクトルの例は次のように書き直せる：

途中で終わって中途半端かな。

上のリンクと同じ話者。Haskellの型システムで定理証明する説明。だけど難しいな。

定理証明の簡単な事例まで紹介している。

あとで理解する。

あとで理解する。

スタンフォード大のHaskellの授業。Phantomとか。

Haskellと副作用の話。

Haskellと副作用の話。こんなに解説が乱立するとは。説明がたくさんあるってどういうことだろう。難しいってこと？

Haskellと副作用の話。

Haskellと副作用の話。ちょっと古い。

Haskellと副作用の話。

Haskellと副作用の話。じゃなかったか。。。

並行、並列プログラミングをHaskellで。オンライン版をフリーで読めるっぽいです。

DB操作系？SQL系のHaskellライブラリらしい。

HRRの説明？

Haskellの代表的コンパイラGlasgow Haskell CompilerことGHCのアーキテクチャとか解説。

キーボードだけでがんばれるウインドウマネージャーらいいです。BSDとLinuxしかないぽい。

Emacs用のHaskell開発環境。

ぜんぜんわかっていないけど、Yesodを勉強すると、わからないからこそ、自分のHaskell世界が広がる気がする。

山本和彦さんの説明資料。参考：Mighty and Yesod。Mightyなにかしらんですけど。

田中英行さんの説明資料。

Haskellで書かれたドキュメントフォーマットのコンバータ。マークダウン記法からHTMLのスライドショーが作れるのがいいね。texとかにもなるよ。「If you need to convert files from one markup format into another, pandoc is your swiss-army knife.」

12月1日から25日間、参加者が一人ひとつずつ自身のブログにHaskellネタを書くイベント。Haskell Advent Calendar jp 2010

HDBC-sqlite3の使い方など。cabelでインストールする必要もあるよ。

twitter関係では、OAuthの使い方もコードにべたっと書いてあって、勉強になる。

うえにコードが似てる。あまり参考にしていない。

hs-twitterって、ライブラリは結局、使えないぽい。あまり参考にならないか。

古い時代の言語設定を読む例。JSONの扱い方は参考になるかも。

Web.Authenticate.OAuthとか使って、エレガントだけど、WEBアプリだったら、どう使うのか、不明。

文字化けに悩まされることがあります。未熟じゃ。

これも文字化け参考めも。

「まとまった日本語の解説がほとんど無いので、 簡単な解説記事を書いてみました。」とのこと。

stanford.eduの授業？

Haskell開発環境のEclipseプラグイン。コンテンツ・アシスト、コンパイルエラー検知。Eclipse自体、最近重いから、つかってない…

ブラウザ上でHaskellをちょっといじれる。IE非対応？

ネタ。