Candidate Features For C# 9

The long road to C# 9 has already begun and this is the first article in the world about the C# 9 Candidate features. Once you have completed reading this article, you will hopefully be better prepared for the new C# challenges you will meet in the future.

The article is based on,

9.0 Candidate in Language Version Planning

Records and Pattern-based With-Expression

I have been waiting for a long time for this feature. Records is a lightweight immutable type. They are nominally typed, and they might have (methods, properties, operators, etc) and allow you to compare structural equality! Also, the record properties are read-only by default.

Records can be Value Type or Reference Type.

Example

public class Point3D(double X, double Y, double Z);
public class Demo
{
public void CreatePoint()
{
var p = new Point3D(1.0, 1.0, 1.0);
}
}

The code above is converted to,

public class Point3D
{
private readonly double <X>k__BackingField;
private readonly double <Y>k__BackingField;
private readonly double <Z>k__BackingField;
public double X {get {return <X>k__BackingField;}}
public double Y{get{return <Y>k__BackingField;}}
public double Z{get{return <Z>k__BackingField;}}
public Point3D(double X, double Y, double Z)
{
<X>k__BackingField = X;
<Y>k__BackingField = Y;
<Z>k__BackingField = Z;
}
public bool Equals(Point3D value)
{
return X == value.X && Y == value.Y && Z == value.Z;
}
public override bool Equals(object value)
{
Point3D value2;
return (value2 = (value as Point3D)) != null && Equals(value2);
}
public override int GetHashCode()
{
return ((1717635750 * -1521134295 + EqualityComparer<double>.Default.GetHashCode(X)) * -1521134295 + EqualityComparer<double>.Default.GetHashCode(Y)) * -1521134295 + EqualityComparer<double>.Default.GetHashCode(Z);
}
}
Using Records:
public class Demo
{
public void CreatePoint()
{
Point3D point3D = new Point3D(1.0, 1.0, 1.0);
}
}

Records proposal is introduced with the new proposed feature "with-expression", and you can use them together like the following,

var newPoint3D = point3D.With(x: 42);

The created new point (newPoint3D) just like the existing one (point3D), but with the value of X changed to 42.

This future is also working very well with pattern matching. I will cover this topic in a separate article.

Records in F#

Copy from F# MSDN example, type Point3D = {X: float; Y: float; Z: float}

let evaluatePoint (point: Point3D) =
match point with
| { X = 0.0; Y = 0.0; Z = 0.0 } -> printfn "Point is at the origin."
| { X = xVal; Y = 0.0; Z = 0.0 } -> printfn "Point is on the x-axis. Value is %f." xVal
| { X = 0.0; Y = yVal; Z = 0.0 } -> printfn "Point is on the y-axis. Value is %f." yVal
| { X = 0.0; Y = 0.0; Z = zVal } -> printfn "Point is on the z-axis. Value is %f." zVal
| { X = xVal; Y = yVal; Z = zVal } -> printfn "Point is at (%f, %f, %f)." xVal yVal zVal
evaluatePoint { X = 0.0; Y = 0.0; Z = 0.0 }
evaluatePoint { X = 100.0; Y = 0.0; Z = 0.0 }
evaluatePoint { X = 10.0; Y = 0.0; Z = -1.0 }

The output of this code is as follows.

Point is at the origin.
Point is on the x-axis. Value is 100.000000.
Point is at (10.000000, 0.000000, -1.000000).

The first question which comes to my mind why do we need Records? Is it not better to use a struct?

To answer the questions, I have posted a quote from Reddit:

"Structs are a thing you have to have some discipline to implement. You don't have to make them immutable. You don't have to implement their value equality logic. You don't have to make them comparable. If you don't, you lose almost all of their benefits, but the compiler doesn't enforce any of these constraints.

Record types are implemented by the compiler, which means you have to meet all of those criteria and can't get them wrong.

So not only do they save a lot of boilerplate, they eliminate an entire class of potential bugs.

Moreover, this feature existed over a decade in F#, and other languages like (Scala, Kotlin) have a similar concept too.

Examples for other languages that support both constructors and records,

type Greeter(name: string) = member this.SayHi() = printfn "Hi, %s" name

Scala

class Greeter(name: String)
{
def SayHi() = println("Hi, " + name)
}

Kotlin

class Greeter(val name: String)
{
fun sayhi()
{
println("Hi, ${name}");
}
}

Meanwhile, we are still writing in C# the long code below,

public class Greeter
{
private readonly string _name;
public Greeter(string name)
{
_name = name;
}
public void Greet()
{
Console.WriteLine($ "Hello, {_name}");
}
}

When this feature is done, then we can reduce the C# code to,

public class Greeter(name: string)
{
public void Greet()
{
Console.WriteLine($ "Hello, {_name}");
}
}

Less code! = I love it!

