Taipan

Reads like Python

Indentation, def, class, f-strings, comprehensions and match. A Python developer can read any Taipan program on sight.

Checked before it runs

Types are checked at compile time. Optionals must be narrowed, match must be exhaustive, and locals are inferred.

Compiled for .NET

Programs compile to .NET assemblies, or to native executables through NativeAOT, with no runtime to install.

Both ecosystems

Call any .NET library or NuGet package with static types, and Python packages through a checked boundary. Build .NET libraries and Python extension modules from Taipan.