Clojure の protocol でモナドを定義したい!! そう思ったけれど、 protocol の仕組み上 return の定義がけっこう難しいのである。 なぜかというと protocol という仕組みは第一引数に依る分岐なので、型クラスのように型に依る分岐ではないからである しかしこれをいい感じに解決する構造を考えた。 まず、 MonadUnit と MonadBind 、 そしてそれらを対応するデータ型に変換する monad-context 関数を持つ Monad protocol を定義する。 たとえば (maybe-context (MonadUnit. 1)) などとすると (Just. 1) が返されるわけである それから、 return a は単に (MonadUnit. a) とする。 そして m >>= k は、もし m が具体的なデータ(つまり、MonadUnit
There are too many tutorials out there on monads that say... "Look! here is a case where we can use a monad" or "This is what a monad is for". What I want to know is what are some of the steps that people use to come to the conclusion that they can say to themselves - "Gee Whiz! It looks like we can use a monad here!" So when someone tells me... "(blah) has nothing to do with a monad...", it reall
大学受験参考書『大学への数学』のホームページ Standard Approach to Advanced Mathematics 研文書院 ホームページ 以下へご案内します ■新課程■ 研文書院紹介 大学への数学ガイド その他の書籍 研文かわらばん 著者紹介 常備書店一覧 購入方法 ● ネット注文 (下記のオンライン書店からも御注文できます) ブックサービス 紀伊國屋書店 ジェイブック(JBOOK) ジュンク堂書店 三省堂書店 ネットダイレクト旭屋書店 本やタウン 宮脇書店 朗月堂本店 近藤書店 ● 電話注文 03−3312−9033 (10時〜17時受付ております) ● FAX注文 03−3312−8541 (24時間受付ております) * 詳細は 購入方法
2 仕様書無しさん :02/04/18(木) 22:39 僕が要件定義局面のころ偶然にも知り合ったPMは僕に向ってそう言った。 僕がその本当の意味を理解できたのは今年の4月1日のことだったが、 少くともそれをある種の慰めとしてとることも可能であった。 完璧な統合なんて存在しない、と。 しかし、それでもやはりリレーコンピュータで接続という 段になると、いつも絶望的な気分に襲われることになった。 一ベンダーに扱うことのできる領域はあまりにも限られたものだった からだ。例えば富士銀行について何かが書けたとしても、 第一勧銀については何も触れないかもしれない。 そういうことだ。 2年間、みずほはそうしたジレンマを抱き続けた。---2年間。長い歳月だ。 もちろん、あらゆるものから何かを学ぼうとする姿勢を 持ち続ける限り、障害を起こすことはそれほどの苦痛では ない。これは一
サナギからチョウになる変態プロセスは、自然界でもっともすばらしく不思議な現象のひとつだ。サナギの中で幼虫の体の組織が少しずつ変化して、空を飛ぶ美しい成虫に変身する。 この完全変態(メタモルフォーシス)という仕組みは、チョウ、アリ、甲虫、ハエなど大多数の昆虫が採用したうまく生きる延びるための道で、サナギの中で劇的に体を改造して成虫になり、幼虫と成虫の世界はまるで違う。 サナギの中でどんな変化が起きているのか? いったい、サナギの中ではなにが起こっているのか? 幼虫が酵素を出して、体の大部分の組織を壊し、たんぱく質を組成することはわかっている。 よくどろどろのスープのようなものに溶けると言われるが、厳密には正確ではない。いくつかの器官はそのまま残り、筋肉のような組織は再利用できる細胞の塊に解体される。レゴの模型をバラバラにするようなものだ。 いくつかの細胞は、触角、目、足、羽など成虫の体のパー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く