Comment by bob1029

> A key part of the SQL data model is the primary key. I'd really love to see a programming language make PKs or something like them a first-class construct.

This certainly seems like an excellent place to start. Every single one of my domain types starts like:

  public class MySpecialType
  {
    public Guid Id { get; set; } = Guid.NewGuid();
    //...
  }

Having some notion of a first class identity that I could leverage without having to explicitly add a public Id property would be worth looking at.

But, what about the relational aspect? Identity is trivial to solve IMO. How do we canonicalize this idea of relations between types? The way I do this today is:

  public class MyRelatedType
  {
    public Guid Id { get; set; } = Guid.NewGuid();
    public Guid? MySpecialTypeId { get; set; } 
    //...
  }

And then I just tie it all together with LINQ statements as appropriate.

Is there a better way to express this idea with some shiny new language constructs? I feel like I am running out of physical lines of code to golf with here.

The only thing I can think of that is more concise than my above code examples would be SQL.