状態をモナドで実現する方法を考えます。 リスト 例は簡単な方がいいので、データ構造として Lisp 風のリストを定義しましょう。 data List a = Nil | Cons a (List a) deriving Show リストは、こんな風に表せます。 Cons "c" (Cons "b" (Cons "a" Nil)) Lisp 風の cons も定義してみましょう。 cons :: a -> List a -> List a cons x xs = Cons x xs cons "c" $ cons "b" $ cons "a" Nil → Cons "c" (Cons "b" (Cons "a" Nil)) 状態を持つリスト さて、この Lisp 風のリストに、要素の数を覚えさせておきたいとしましょう。もちろん、数えれば分りますが、数えなくても一瞬で分るようにしたいのです。

輪講で「Programming in Haskell」をようやく読み終えました。この本は、最高のHaskell入門書といって間違いないでしょう。 Programming in Haskell 作者: Professor Graham Hutton出版社/メーカー: Cambridge University Press発売日: 2007/01/18メディア: ペーパーバック購入: 2人 クリック: 67回この商品を含むブログ (22件) を見る 一緒に Haskell の本を何か読もうという話が、友達との間で出たとき、最初は「The Craft of Functional Programming」にしようかと思っていました。ただ、出版社の人から「Programming in Haskell」を勧められたことがあったので、二冊を友達に提示したところ、直感で「Programming in Has

当初，自分で何かを書く気はなかったのですが，ブックマークコメントを見ていると「はてな的にはやっぱりこれか，これなのか・・・？」と言う気がしたので書きました．Wiki 記法をある程度知っている人は，これを読めばはてな記法の基礎をマスターしてはてなー？になることができるようになっています．また，簡易リファレンスとしても利用できます． 目次 基礎 プレーンテキスト コメント 文字列装飾 数式 脚注 スクリプトの実行 見出し リンク Web ページへのリンク はてなサービス内へのリンク トラックバック 自動リンク停止 マルチメディア 画像の表示 動画の表示 音楽の再生プレーヤーの表示 整形済みテキストブロック 引用ブロック 表組み リスト 続きを読む記法 ウクレレ記法 おわりに References 1. 基礎 プレーンテキスト 特別な記号（後述）で始まる文字列以外の文字列は全てそのまま出力されま

std::pairをIOしたい、というのは誰もが一度は思うところです。 Oの方は簡単です。Fusion Sequenceにアダプトしてas_vectorすればいいのです。 #include <iostream> #include <string> #include <sstream> #include <utility> #include <boost/assert.hpp> #include <boost/fusion/include/std_pair.hpp> #include <boost/fusion/include/as_vector.hpp> #include <boost/fusion/include/io.hpp> namespace fusion = boost::fusion; int main() { const std::pair<int, int> p(1, 0)

C++ Advent Calendar jp 2010の記事です。 今回は、Boost Fusion Libraryを紹介します。 Boost Fusion Libraryは、タプルのデータ構造とアルゴリズムを提供するライブラリです。 Fusionでは、2つの重要な概念を与えます。 1つは、タプルを異なる型のリストと見なしイテレートする、Fusion Sequenceという概念。 もうひとつは、タプルを名前のないユーザー定義型、ユーザー定義型を名前ありタプルと見なし、それらを相互運用可能にするという概念です。 まず、基本的な使い方を見ていきましょう： #include <iostream> #include <string> #include <boost/fusion/include/vector.hpp> #include <boost/fusion/include/for_each.

qtHaskellをいじってみてる。 みているのだが、Haskellのうまみが全然無い気がするのは気のせいだろうか...。 というか、日本語の情報がほぼ皆無なのですが...。 Qtも触ったこと無い、Haskellもそんなできるわけでもない。 そんな自分ですが、qSize_width, qSize_heightがIOなのはちと納得がいかない...。 いや、多分内部実装はFFIでライブラリ直に叩いているのだろうし、QSizeがおもいっきしポインタなのも気がついてはいるのですが、Haskellっぽくdataにしてくれるとプログラマ的には大助りな気がしないでも...。 あと定数をIntにするのはやめて欲しい気がしないでもないかも。 dataでまとめてくれれば型を見るだけでどれが使えるか一発で分かるし、パターンマッチにも使えるし、変な値を渡してしまうこともないし、でうまみたくさんだと思うのだけど..

ふつけるだとリスト内包表記について１ページしか書かれていなかったのですが 『関数プログラミング』ではけっこうくわしく書かれていて、 サンプルもいっぱい載ってるのでわかりやすいです。 ということで、お試しをいくつか書きます。 単純な1〜3の要素を持つリストの生成 [x | x <- [1..3]] → [1, 2, 3] 1〜10のリストから取り出したxで、偶数であるxに対してx * xしたリストの生成 [x * x | x <- [1..10], even x] → [4, 16, 36, 64, 100] 組み合わせのリスト生成 [(a, b) | a <- [1..3], b <- [1..2]] → [(1,1), (1,2), (2,1), (2,2), (3,1), (3,2)] 生成式の順番を変えるとこうなる [(a, b) | b <- [1..2], a <- [1..3]

なんかプログラムのことは全くわからないお客さんの前でプログラマ同士で話さなければならないことがあって「この部分は、俺が作るから、string渡したらXXXするメソッドを用意しといて」とかプログラマ同士でそういう話をするんだけど、こういうのプログラムの知らない人にとってどう聴こえてるんだろう。 お客さんの心の声「メソッド？なんでこの人、"方法"って普通に日本語で言えないのかしら。格好つけてメソッドとか言っちゃって。この人、それが格好いいと思ってるのかしら。そんな中学生でも知ってるような英単語ひけらかしちゃって。この人、重度の中二病じゃないかしら。それにストリングって何かしら。文字列？どうして普通に日本語で"文字列"って言えないのかしら、この人。(倒置法) いまどきメソッドとかストリングとか中二病全開の英単語を会話に混ぜてくるのはルー大柴ぐらいよ。」とか思われてるんだろうな。あー嫌だ嫌だ。 そ