ラムダ計算で代数的データ型を表現する方法 - @syamino はてなダイアリー
ラムダ計算でEither Either型の値をパターンマッチする状況を考えます。 「データコンストラクタのパターンマッチ」は，下図のようにしてラムダ計算で表現できます。 ラムダ計算でBool 今度は，Bool型の値をパターンマッチする状況を考えます。 TrueやFalseには引数が無いので，(3)や(4)はλで囲みません。 パターンマッチ = 「データコンストラクタを他の関数に置き換えること」 パターンマッチによって，Leftがlに置き換わります。以下同様です。 「データコンストラクタを置き換える」という概念について，もう少し詳しく考えていきます。 データコンストラクタの置き換え方は2種類ある リストのような再帰的なデータ型では，データコンストラクタの置き換え方が2種類あります。 data List a = Cons a (List a) | Nil (1) 全てのデータコンストラクタを置
トクホのコーラが売れる事情：日経ビジネスオンライン
トクホ（特定保健用食品）で新たなヒット商品が誕生した。キリンビバレッジのトクホコーラ「キリン メッツ コーラ」が発売後わずか2週間で、年間販売目標の100万ケースを突破。小売りからの注文に供給が追いつかず、キリンは緊急増産対応を決定し、お詫びのリリースを掲出するに至っている。「ここまで売れたのはヘルシア緑茶（花王）や黒烏龍茶（サントリー）以来」（飲料総研の宮下和浩氏）と業界でも驚きの声が上がる。 ヒットの理由は明快だ。これまでもトクホの飲料は数多くあれど、どれもヘルシアや黒烏龍茶を超えるには至らなかった。メッツコーラは「トクホとコーラという意外性のある組み合わせで、ユーザーの興味を引く戦略」（キリンビバレッジ）が奏功し、ヒットに結びついた。 メッツコーラの特徴は、「難消化性デキストリン」（以下、難デキ）が、食事に含まれる脂肪の吸収を抑制するというもの。難デキはトウモロコシ由来の食物繊維で、
JAVAアーキテクト。。。
JAVAアーキテクト JAVAアーキテクト。。。 JAVAアーキテクト。。。 ２チャンネルより。。。うーーーーーん、逝くか JAVAアーキテクト。。。 * 必ずCheckStyle, FundBugs, JUnit. Apache Ant, Apache Mavenを使用すること。 * IDEは必要に応じて任意に使用。使える環境であるならば使うことが望ましい。 * 英語を極めよ。海外サイトでいち早く最新技術動向を調査し、プロジェクトに採り入れよ。 * クラス名、オブジェクト名はなるべく名詞形に、メソッド名はなるべき動詞形に。 * 『アジャイルソフトウェア開発の奥義』を読破し、実戦せよ。 * 最低でもGoFデザインパターンは極めよ。 * 不変クラスの作り方くらいは極めよ。 * Jakarta Projectの製品くらいは使いこなせるようにすること。 * 必ずXP, RUPなどを実戦すること
「すごいHaskellたのしく学ぼう！」は気配りと楽しさがすごい - keigoiの日記
本書はHaskellの入門書です。とっても親しみやすい内容と文体で、構成についても、順序を踏んで丁寧に書かれているようです。また日本語(マルチバイト文字)の扱いを付録で解説しているのもポイント高いですね。 以下、ざっくり目を通して、これは！と思った点をまとめました。 イントロはHaskellの概要をやさしい文体で、でもしっかり説明しています。 Haskellがもつ純粋さと参照透明性の重要さ、必要最小限の計算を行う遅延評価であること。型付けが重要なのは当然として、型推論がすばらしいこと。さいごに「Haskellはエレガントで簡潔です」。 全体として：気配り 翻訳が読みやすいです！親しみやすさが日本語になってグッと増した感があります。翻訳文であることを全く感じさせません。 また随所で、著者の気配りを感じさせられます。 文中の補足説明やNOTEが親切です。たとえば、初見ではワケわからない型の周り
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
すくすくスクラム for Mixi版です
伝説のSE？
