ATS vs ASP.NET Core

ATS has a theorem-proving type system powerful enough to prove that its functions meet their specifications. This happens at compile time with no performance impact at runtime. This can be used to prove that an ATS program doesn't have bugs commonly found in C++ programs, like "this function never leaks memory" or "this program never attempts to divide by zero" or "this buffer never overflows" or to verify pointer arithmetic, etc.

The compiler (ATS/Postiats) is GPLv3.

The syntax is ML-like with the usual functional language features like pattern matching and tail-call optimization.

ATS works as a low-level systems language. ATS programs have performance and footprint comparable to programs written in C/C++.

Similar to Modula-3. This makes ATS a viable choice even for large-scale projects.

ATS can prove its concurrent programs have no deadlocks or race conditions.

Thanks to breakthroughs in ROSLYN compiler and the efforts of the .NET COre developer team, code written in C# can reach speeds just a step behind C++.

Can run on Windows, Linux and Mac (also Visual Studio Code editor).

In .NET Core 2.1 and 3.0, new APIs are added that make it possible to write JSON APIs that require less memory, using Span<T> and UTF8 strings, and improve throughput of applications like Kestrel, ASP.NET Core web server. See also Utf8JsonReader.

Both microsoft and 3rd party tutorials are mostly of high quality and encourage you to use the industry best-practices.

Built-in middleware featuring: Authentication, Cookie policy, Health Check, MVC, Session etc.

Ability to host on IIS, Nginx, Apache, Docker, or self-host in your own process.

It is a very secure platform.

Both VS and VSCode are powerful free IDEs that are well integrated with ASP.net Core. VS Community also allows for commercial use for projects with less than 5 developers.