2013年7月20日土曜日 C#のためのUsingモナド（もどき） 第一回の記事は、なんかモナドっぽいものを作ってみたという話です。 usingステートメントはクソだ 皆さんもご存じの通り、usingステートメントとは、C#においてIDisposableインターフェースを継承したクラス（要するに、Close()が必要なクラス）を扱うときに、 using(var stream = File.Open(“hogee”)) using(var reader = new StreamReader(stream)) … というように書くことで、スコープを抜けた時に確実に破棄されるようになるという機能です。 構文的にも綺麗で行数が減り、さらにClose()忘れを防ぐことができるのでまさに一石二鳥です。 しかし、usingステートメントにはある重大な欠点があります。 「値を返せないじゃないか！」 そう、
前の記事のおまけで「さらに将来の話」。 以下のような仕様も入りそう。 Draft spec for records and pattern-matching in C# 関数型言語でよくあるような、レコード型に対するパターン マッチングがC#にも入りそう。 これは、VS 14 CTP 3でまだなだけじゃなくて、Roslynのコード リポジトリ上も、masterブランチにはまだとりこまれていない機能。pattern-matchingっていうブランチがあって、まだそこの上でだけ動いてる模様。 このリポジトリ上の、テスト コードとかを覗いてみると、現状どんな文法になっているのかわかる(仕様書ドラフト中のサンプル コードはこれの一部な気がする)ので、そのコードの場所だけ貼っておきます。 コード リポジトリで、「Browsing changes in」のところで「pattern-matching」ブ
Common Language Infrastructure (CLI) - Common generics 2nd edition, June 2006 The CLI standard libraries (ISO/IEC 23271) provide a collection of common types that can be used by multiple languages. With the addition of generics to the CLI, the standard libraries have been extended to include a number of common generic types, in particular, collections. However, at present, these libraries do not i
Y Combinatorが凄すぎる！ - yuji1982の日記 平々毎々 (Hey hey, My my) | C#でYコンビネータ Y Combinator は私も『C# 3.0 と不動点演算子 - NyaRuRuの日記』で取り上げましたが，実際使っているかというと全然使ってないです．実際は Enumerable.Aggregate や，以前取り上げた unfold，Achiral での Cascade ほにゃらら等々の再帰的リスト操作関数で書いてます． 目指すは yhara くんのこの境地ですかねぇ． 熟練したScheme使いは再帰を書かない いや書かないは嘘だけど、リストを扱う関数が充実してるので自分で再帰してどうこう…っていうのはあまりしなくていいことが最近分かってきた。例えばfoldとか。 再帰構造を便利関数に変換して書けば，C# でも工夫次第でスタック消費を減らすことができま
Java 8を関数型っぽく使うためのおまじない - きしだのはてな Java は大変ですね。 C# さんは、ラムダ式も Func 型(Java の Function 型に大体対応)も Visual Studio 2008 時代(5年前)から使えたので、似たようなことはすでにできます。 上記の記事のパクリなので、上記の記事をまずは読んでから読むことをおすすめします。 Func 型 C# では Func デリゲートというものがあります。名前空間名や型パラメータまで含めると、System.Func<TArg, TResult> です。 こんな感じで使います。 Func<string, string> enclose = s => "[" + s + "]"; これを呼び出そうとすると、こんな感じになります。 // Javaだとenclose.apply("foo")と、applyが必要 Syst
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く