Type Classes

This feature is inspired from Haskell and it is one of my favorite features. As I said before, two years ago in my old article, C# is going to implement more functional programming concepts and this is one of those FP- concepts. In functional programming, Type Classes allow you to add a set of operations on a type, but not implement it. Since the implementation is done elsewhere, this is a form of polymorphism, but lots more flexible or ad-hoc than the classical kind in object-oriented programming languages.

Type classes and C# interfaces serve similar purposes, but the way they work is somewhat different, and in some cases, Type Classes are more straightforward to use because of working on fixed types rather than pieces of an inheritance hierarchy.

This feature was originally introduced together with “extending everything” feature, and you can combine them as shown below in Mads Torgersen example.

I have quoted some text from the official proposal:

"In general, a "shape" declaration is very much like an interface declaration, except that it,

Can define almost any kind of member (including static members)
Can be implemented by an extension
Can be used as a type only in certain places."

Haskell Type Class example.

class Eq a where
(==) :: a -> a -> Bool
(/=) :: a -> a -> Bool

"Eq" is the class name, and ==, /= are the operations in the class. A type "a" is an instance of the class "Eq".

Haskell example as a generic C# interface,

interface Eq <A>
{
bool Equal(A a, A b);
bool NotEqual(A a, A b);
}

Haskell example as Type Classes in C# 9(shape is a new distinctive keyword for Type classes),

shape Eq<A>
{
bool Equal(A a, A b);
bool NotEqual(A a, A b);
}

Example to show the syntax similarity between interfaces and type classes,

interface Num<A>
{
A Add(A a, A b);
A Mult(A a, A b);
A Neg(A a);
}
struct NumInt : Num<int>
{
public int Add(int a, int b) => a + b;
public int Mult(int a, int b) => a * b;
public int Neg(int a) => -a;
}

With C# 9 Type Classes concept C#,

shape Num<A>
{
A Add(A a, A b);
A Mult(A a, A b);
A Neg(A a);
}
instance NumInt : Num<int>
{
int Add(int a, int b) => a + b;
int Mult(int a, int b) => a * b;
int Neg(int a) => -a;
}

Mads Torgersen Example

Important information: a shape is not a type. Instead, the primary purpose of a shape is to be used as a generic constraint, limiting type arguments to have the right shape, while allowing the body of the generic declaration to make use of that shape,

Original Source

public shape SGroup<T>
{
static T operator +(T t1, T t2);
static T Zero {get;}
}

This declaration says that a type can be an SGroup<T> if it implements a+ operator over T, and a Zero static property.

public extension IntGroup of int: SGroup<int>
{
public static int Zero => 0;
}

And the extension.

public static AddAll<T>(T[] ts) where T: SGroup<T> // shape used as constraint
{
var result = T.Zero; // Making use of the shape's Zero property
foreach (var t in ts) { result += t; } // Making use of the shape's + operator
return result;
}

Let us call the AddAll method with some ints,

int[] numbers = { 5, 1, 9, 2, 3, 10, 8, 4, 7, 6 };
WriteLine(AddAll(numbers)); // infers T = int

Dictionary Literals

Introduces a simpler syntax to create initialized Dictionary<TKey,TValue> objects without having to specify either the Dictionary type name or the type parameters. The type parameters for the dictionary are inferred using the existing rules used for array type inference.

// C# 1..8
var x = new Dictionary <string,int> () { { "foo", 4 }, { "bar", 5 }};
// C# 9
var x = ["foo":4, "bar": 5];

This proposal makes the work with dictionaries in C# simpler and removing the redundant code. In addition, it is worth to mention that a similar dictionary-syntax is used in other programming languages like F# and Swift.

Params Span<T>

Allows the params syntax to use Span<T> this help to implement params parameter-passing without any heap allocation. This feature could make the use of params methods much more efficient.

The new Syntax could be like,

void Foo(params Span<int> values);

Allow no-arg constructor and field initializers in struct declarations

Until now no-arg constructor and field initializers in struct declarations are not allowed in C#. In C# 9, this limitation will be removed.

StackOverflow example

public struct Rational
{
private long numerator;
private long denominator;
public Rational(long num, long denom)
{ /* Todo: Find GCD etc. */ }
public Rational(long num)
{
numerator = num;
denominator = 1;
}
public Rational() // This is not allowed
{
numerator = 0;
denominator = 1;
}
}

Link to StackOverflow Example

Quoted Text from the official proposal,

"HaloFour commented on Nov 6, 2017

Proposal #99.

That proposal seeks to remove the language limitation which prevents declaring a default constructor. The CLR already fully supports structs with default constructors, and C# supports using them. They are entirely unrelated to constants and couldn't be related to constants given that the feature already exists at the CLR level and behaves differently."

Native-Sized Number Types

