Haskell

ツール

• The Glasgow Haskell Compiler
• Download Haskell
• Leksah - Haskell IDE in Haskell

準備

• 環境を整える
• 日本語表示 - utf8-string を利用して
• モジュールを検索するためのサーチ パス

関数

• 関数の型 と 部分適用
• 部分適用 (2)
• カリー化
• セクションと中置記法
• 関数合成
• データコンストラクタによるパターンマッチ
• 返り値の型を指定する関数

再帰

• ループと再帰
• 再帰のイメージ
• パスカルの三角形
• 素朴にエラトステネスのふるい (1)
• 素朴にエラトステネスのふるい (2) - オブジェクト指向を手がかりに再帰表現を考える
• 素朴にエラトステネスのふるい (3) – Python の実装を Haskell へ
• 末端のノードが n 個の二分木 - 「木（tree）で遊ぶ」 より

リスト

• リストの n 番目の要素を取得 – PreludeList の !!
• リストの要素を join - List.Data の intersperse, intercalate
• foldl , foldr
• Prelude 散策 (1) - リスト操作 : 要素の重ね合わせ (folds)
• map のネスト

テキスト処理

• 簡単なテキスト処理 - データの抽出
• 簡単なテキスト処理 (2)
• 文字列の分割と結合

正規表現

• 正規表現
• 正規表現 (2) =~ , Python・Ruby と比較しながら

数値

• 数値 – Int は型で Num は型クラス

2008.11.28

参考サイト

• The Haskell 98 Language Report
• GHC - HaskellWiki
• A Gentle Introduction to Haskell, Version 98
• GHC - HaskellWiki
• Hoogle
• href
• href - Haskell reference manual
• Haskell - Wikibooks, collection of open-content textbooks

IO

• Introduction to IO - HaskellWiki
• Introduction to Haskell IO/Actions - HaskellWiki

本

• Real World Haskell

チュートリアル

• Learn You a Haskell for Great Good!

検索

• Hayoo! : ソースコードへのリンクがあるドキュメントを表示
• Hoogle

入出力

• 繰り返しのある大きな数値を生成 – read, cycle
• フィールドに型変数を含んだ型の print

代数的データ型、型クラス

• 代数的データ型と型クラス、instance 宣言の関係
• 代数的データ型の値を print で出力には

モナド

• fmap
• Maybe 型に馴染む
• Maybe 型に馴染む (2)
• 関数をつなげること – モナドの前に

その他

• ランダム
• 簡単なテキスト処理 (3) – break 関数を使って再帰処理
• read 関数で文字列から代数的データ型へ変換 - 導出インスタンスを使って
• 関数の型宣言がないときの混乱 (+_+)
• print関数 (utf8-string) で日本語を出力
• Prelude 散策 (2) - 述語
• Python における関数型プログラミング のための functools, itertools (1) – Haskell と同じ名前の関数たち
• cons (コンス) - リストを生成するための演算子 (:)
• 関数の抽象化 - sum, product から foldl1 → foldl へ
• Prelude にある関数の定義を読みたい - ソースコードどこ？