[d3nj4l]

You want C# with dotnet AOT.

[zoom6628]

You beat me to it. Exactly this - use C#.

[cjonas]

Last I checked C# didn't have an algebraic type system...

[Smaug123]

But F# is sitting in the corner with an eyebrow cocked suggestively.

[TDiblik]

C# does not have "type" keyword and really lacks behind with enums. You can theoretically replace algebraic type system with inheritance, however that's a lot of times ugly and you propablly shouldn't do it.