実作業が一段落つくと始まるissue整理。
すごい数一気にコメントついたりCloseされたり。以下、そのまとめ。
やらない
1行目: どういうものか
2行目: やらない理由
Proposal: Fixed-size buffers enhancements #126
構造体の内部に固定長配列を持てるようにしたい。
CLRのレベルで対応してもらいたい。C#コンパイラーでのコード生成はメリットの割に複雑すぎる。
infoof / propertyof / methodof (and reflection objects in attributes?) #128
infoof演算子(info-of、typeofのノリでMemberInfoを取得する)が欲しい。
リフレクションを言語に組み込みたくはない。nameofでもかなりのシナリオをカバーできる。
[Proposal] try-catch expressions #132
try-catch を式にしたい。
このページで提案されている構文だと問題がある。再提案があれば、取り組む価値があるかはまだ検討の必要があるかもしれないが、現状そこまでには思っていない。
Language support for the decorator design pattern #124
デコレーター(PythonのデコレーターとかKotlinのclass delgationと同種の機能)が欲しい。
いくらかのメリットがあるのはわかるし、過去に似た機能の提案も見てきた。でも、コンパイラーが暗黙的にコード生成するような機能には心配事が多々ある。 今なら、ソース ジェネレーター (たぶんC# 8)で解決できるかもしれない。
Strongly-typed type aliases #58
同じ型なんだけど、互いに暗黙的型変換はできないエイリアスを作りたい。例えば、EmailAddress型(中身はstring)とstringを区別したい。
ソース ジェネレーター (たぶんC# 8)を使って構造体をコード生成して、同様のことを実現してほしい。ソース ジェネレーターで苦痛は減るはず。
Auto properties with setter blocks #123
プロパティで、getのみ自動実装で、setは手動実装できるようにしてほしい。
良いディスカッションはあった。ディスカッションの中で出てきた副次的な案は別のissueページに移った。 でも、このページで提案されている元々の提案はやらない。バッキング フィールドを参照するような機能は得られるものに対して労力が過剰。
Implement Units of Measure or a broader class of similar contracts #144
F# のUnits of MeasureがC#にもほしい。
非常にクールな機能だと思うものの、同種のものをC#に追加するのはメリットの割にコストが大きい。
訳注: たぶん、上記のStrolngly-typed typle aliasesで十分な利用シナリオも多いと思う。
[Proposal] Better handling of multiple comparisons with the same variable (a > min && a < max) #136
min < x < max みたいな、数学でよく見る多項比較できるようにしてほしい。
C# ではすでに a < b < c が (a < b) < c の意味で有効な式になっているし、難しい。
e in (0 ... n) みたいな文法も、e < n なのか e <= n なのか混乱の元。
Allow type parameters to be declared co/contra variant on classes. #171
クラスの型引数にも共変性・反変性を認めてほしい。
CLRレベルでの対応が必須。
Proposal: Virtual arguments in methods #176
引数の実行時の型でメソッドのオーバーロードを呼び分けれるようにしてほしい(いわゆる多重ディスパッチ)。
ちゃんとやるのであればCLRレベルでの対応が必須。 型スイッチ(C# 7で入る)があれば書くのが多少楽になるけども、多重ディスパッチは型スイッチと比べてかなり複雑。
Feature Request: Lighter syntax for doc comments #85
docコメントがXMLなの重たい。JavaDoc/JSDocみたいな文法ほしい。
現状に不服があるのはわかる。でも、新旧文法の混在・競合みたいなのは嫌だし、直近での検討はしない。
重複削除・もうやってる
1行目: どういうものか
2行目: 何と重複してるか
Allow local variables to be static and/or readonly (deeper scoping) #49
ローカル変数にstatic(スコープが関数内に限られた静的フィールドを作る)とかreadonly(書き換え不能)とか付けれるようにしてほしい。
以下の2つに分割できる。
- Proposal: 'readonly' for Locals and Parameters #115
- Please allow to define static local variables in functions, like C/C++ #10552
Allow C# to use anonymous iterators. #24
匿名関数でイテレーターを作らせてほしい。
C# 7で入るローカル関数で同じことができる。
Please provide the C# Specification in PDF instead of DOCX #31
C#の仕様書をPDF提供してほしい。
長期作業として、マイクロソフトC#仕様書とECMA標準規格書の統合作業をしている。ECMAの方のはPDFで提供されてる。
訳注: 現体制になってから全然仕様書が表に出てこないんだけども… Long termってどのくらいLongなんだろう…
Lambdas omitting parameters #20
ラムダ式の引数のうち、要らないものは無視できる構文が欲しい。someFunction((_, foo) => fooだけ使う); みたいなの。
パターン マッチング(たぶんC# 8)と一緒にやる。
Extension properties for classes #112
メソッドだけじゃなくて、プロパティも拡張で作れるようにしてほしい。
以下の提案の一部分になる。
UnreachableAfterAttribute and unreachable code detecting #59
常に例外を出すことが分かっていて、呼び出しよりも後ろのコードには絶対に到達しないことが保証できるようなメソッドを作りたい。そのためにUnreachableAfterみたいな属性を作ってほしい。
never型ってのを検討中。
引き続き検討
1行目: どういうものか
2行目: どう取り組んでいるか
[Proposal] Object initializers for factory methods #133
new T { X = ... } みたいなのを、new演算子ではなく、ファクトリー メソッドを使った場合でも使えるようにしてほしい。T.Create() { X = ... } みたいな。
with式 (たぶんC# 8になる)と合わせて考えたい。
Do not require type specification for constructors when the type is known #35
var (右辺値から変数の型を推論)の逆で、T x = new();みたいに、左辺値からnewの型推論をしたい。
分解(deconstruction)の対となる構文として魅力的になりそう。
訳注: 分解の方がvar (x, y) = tuple;みたいに型推論が効くんだから、構築(new)の方にも型推論が効いても良さげ。
IAsyncDisposable, using statements, and async/await #114
非同期Disposeがしたい。usingステートメントで、IAsyncDisposable的な非同期版のインターフェイスを使えるようにしてほしい。
Lucianにタスク割り当て。
訳注: たぶん、非同期シーケンスと一緒に検討。Lucian はTask-likeとか含め、非同期処理がらみの新仕様に取り組んでる人。
Extend LINQ syntax #100
クエリ式の後にToList()とかSingle()とかの、シーケンス自体に対する操作を呼ぶのが、今の構文だとだるい。
バックログに入れておく。from x in items where x.foo, select x.bar do Single() みたいな構文がいいかも。
[Proposal] (Minor) Method groups for constructors #140
コンストラクターをメソッド グループ(デリゲートにメソッドを渡すために、Action a = Methodとか書くやつ)として認めてほしい。
よくある要求だし、よいアイディア。