あどけない話

Internet technologies

2011-04-01から1ヶ月間の記事一覧

不動点の話

不動点コンビネータを使うと、どうして無名関数で再帰ができるのかを考えてみる。 名前を取り去る 以下の階乗を計算する関数 fact を考える。 fact 0 = 1 fact n = n * fact (n - 1) これは、以下のように一つの式に変形できる。 fact n = if n == 0 then 1 …

QAで学ぶMonad

この記事は、Monad でつまづいた Haskeller のための Monad 再入門です。 Monadとは何ですか? Monad とは、単なる型クラスの一つです。難しいという風評もありますが、それ以上でもそれ以下でもありません。この型クラスのメソッドは、return と >>= です。…

原発まとめ

ずっとウソだった 福島原発10基の耐震安全性の総点検等を求める申し入れ 未曾有の震災が暴いた未曾有の「原発無責任体制」 想定マグニチュードをひっくり返す 元GE技術者・菊地洋一さん講演 安定運用でも被爆する、現場を知らない推進派、地熱エネルギー …

関数型言語での関数の基礎知識

関数型言語での関数について、Haskell を用いて説明します。 関数の型 関数の型は、-> を使って書きます。例えば、Int を Char に変換する chr という関数の型は、以下のようになります。 chr :: Int -> Char 一引数の関数の型は、まぁこんなもんだと思える…