檜山正幸のキマイラ飼育記 - 圏論やモナドが、どうして文書処理やXMLと関係するのですか？
…という類＜たぐい＞の質問に答えるのはちょっと面倒なんですけど、とりあえず1つだけ具体例を挙げておきましょう。テンプレート処理が、もろにモナドになっている、ってハナシ。今回はテキスト処理について説明。次回（いつになるかまったく不明）はXML処理の予定。 テキスト処理だけでも長ーい説明（最長記録かも）なのだけど、分割すると“勢い”がなくなるから一挙掲載。読むときはユックリ・ジックリ読んでくださいね。プログラミング課題も、実際にコーディングしないまでも、「こうやればいいな」という方針くらいは考えてください。 ※印刷のときはサイドバーが消えます。 内容： ネストしたテキスト テンプレート処理 ブロック、文字列、名前 フラット・テキストとテンプレート・テキスト 多段階のテンプレート処理 蛇足 素材を整理しよう モナドに向かって突っ走れ！！ バッチリ、モナドだぜぇ 残りは脱兎のごとく 最後に言ってお
Webアプリケーションの入出力と状態遷移 - 檜山正幸のキマイラ飼育記 (はてなBlog)
入力値の集合がA、出力値の集合がBである関数fを、f:A→B と書きます。ｆは純関数です。関数が状態に影響を受けるときは、f:S×A→B となります。Sは状態空間です。単に直積の記号「×」では、状態と入力の区別が付かないので、セミコロンで区切ることにします。f:S;A→B 。セミコロンの左が状態ね。fが副作用を持つとき、つまり状態空間Sに作用するときは、f:S;A→S;B と書きます。S→S は状態遷移を表すことになります。 副作用があるかもしれない関数を、次のように分類すると便利です。1は単元集合（シングルトンセット、ユニットセット）です。 f:A→B 純関数 f:S;A→B バートランド・メイヤーの言葉で「問い合わせ」 f:S;A→S;1 バートランド・メイヤーの言葉で「コマンド」 f:S;A→S;B 一度にいろいろするメソッド 以下では、単元集合1は省略します。 メイヤーは、最後の「
久々にJavaScriptでナンカして遊んでみる - 檜山正幸のキマイラ飼育記 (はてなBlog)
組み込みのStringクラスにメソッドを追加してみる話です。ただし、String.prototypeには手を入れない方針。Stringクラスを“継承”したユーザー定義クラスを作ります。 継承の方法としては、__proto__プロパティを使います。__proto__プロパティの問題点は「継承についてもう少し」で指摘して、その対処法は「こんな継承はどう？」で述べました。今回は単にアイディアを述べるだけだし、FirefoxでもRhinoでも__proto__プロパティが使えるので、単純にSubclass.prototype.__proto__ = Superclass.prototype; として継承します。 やってみる StringのサブクラスであるEnhancedStringクラスでは、メソッド noripie() が追加されています。さらに、EnhancedStringクラスのサブクラスで
予告：セミナー「モナド」シリーズを開始します - 檜山正幸のキマイラ飼育記 (はてなBlog)
「カリー／ハワード（Curry-Howard）のお絵描きを楽しもう」にて： シリーズ3回全体を総括しなきゃ、とか思っている間に4月になってしまいました。「次はどうしようか？」とかもいずれ書くつもりです セミナー前後の事務的処理がどうも苦手で、けっこうそれが負担で苦痛だったりするんですが、、、、4月もやります！ なんとなく、そこはかとなく予告していたようにモナドシリーズの第1回。全体はたぶん3回。モナド以外のネタも考えたのですが、次の事情でやっぱりモナドにしました； ラムダ計算シリーズでは、背後にデカルト閉圏があることに言及はしましたが、それが何であるかはまったく説明できませんでした。僕も少しは心残りなんですが、僕より参加者の皆さんのほうがフラストレーションをつのらせたみたいです(苦笑)。アンケートにも「圏論をちゃんと取り上げて欲しい」という意見がありました（僕は意外に感じましたが）。 とい
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
