csharplang/meetings/2018

C# Language Design Notes for 2018

Overview of meetings and agendas for 2018

Jan 3, 2018

C# Language Design Notes for Jan 3, 2018

1. Scoping of expression variables in constructor initializer
2. Scoping of expression variables in field initializer
3. Scoping of expression variables in query clauses
4. Caller argument expression attribute
5. Other caller attributes
6. New constraints

Jan 10, 2018

C# Language Design Notes for Jan 10, 2018

1. Ranges and endpoint types

Jan 18, 2018

C# Language Design Notes for Jan 18, 2018

We discussed the range operator in C# and the underlying types for it.

1. Scope of the feature
2. Range types
3. Type name
4. Open-ended ranges
5. Empty ranges
6. Enumerability
7. Language questions

Jan 22, 2018

C# Language Design Notes for Jan 22, 2018

We continued to discuss the range operator in C# and the underlying types for it.

1. Inclusive or exclusive?
2. Natural type of range expressions
3. Start/length notation

Jan 24, 2018

C# Language Design Notes for Jan 24, 2018

1. Ref reassignment
2. New constraints
3. Target typed stackalloc initializers
4. Deconstruct as ref extension method

July 9, 2018

C# Language Design Notes for July 9, 2018

1. using var feature
   1. Overview
   2. Tuple deconstruction grammar form
   3. using expr; grammar form
   4. Flow control safety
2. Pattern-based Dispose in the using statement
3. Relax Multiline interpolated string syntax ($@)

July 11, 2018

C# Language Design Notes for July 11, 2018

1. Controlling nullable reference types with feature flags
2. Interaction with NonNullTypesAttribute
3. Feature flag and 'warning waves'
4. How 'oblivious' null types interact with generics
5. Nullable and interface generic constraints

July 16, 2018

C# Language Design Notes for July 16, 2018

1. Null-coalescing assignment
   1. User-defined operators
   2. Unconstrained type parameters
   3. Throw expression the right-hand side
2. Nullable await
3. Nullable pointer access
4. Non-nullable reference types feature flag follow-up

August 20, 2018

C# Language Design Notes for August 20, 2018

1. Remaining questions on suppression operator (and possibly cast)
2. Does a dereference update the null-state?
3. Null contract attributes
4. Expanding the feature
5. Is T? where T : class? allowed or meaningful?
6. Typing judgments containing oblivious types
7. Unconstrained T in List<T> then FirstOrDefault(). What attribute to annotate FirstOrDefault?

August 22, 2018

C# Language Design Notes for August 22, 2018

1. Target-typed new
2. Clarification on constraints with nullable reference types enabled

September 5, 2018

C# Language Design Notes for September 5, 2018

1. Index operator: is it a unary operator?
2. Compiler intrinsics

September 10, 2018

C# Language Design Notes for September 10, 2018

1. Nullability of constraints in inheritance and interface implementation
2. Static local functions

Sep 19, 2018

C# Language Design Notes for September 19, 2018

Triage:

1. XML doc comment features
2. New foreach pattern using Length and indexer
3. Object initializers for readonly members
4. readonly struct methods
5. params Span<T>
6. Nullable reference type features on Nullable<T>

Sep 24, 2018

C# Language Design Notes for September 24, 2018

Combined C#/F# LDM

1. What new C# features are going to require work to get F# support?
2. How can the design of C# features play well with the broader .NET environment?

Sep 26, 2018

C# Language Design Notes for September 26, 2018

1. Warning waves

Oct 1, 2018

C# Language Design Notes for Oct 1, 2018

1. Nullable type inference
2. Type parameters and nullability context

Oct 3, 2018

C# Language Design Notes for Oct 3, 2018

1. How is the nullable context expressed?
2. Async streams - which interface shape?

Oct 10, 2018

C# Language Design Notes for Oct 10, 2018

1. Pattern matching open questions

Oct 15, 2018

C# Language Design Notes for Oct 15, 2018

1. Readonly methods in structs
2. Intrinsics update with function pointers
3. Finalize syntax for async-streams. Per last notes, the current tentative syntax is foreach await (var x in ...) ....

Oct 17, 2018

C# Language Design Notes for Oct 17, 2018

1. Open issues with default interface methods
2. target typed new with default constructors on structs

Oct 22, 2018

C# Language Design Notes for Oct 22, 2018

Discussion of records proposals:

1. The existing old one
2. The data classes proposal

Oct 24, 2018

• Adding Nullable Reference Type features to Nullable Value Types
• Open issues with pattern matching

Oct 29, 2018

C# Language Design Notes for Oct 29, 2018

• Source-level opt-in to nullable reference types

Oct 31, 2018

C# Language Design Notes for Oct 31, 2018

• Design review

Nov 5, 2018

C# Language Design Notes for Nov 5, 2018

1. Where can #nullable go?
2. Open issues with pattern matching

Nov 14, 2018

C# Language Design Notes for Nov 14, 2018

1. Base call syntax for default interface implementations
2. Switch exhaustiveness and null

Nov 28, 2018

C# Language Design Notes for Nov 28, 2018

1. Are nullable annotations part of array specifiers?
2. Cancellation of async-streams

Dec 3, 2018

C# Language Design Notes for Dec 3, 2018

1. using declaration open issues
2. Return type of Range indexer on array and FX types

Dec 5, 2018

C# Language Design Notes for Dec 5, 2018

• Tracked nullable states, their correspondence to source and the rules they follow in flow analysis

Dec 12, 2018

C# Language Design Notes for Dec 12, 2018

• Async-streams misc. questions
• Compat issue with Dispose pattern in foreach

Upcoming meetings

Dec 17, 2018

• Review the Nullable Reference Types Specification

Recurring topics

• Triage championed features
• Triage milestones
• Design review