Catharsisようこそ。睡眠不足なプログラマのチラ裏です。モナドモナド2013-03-31ステップアップでわかるコンピュテーション式。ファンの皆様いかがお過ごしでしょうか。プログラミング言語と型の理論」を買ってしまった系の痛いおじさんです。10年後、20年後にわかることができてたら...ステップアップでわかるコンピュテーション式。モナド年末年始の連休から中五日あっての三連休で、正月ボケをぶり返してしまいそうな今日この頃ですが、いかがお過ごしでしょうか。Codeもう1週間以上前になりますが、Code2012という合宿イベントに参加してきました。いろいろな方との交流あり、温泉あり、クラウディアさんありと大変楽しかったので、ぜひ来年も参加したいです。限定継続(風)モナドで四天王問題を解く。モナド発売されてすぐにPSVitaのP4Gをダウンロードしたのだが、どちらかというとエヴィディ・ヤングライフ・VB6♪な生活を送っていてなかなかプレイする暇がなくてつらい。限定継続(風)モナドで四天王問題を解く。ネタ椎名林檎「自由へ道連れ」をヘビロテしすぎて脳内無限ループしている今日この頃ですが、皆様いかがお過ごしでしょうか。時事ネタとしては旬を逃した感じですが、簡素なコンプガチャシミュレータをF#で書いてみました。-」と題して、ライトニングトークで発表しました。FSharpx)2011-07-24F#で順列(Permutation)と組み合わせ(Combination)。YOU、Listモナドしちゃいなよ。モナド以前、C#で順列(Permutation)と組み合わせ(Combination)をすべて列挙してみようという記事を書きました。今見ると、前に思っていた以上に「しょっぱいなぁ」と思わざるを得ませんが、C#で書き直すつもりになれません。今回は、超イケてる言語のF#で書きま...F#で順列(Permutation)と組み合わせ(Combination)。YOU、Listモナドしちゃいなよ。息抜き前回のエントリでモナドについて熱く語りました。今回はゆるいモナドの雑記です。いつのまにか、全然別モノのLazyモナドをつくっていた。F#とIOモナドとコンピューテーション式の奥義と2011-03-22F#で楽々breakとcontinue。einblickerの日記」というステキな記事を書いてくださいました。以前、F#で継続渡し形式(CPS)変換を抽象的に考えてみたら、それってつまりHaskellの継続モナドみたいなものでした。いうことで...F#で楽々breakとcontinue。継続モナドまじパネぇっす!2011-03-08Observableコンピューテーション式はモナド則を満たしているか否か。モナド前回のエントリ「F#でRxる。訓練されたF#erはコンピューテーション式をつくる。Observableコンピューテーション式について補足します。モナド則を満たしているか否かについてです。Haskellにおいて、モナドがモナド則を満たして...Observableコンピューテーション式はモナド則を満たしているか否か。2011-02-13モナディックなパーサ・コンビネータFParsecを使おう。ゆうかParsec(Haskell)のApplicativeスタイルがやばい。正規表現Parsec(Haskell)のApplicativeスタイルがやばすぎるので、FParsecでApplicativeスタイルしてみた。F#に移植したものです*1。パーサ・コンビネータとはなんでしょうか。...モナディックなパーサ・コンビネータFParsecを使おう。ゆうかParsec(Haskell)のApplicativeスタイルがやばい。2009-10-13F#で継続渡し形式(CPS)変換を抽象的に考えてみたら、それってつまりHaskellの継続モナドみたいなものでした。いうことで継続ワークフロー(簡易版)作った。継続とはプログラミングにおいて「継続」とは、ある計算のある時点における「残りの計算」を表す概念のこと。ある計算過程の瞬間におけるその過程の未来全体を表すものを意味する。プログラミング言語で継続を扱う機能を導入すると、ユー...F#で継続渡し形式(CPS)変換を抽象的に考えてみたら、それってつまりHaskellの継続モナドみたいなものでした。いうことで継続ワークフロー(簡易版)作った。月別アーカイブ参加グループプログラミング。