Neal Gafter

Champion "params Span<T>"

53

- [x] Proposal added - [ ] Discussed in LDM - [ ] Decision in LDM - [ ] Finalized (done, rejected, inactive) - [ ] Spec'ed As suggested by...

Higher Kinded Polymorphism / Generics on Generics

98

@diab0l commented on [Thu Apr 23 2015](https://github.com/dotnet/roslyn/issues/2212) ### tl;dr Haskell has monads Monads are like bacon C# needs bacon ### Introduction I have a mad craving for higher kinded polymorphism...

Champion: "Partial Type Inference"

86

- [ ] Proposal added - [ ] Discussed in LDM - [ ] Decision in LDM - [ ] Finalized (done, rejected, inactive) - [ ] Spec'ed See #1348...

Champion: Remove error "Cannot yield a value in the body of a try block with a catch clause"

6

As [recently noted by C# users](https://github.com/dotnet/csharplang/issues/765#issuecomment-552612460), the existing restriction that you cannot yield a value in the body of a try block with a catch clause is one that interferes...

Champion "Allow `System.Enum` as a constraint" (15.7)

136

Allows `where T : System.Enum` - [ ] Proposal added - [x] [Discussed in LDM](https://github.com/dotnet/csharplang/blob/master/meetings/2017/LDM-2017-02-21.md#delegate-and-enum-constraints) - [ ] Decision in LDM - [ ] Finalized (done, rejected, inactive) - [...

Generic operators support in C#.

26

@dmitriyse commented on [Fri Dec 18 2015](https://github.com/dotnet/roslyn/issues/7599) Currently c# does not support generic operators definition like that: ``` C# public static MyAddExpression operator+(SomeClass c, T t){return ...} ``` This support...

Champion "Method Contracts"

137

- [ ] Proposal added - [ ] Discussed in LDM - [ ] Decision in LDM - [ ] Finalized (done, rejected, inactive) - [ ] Spec'ed See also...

Five ideas for improving working with fixed buffers

22

I just spent an hour or so brainstorming with @JeremyKuhne about issues he's had with fixed buffers, readonly struct, and ref structs. He'd like to declare some structures for interop...

Champion "pattern-based `with` expressions"

14

- [ ] Proposal added - [ ] Discussed in LDM - [ ] Decision in LDM - [ ] Finalized (done, rejected, inactive) - [ ] Spec'ed In C#...

Proposal: Sequence Expressions

42

@gafter commented on [Tue Oct 20 2015](https://github.com/dotnet/roslyn/issues/6182) We propose a form of expression that allows you to declare temporary variables before the final result of the expression. We replace the...