戻り値の型の推論 - NyaRuRuが地球にいたころ
お．これは懐かしい話題． 前から書いているが Dictionary<List<Abrakadabra>, IEnumerable<Abrakadabra>> dic = new Dictionary<List<Abrakadabra>, IEnumerable<Abrakadabra>>(); は Dictionary<List<Abrakadabra>, IEnumerable<Abrakadabra>> dic = new(); で書きたいんだよな。って、C#3.0ではvarキーワードと型推論が使えるから短く書けるのかな? (まだあまり使ってないのがばればれ) 仰るとおり，短さで言えば以下のように書けますね． var dic = new Dictionary<List<Abrakadabra>, IEnumerable<Abrakadabra>>(); さて，話を戻して「左辺に合うよう
JIT コンパイラの Dead Code Elimination を利用して，同一の CIL から複数の実装を生成する - NyaRuRuが地球にいたころ
値型かもしれない変数をnullと比較する 『プログラミングMicrosoft .NET Framework 第2版』で紹介されているように，以下のコードは合法． ジェネリックの型引数をnullと比較する ジェネリックの型が制約されていなくても、ジェネリックの型引数を、==演算子または!=演算子を使ってnullと比較することができます。 private static void ComparingAGenericTypeVariableWithNull<T>(T obj) { if (obj == null ) { /* 値型では絶対に実行されない */ } } Tには制約がないので、参照型にも値型にもなりえます。Tが値型であった場合、objはnullにはなりません。この場合、C#コンパイラがエラーを出力すると思うでしょう。しかし、C#コンパイラはエラーを出力しません。このコードは問題なくコン
.NET Generics について一言いいたくなったときに読み直すべき PPT - NyaRuRuが地球にいたころ
とりあえず道路族，みたいな． class root { } class derivedA : root { } class derivedB : root { } internal class derived<T> : T where T : root { } まぁダイヤモンド継承のようなMixinに使いたいんだけど、このC<T>もだめ。 ああ、愛しのテンプレート様。 .NET Generics に関して，この手の疑問が生まれたら，とりあえず読みなおそうという感じなのが以下の PPT． この中の，Parametric Polymorphism for Popular Programming Languages (PPT) という PPT ファイルの 12 ページ目に，先日波村さんが言われていた「C# 1.0 のリリース時に動く形の Generics 実装が Microsoft Resear
拡張メソッドと不思議なパターンマッチ - NyaRuRuが地球にいたころ
あんまり知られてなさそうな，C# 3.0 の不思議な世界． 不思議なパターンマッチ 例えば次のような拡張メソッドを考えます． public static string Hey<T, U>(this IDictionary<T, U> dict) where U : IEnumerable<T> { return "Hey!"; } この拡張メソッドは，インスタンスが上記パターンに該当するときだけ使える変なインスタンスメソッドのように振る舞います． 例えば Dictionary<int, int> は上記パターンを満たさないので，Hey は IntelliSense のリストに現れません．しかし Dictionary<char, string> であればパターンを満たすので，Hey が IntelliSense のリストに現れます． これはちょっと画期的なことです． 従来の C# では，型引
AngelikaLanger.com - Java Generics FAQs
This is a collection of answers to frequently asked questions (FAQs) about Java Generics, a new language feature added to the Java programming language in version 5.0 of the Java Standard Edition (J2SE 5.0). If you want to provide feedback or have any questions regarding Java generics, to which you cannot find an answer in this document, feel free to send me EMAIL or use the GENERICS FAQ form. A p
型パラメータと総称：どうしたらわかりやすい構文になるのかな - 檜山正幸のキマイラ飼育記 (はてなBlog)
「CPS（継続渡し方式）変換をJavaScriptで説明してみるべ、ナーニ、たいしたことねーべよ」で、説明用の疑似構文として、JavaScriptに“型パラメータと総称”を入れたものを使ったのですが、型パラメータと総称の構文って、けっこうむずかしいですね。必ずしもJavaScriptに限らず、既存言語にもこだわらず、型パラメータと総称の構文について考えてみます。 いくつかの言葉 String, Integerなど型の名前（型定数）、X, Yのような不定な型を表す名前（型変数）、List, Pairなどの型構成子を含む記号表現をtype expressionというのだけど、直訳すると型式＜かた・しき＞。「型式」じゃ、みんな「けいしき」って読んじゃうだろうから、型表現にします。 型構成子と総称型とパラメータ付き型は、（区別する人もいるかもしれませんが）同義語です。与えられた型構成子（プリミティ
Java Genericsの裏側を知る - builder by ZDNet Japan
ビジネスの推進には必須！ ZDNet×マイクロソフトが贈る特別企画 今、必要な戦略的セキュリティとガバナンス 特集：セキュリティトレンド-秋- つながる世界で問われる対応 サプライチェーンセキュリティを考える 体験から学んだ成功への知見 マネーフォワード×エム・フィールド対談 Fintechプラットフォーム開発の「鍵」 デジタル時代のITインフラ構築術 仮想化統合、クラウドを経て今「マルチ」へ ITインフラの最適化と継続的進化への道筋 単純なインフラ製品の販売ではない DX、コンテナプラットフォームの実証など 自社の取り組みで得られた知見を顧客に提案 非構造化データのデジタル活用へ 社内の文書コンテンツを一元管理 デジタル変革と内部統制の二兎を得るECM 大学、研究機関、製造業など いま目覚ましい躍進ぶりを見せるデルのHPC その背景と選ばれる理由にせまる 今を知り、未来を見据える 培って
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GoのGenerics関連プロポーザル最新状況まとめと簡単な解説
Generics in Go
Go言語2017年調査は、ジェネリクスと依存関係管理がGo言語に最も求められている機能であることを明らかにした
IBM Developer