結城浩のHaskell日記

■ length汚染

http://haskell.g.hatena.ne.jp/taninsw/20060616/p1 を読んで、length汚染というキーワードを作ってみました。lengthというeagerなリストの末尾に関してstrictな関数を使ってしまうと、無限リストが扱えなくなってしまうこと。

ちなみにキーワードを作るのは、

[[length汚染]]というキーワードを作ってみました。

のように書けばオーケー！

追記：eagerな関数というのは正式名称かどうか知りません。無限リストを渡せない関数という気持ちで使いました。eagerという用語そのものはlazyの対義語かと思います。

追記：nobsun師匠からeagerよりもstrictのほうがよいかな、とコメントをいただきました。

• http://haskell.g.hatena.ne.jp/nobsun/20060616/p2

「lengthはリストの末尾に関してstrict」

■ キーワードのインポート

ちょっと思い立って60個ほどキーワードをhaskellグループにインポートしてみました。ものは試し。

クラスメソッド / 多重定義 / 型クラス / クラス / インスタンス / アドホック多相 / パラメータ多相 / type宣言 / データコンストラクタ / data宣言 / 代数的データ型 / フィールド / 型コンストラクタ / データコンストラクタ / セレクタ / 高階関数 / リスト内包表記 / 部分適用 / カリー化 / GHC / 静的型チェック / 型推論 / 型変数 / 多相型 / 関数合成 / ポイントフリースタイル / 適用 / 演算子 / 優先順位 / パターンマッチ / 無名関数 / 優先順位 / 結合性 / 左結合 / 右結合 / 非結合 / アズパターン / 空リスト / オフサイドルール / オフサイドライン / 無限リスト / 参照透過性 / リダクション / Hugs / Prelude / 最外簡約 / グラフ簡約 / 遅延評価 / 不動点 / モナド / レイアウト / 変数束縛

■ クラスメソッド

ふつけるp.239まで読みました。

• クラスメソッド(class method)、たとえばEqクラスの(==)
• クラスメソッドの多重定義(overloading)、たとえば[Int]の(<)とIntの(<)