AOT analysis warning IL3050: Program.<>c.<<Main>b__2_0>d.MoveNext(): Using member 'System.Text.Json.JsonSerializer.Deserialize<Payload>(String,JsonSerializerOptions)' which has 'RequiresDynamicCodeAttribute' can break functionality when AOT compiling. JSON serialization and deserialization might require types that cannot be statically analyzed and might need runtime code generation. Use System.Text.Json source generation for native AOT applications.

Creating and using generics is a 2-phase process.

The definition of the generic is defined as a new type: this is a code template, a macro which can be replayed by the compiler at a later stage.
A generic type is specialized: this defines a second type, which is a specific implementation of the generic type: the compiler replays the macro which was stored when the generic type was defined.

S> R>Отладка как отладка

g> R>В Delphi и натив, и память не жрется, и рефлексия в полный рост

program Project1;
uses
  System.Rtti, System.Classes;
begin
  var t := TRttiContext.Create.GetType(TFileStream);

  WriteLn('Fields:');
  for var f in t.GetFields do
    WriteLn('  ', f.ToString);

  WriteLn('Methods:');
  for var m in t.GetMethods do
    WriteLn('  ', m.ToString);
end.

Fields:
  FFileName: string @ 08
  FHandle: NativeUInt @ 04
Methods:
  constructor Create(const AFileName: string; Mode: Word)
  constructor Create(const AFileName: string; Mode: Word; Rights: Cardinal)
  destructor Destroy
  constructor Create(AHandle: NativeUInt)
  function Read(var Buffer; Count: Integer): Integer
  function Write(const Buffer; Count: Integer): Integer
  function Seek(const Offset: Int64; Origin: TSeekOrigin): Int64
  function Read(var Buffer; Count: Integer): Integer
  function Write(const Buffer; Count: Integer): Integer
  function Read(Buffer: TArray<System.Byte>; Offset: Integer; Count: Integer): Integer
  function Write(const Buffer: TArray<System.Byte>; Offset: Integer; Count: Integer): Integer
  function Read(var Buffer: TArray<System.Byte>; Count: Integer): Integer
  function Write(const Buffer: TArray<System.Byte>; Count: Integer): Integer
  function Read64(Buffer: TArray<System.Byte>; Offset: Int64; Count: Int64): Int64
  function Write64(const Buffer: TArray<System.Byte>; Offset: Int64; Count: Int64): Int64
  function ReadData(Buffer: Pointer; Count: NativeInt): NativeInt
  function ReadData(const Buffer: TArray<System.Byte>; Count: NativeInt): NativeInt
  function ReadData(var Buffer: Boolean): NativeInt
  function ReadData(var Buffer: Boolean; Count: NativeInt): NativeInt
  function ReadData(var Buffer: AnsiChar): NativeInt
  function ReadData(var Buffer: AnsiChar; Count: NativeInt): NativeInt
  function ReadData(var Buffer: Char): NativeInt
  function ReadData(var Buffer: Char; Count: NativeInt): NativeInt
  function ReadData(var Buffer: ShortInt): NativeInt
  function ReadData(var Buffer: ShortInt; Count: NativeInt): NativeInt
  function ReadData(var Buffer: Byte): NativeInt
  function ReadData(var Buffer: Byte; Count: NativeInt): NativeInt
  function ReadData(var Buffer: SmallInt): NativeInt
  function ReadData(var Buffer: SmallInt; Count: NativeInt): NativeInt
  function ReadData(var Buffer: Word): NativeInt
  function ReadData(var Buffer: Word; Count: NativeInt): NativeInt
  function ReadData(var Buffer: Integer): NativeInt
  function ReadData(var Buffer: Integer; Count: NativeInt): NativeInt
  function ReadData(var Buffer: Cardinal): NativeInt
  function ReadData(var Buffer: Cardinal; Count: NativeInt): NativeInt
  function ReadData(var Buffer: Int64): NativeInt
  function ReadData(var Buffer: Int64; Count: NativeInt): NativeInt
  function ReadData(var Buffer: UInt64): NativeInt
  function ReadData(var Buffer: UInt64; Count: NativeInt): NativeInt
  function ReadData(var Buffer: Single): NativeInt
  function ReadData(var Buffer: Single; Count: NativeInt): NativeInt
  function ReadData(var Buffer: Double): NativeInt
  function ReadData(var Buffer: Double; Count: NativeInt): NativeInt
  function ReadData(var Buffer: Extended): NativeInt
  function ReadData(var Buffer: Extended; Count: NativeInt): NativeInt
  function ReadData(var Buffer: TExtended80Rec): NativeInt
  function ReadData(var Buffer: TExtended80Rec; Count: NativeInt): NativeInt
  function WriteData(const Buffer: TArray<System.Byte>; Count: NativeInt): NativeInt
  function WriteData(const Buffer: Pointer; Count: NativeInt): NativeInt
  function WriteData(const Buffer: Boolean): NativeInt
  function WriteData(const Buffer: Boolean; Count: NativeInt): NativeInt
  function WriteData(const Buffer: AnsiChar): NativeInt
  function WriteData(const Buffer: AnsiChar; Count: NativeInt): NativeInt
  function WriteData(const Buffer: Char): NativeInt
  function WriteData(const Buffer: Char; Count: NativeInt): NativeInt
  function WriteData(const Buffer: ShortInt): NativeInt
  function WriteData(const Buffer: ShortInt; Count: NativeInt): NativeInt
  function WriteData(const Buffer: Byte): NativeInt
  function WriteData(const Buffer: Byte; Count: NativeInt): NativeInt
  function WriteData(const Buffer: SmallInt): NativeInt
  function WriteData(const Buffer: SmallInt; Count: NativeInt): NativeInt
  function WriteData(const Buffer: Word): NativeInt
  function WriteData(const Buffer: Word; Count: NativeInt): NativeInt
  function WriteData(const Buffer: Integer): NativeInt
  function WriteData(const Buffer: Integer; Count: NativeInt): NativeInt
  function WriteData(const Buffer: Cardinal): NativeInt
  function WriteData(const Buffer: Cardinal; Count: NativeInt): NativeInt
  function WriteData(const Buffer: Int64): NativeInt
  function WriteData(const Buffer: Int64; Count: NativeInt): NativeInt
  function WriteData(const Buffer: UInt64): NativeInt
  function WriteData(const Buffer: UInt64; Count: NativeInt): NativeInt
  function WriteData(const Buffer: Single): NativeInt
  function WriteData(const Buffer: Single; Count: NativeInt): NativeInt
  function WriteData(const Buffer: Double): NativeInt
  function WriteData(const Buffer: Double; Count: NativeInt): NativeInt
  function WriteData(const Buffer: Extended): NativeInt
  function WriteData(const Buffer: Extended; Count: NativeInt): NativeInt
  function WriteData(const Buffer: TExtended80Rec): NativeInt
  function WriteData(const Buffer: TExtended80Rec; Count: NativeInt): NativeInt
  function Seek32(const Offset: Integer; Origin: TSeekOrigin): Int64
  function Seek(Offset: Integer; Origin: Word): Integer
  function Seek(const Offset: Int64; Origin: TSeekOrigin): Int64
  function Seek(const Offset: Int64; Origin: Word): Int64
  procedure ReadBuffer(var Buffer; Count: NativeInt)
  procedure ReadBuffer(var Buffer: TArray<System.Byte>; Count: NativeInt)
  procedure ReadBuffer(var Buffer: TArray<System.Byte>; Offset: NativeInt; Count: NativeInt)
  procedure ReadBufferData(var Buffer: Boolean)
  procedure ReadBufferData(var Buffer: Boolean; Count: NativeInt)
  procedure ReadBufferData(var Buffer: AnsiChar)
  procedure ReadBufferData(var Buffer: AnsiChar; Count: NativeInt)
  procedure ReadBufferData(var Buffer: Char)
  procedure ReadBufferData(var Buffer: Char; Count: NativeInt)
  procedure ReadBufferData(var Buffer: ShortInt)
  procedure ReadBufferData(var Buffer: ShortInt; Count: NativeInt)
  procedure ReadBufferData(var Buffer: Byte)
  procedure ReadBufferData(var Buffer: Byte; Count: NativeInt)
  procedure ReadBufferData(var Buffer: SmallInt)
  procedure ReadBufferData(var Buffer: SmallInt; Count: NativeInt)
  procedure ReadBufferData(var Buffer: Word)
  procedure ReadBufferData(var Buffer: Word; Count: NativeInt)
  procedure ReadBufferData(var Buffer: Integer)
  procedure ReadBufferData(var Buffer: Integer; Count: NativeInt)
  procedure ReadBufferData(var Buffer: Cardinal)
  procedure ReadBufferData(var Buffer: Cardinal; Count: NativeInt)
  procedure ReadBufferData(var Buffer: Int64)
  procedure ReadBufferData(var Buffer: Int64; Count: NativeInt)
  procedure ReadBufferData(var Buffer: UInt64)
  procedure ReadBufferData(var Buffer: UInt64; Count: NativeInt)
  procedure ReadBufferData(var Buffer: Single)
  procedure ReadBufferData(var Buffer: Single; Count: NativeInt)
  procedure ReadBufferData(var Buffer: Double)
  procedure ReadBufferData(var Buffer: Double; Count: NativeInt)
  procedure ReadBufferData(var Buffer: Extended)
  procedure ReadBufferData(var Buffer: Extended; Count: NativeInt)
  procedure ReadBufferData(var Buffer: TExtended80Rec)
  procedure ReadBufferData(var Buffer: TExtended80Rec; Count: NativeInt)
  procedure WriteBuffer(const Buffer; Count: NativeInt)
  procedure WriteBuffer(const Buffer: TArray<System.Byte>; Count: NativeInt)
  procedure WriteBuffer(const Buffer: TArray<System.Byte>; Offset: NativeInt; Count: NativeInt)
  procedure WriteBufferData(var Buffer: Integer; Count: NativeInt)
  function CopyFrom(const Source: TStream; Count: Int64; BufferSize: Integer): Int64
  function ReadComponent(const Instance: TComponent): TComponent
  function ReadComponentRes(const Instance: TComponent): TComponent
  procedure WriteComponent(const Instance: TComponent)
  procedure WriteComponentRes(const ResName: string; const Instance: TComponent)
  procedure WriteDescendent(const Instance: TComponent; const Ancestor: TComponent)
  procedure WriteDescendentRes(const ResName: string; const Instance: TComponent; const Ancestor: TComponent)
  procedure WriteResourceHeader(const ResName: string; out FixupInfo: Integer)
  procedure FixupResourceHeader(FixupInfo: Integer)
  procedure ReadResHeader
  constructor Create
  procedure Free
  procedure DisposeOf
  class function InitInstance(Instance: Pointer): TObject
  procedure CleanupInstance
  function ClassType: TClass
  class function ClassName: string
  class function ClassNameIs(const Name: string): Boolean
  class function ClassParent: TClass
  class function ClassInfo: Pointer
  class function InstanceSize: Integer
  class function InheritsFrom(AClass: TClass): Boolean
  class function MethodAddress(const Name: ShortString): Pointer
  class function MethodAddress(const Name: string): Pointer
  class function MethodName(Address: Pointer): string
  class function QualifiedClassName: string
  function FieldAddress(const Name: ShortString): Pointer
  function FieldAddress(const Name: string): Pointer
  function GetInterface(const IID: TGUID; out Obj): Boolean
  class function GetInterfaceEntry(const IID: TGUID): PInterfaceEntry
  class function GetInterfaceTable: PInterfaceTable
  class function UnitName: string
  class function UnitScope: string
  function Equals(Obj: TObject): Boolean
  function GetHashCode: Integer
  function ToString: string
  function SafeCallException(ExceptObject: TObject; ExceptAddr: Pointer): HRESULT
  procedure AfterConstruction
  procedure BeforeDestruction
  procedure Dispatch(var Message)
  procedure DefaultHandler(var Message)
  class function NewInstance: TObject
  procedure FreeInstance
  destructor Destroy

