L'eclat des jours(2008-10-31)_ ファンクション倶楽部2008秋イベント 〜lambda the world〜 みんな大好き関数型言語のイベントで、時間もどうにかなりそうなので参加した。 以下レポート（自己紹介とかは省略します）。想像で補っている部分あり。 三村さんの関数型言語の魅力と種類 特徴 ・ラムダ計算がベース ・関数がファーストクラス ・高いモジュール性 例）Haskell ・純粋関数型＝副作用がない ・遅延評価＝必要になるまで計算しない ・静的型＋型推論 （この型がきたらこの処理というのが静的に決まっている） ・モナド＝副作用をごまかすための再発明 Real World Haskell: Code You Can Believe In(O'Sullivan, Bryan) ・実践的な（例：ネットワークプログラミング）プログラミング ・ラムダ計算＝構造が3種類のみ ・変数 ・関数適用 ・関数生成 ・関数生成 ・
