Catharsisようこそ。睡眠不足なプログラマのチラ裏です。限定継続(風)モナドで四天王問題を解く。モナド発売されてすぐにPSVitaのP4Gをダウンロードしたのだが、どちらかというとエヴィディ・ヤングライフ・VB6♪な生活を送っていてなかなかプレイする暇がなくてつらい。限定継続(風)モナドで四天王問題を解く。2011の21日目です。きっかけは、11月19日に札幌で行われた第64回CLR/H勉強会で、愛甲健二さん(@07c00)がお話してくれた「コンピューターに萌えを教えてみたよ」というセッションです。F#のwhileにbreakが無いのを知って愕然とした。SINさんがF#を書きまくっている今日この頃。F#の街札幌のF#りょくの高まりを感じざるを得ない。勉強会で、F#とXNAを題材に発表します。「ダークソウル」で心が折れそうな日々を送っている今日このごろですが、みなさんはいかがお過ごしでしょうか。勉強会で、F#とXNAを題材に発表します。2011-09-05F#でのパターンマッチ。え?そうなんですか?まったく同じものだと思ってました。18:08:...F#でのパターンマッチ。〜」を使おうぜ(異論は認める)2011-08-22ふと、Seq.tryFindの変な(誰得な)使い方を思いついた。F#でbreakとcontinue再び。以前、「F#で楽々breakとcontinue。継続モナドまじパネぇっす!」を書きました。確かに楽々ではあるんですが、継続モナドとかマジで難しいですよ。́・ω・`)ショボーンな気持ちになっちゃいま...ふと、Seq.tryFindの変な(誰得な)使い方を思いついた。F#でbreakとcontinue再び。2011-07-24F#で順列(Permutation)と組み合わせ(Combination)。YOU、Listモナドしちゃいなよ。モナド以前、C#で順列(Permutation)と組み合わせ(Combination)をすべて列挙してみようという記事を書きました。今見ると、前に思っていた以上に「しょっぱいなぁ」と思わざるを得ませんが、C#で書き直すつもりになれません。今回は、超イケてる言語のF#で書きま...F#で順列(Permutation)と組み合わせ(Combination)。YOU、Listモナドしちゃいなよ。息抜き前回のエントリでモナドについて熱く語りました。今回はゆるいモナドの雑記です。いつのまにか、全然別モノのLazyモナドをつくっていた。F#とIOモナドとコンピューテーション式の奥義と2011-06-02ほむ。元ネタは、以下あたり。function」と書く流派がございます。function」と書く流派がございます。後者の方がネストを浅く保つことができるので私は好きです。function」と書く流派がございます。判別共用体は直接公開してどうのこうのしたりするよりかは、内部的な実装は判別共用体でやって、アクティブパターンでインターフェイスを提供するというのがスマートっぽいよ。...判別共用体のケース識別子は直接公開せず、インターフェイスをアクティブパターンで提供するのがスマートっぽいよ2011-04-08オブジェクト指向は、シンプルできれいだが脆い。関数型プログラミングは、強く美しいが複雑。F#はいろいろな書き方が混ぜこぜになるよ。関数型プログラミングオブジェクト指向プログラミングが好きだ。関数型プログラミングが好きだ。オブジェクト指向プログラミングオブジェクト指向プログラミングは、コンテナの一般性を確保している点で優れている。データと振る舞いをコンテナとしてまとめることで、プログラ...オブジェクト指向は、シンプルできれいだが脆い。関数型プログラミングは、強く美しいが複雑。F#はいろいろな書き方が混ぜこぜになるよ。2011-03-22F#で楽々breakとcontinue。einblickerの日記」というステキな記事を書いてくださいました。以前、F#で継続渡し形式(CPS)変換を抽象的に考えてみたら、それってつまりHaskellの継続モナドみたいなものでした。いうことで...F#で楽々breakとcontinue。継続モナドまじパネぇっす!2011-03-08Observableコンピューテーション式はモナド則を満たしているか否か。モナド前回のエントリ「F#でRxる。訓練されたF#erはコンピューテーション式をつくる。Observableコンピューテーション式について補足します。モナド則を満たしているか否かについてです。Haskellにおいて、モナドがモナド則を満たして...Observableコンピューテーション式はモナド則を満たしているか否か。2011-03-07F#でRxる。訓練されたF#erはコンピューテーション式をつくる。NuGetいにしえからの言い伝えによると、よく訓練されたF#erはコンピューテーション式をつくるそうです。お、SelectManyですね。