Introduces a new set of native types (nint, nuint, nfloat, etc) the ‘n’ for native. The design of the new data types is planned to allow a one C# source file to use 32 naturally- or 64-bit storage depending on the host platform type and the compilation settings.

The native type is depending on the OS,

nint nativeInt = 55; take 4 bytes when I compile in 32 Bit host.
nint nativeInt = 55; take 8 bytes when I compile in 64 Bit host with x64 compilation settings.

A similar concept exists already in xamarin,

xamarin native types

Fixed Sized Buffers

These provide a general-purpose and safe mechanism for declaring fixed sized buffers to the C# language.

“Motivation Today, users can create fixed-sized buffers in an unsafe-context. However, this requires the user to deal with pointers, manually perform bounds checks, and only supports a limited set of types (bool, byte, char, short, int, long, sbyte, ushort, uint, ulong, float, and double).”

This feature will make fixed-sized buffer safe as in the example below.

One would declare a safe fixed-sized buffer via the following,

public fixed DXGI_RGB GammaCurve[1025];

The declaration would get translated into an internal representation by the compiler that is similar to the following,

[FixedBuffer(typeof(DXGI_RGB), 1024)]
public ConsoleApp1.<Buffer>e__FixedBuffer_1024<DXGI_RGB> GammaCurve;
// Pack = 0 is the default packing and should result in indexable layout.
[CompilerGenerated, UnsafeValueType, StructLayout(LayoutKind.Sequential, Pack = 0)]
struct <Buffer>e__FixedBuffer_1024<T>
{
private T _e0;
private T _e1;
// _e2 ... _e1023
private T _e1024;
public ref T this[int index] => ref (uint)index <= 1024u ?
ref RefAdd<T>(ref _e0, index):
throw new IndexOutOfRange();
}

Uft8 string literals

It is about defining a new type of UTF8String which will be like,

System.UTF8String myUTF8string ="Test String";

based(T)

The problem,

interface I1
{
void M(int) { }
}
interface I2
{
void M(short) { }
}
interface I3
{
override void I1.M(int) { }
}
interface I4 : I3
{
void M2()
{
base(I3).M(0) // What does this do?
}
}

"The tricky part here is that both M(short) and M(int) are applicable to M(0), but lookup rules also say that if we find an applicable member in a more derived interface, we ignore members from the less derived interfaces. Combined with the rule that overrides are not found during lookup, when looking in I3 the first thing we find is I2.M, which is applicable, meaning that I1.M does not appear in the list of applicable members.

Since we concluded in the previous meeting that an implementation must exist in the target type, and I2.M is the only applicable member, the call base(I3).M(0) as written is an error, because I2.M does not have an implementation in I3."

More Information,

https://github.com/dotnet/csharplang/issues/2337
https://github.com/dotnet/csharplang/blob/master/meetings/2019/LDM-2019-02-27.md

Summary

You have read the first C# 9 Candidate features. As you have seen, many new features are inspired from other programming languages or programming paradigms, and not self-innovation, but the good thing is that the most of candidate features are well accepted among the community.

17 Comments

Join the conversation! Your thoughts help the community grow.

Claus Bruun6y ago
Did 'Type Classes' proposal fall out of the top proposals ?
- Bassam Alugili6y ago
  I will check it out and give you a feedback. Thank you!
- Bassam Alugili6y ago
  Claus Bruun more info: https://www.c-sharpcorner.com/article/deev-dive-into-c-sharp-9/
Jefferson S. Motta7y ago
C# 8 and C# 9 will not run in the dead .NET FrameWork 4.8, only in .NET Core >3. Thats too bad.
Huzefa Kagdi7y ago
Nice article. One thing I wanted to point out. Is the code 'public class Greeter(name: string)' in C# the correct syntax? Should it not be public class Greeter(string name)?
- Bassam Alugili7y ago
  Huzefa, this is exactly the proposal orignal example,but you have right ":", should be replaced with space. thank you for the tip.
Bassam Alugili7y ago
Atul, thank you for your comment!
Atul Sharma7y ago
Well written and first article on the internet about C# 9.0 .
Zhenyu Liu7y ago
Very nice article, thank you for your contribution to C#
- Bassam Alugili7y ago
  Liu Thank you for the translation: https://www.cnblogs.com/CoderAyu/p/11000386.html
- Bassam Alugili7y ago
  You are welcome :)
Bassam Alugili7y ago
www.bassam.ml
Bassam Alugili7y ago
Thank you too! Yes the space is missing. I will add the missing space.
- Suraj Kumar7y ago
  Thanks and change Uft8 string to UTF-8 string if it is right...
Suraj Kumar7y ago
Thanks for sharing nice article. I think Uft8 it should be UTF8.
Bassam Alugili7y ago
Thank you Rushi! I am happy to hear that.
Rushi Mehta7y ago
Nice Article..