S>> R>Так в Delphi он тоже не работает для дженериков

Какая-то странная логика... Завтра выйдет среда с починенным интелисенсом и язык сразу станет нужен? А по мне так, нахрен не нужен язык, где нормальную шаблонизацию заменили огороженными симулякрами и окостылили со всех сторон. Где для того, чтобы разобраться в коде, нужно запустить монстроидную IDE, без которой хер ты его нормально почитаешь.

R> Где это я такое сказал? Посыл тех слов, что ты отквотил совершенно другой, перечитайка.

static T Add<T>(T left, T right)
    where T : INumber<T>
{
    return left + right;
}

S>> S>> static T Add<T>(T left, T right)
S>> S>>     where T : INumber<T>
S>> S>> {
S>> S>>     return left + right;
S>> S>> }
S>> S>>

R>

Какая-то странная логика... Завтра выйдет среда с починенным интелисенсом и язык сразу станет нужен? [А по мне так, нахрен не нужен язык, где нормальную шаблонизацию заменили огороженными симулякрами и окостылили со всех сторон. Где для того, чтобы разобраться в коде, нужно запустить монстроидную IDE, без которой хер ты его нормально почитаешь.

R>Да знаю я чего ты имел ввиду: если шарп не могет, то это и не нужно Все же просто До генерикматха и вычислительные операции в дженериках не нужны были, правда же?

static T Add<T>(T left, T right)
    where T : INumber<T>
{
    return left + right;
}

interface IMonoid<T>
{
static T Zero{get;}
static T operator+(T t1, T t2)
static T operator*(T t1, T t2)
}

role IntMonoid extednds int
{
public static int Zero = 0;
}

R>И где ты видишь слова о том, что IDE не нужна? Тут сказано, что язык не нужен, если его без IDE читать невозможно