A# is a port of the

Ada programming language Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, extended from Pascal and other languages. It has built-in language support for '' design by contract'' (DbC), extremely strong typing, expl ...

to the Microsoft .NET platform. A# is freely distributed by the Department of Computer Science at the

United States Air Force Academy The United States Air Force Academy (USAFA) is a United States service academy in El Paso County, Colorado, immediately north of Colorado Springs. It educates cadets for service in the officer corps of the United States Air Force and U ...

as a service to the Ada community under the terms of the

GNU General Public License The GNU General Public License (GNU GPL or simply GPL) is a series of widely used free software licenses that guarantee end users the four freedoms to run, study, share, and modify the software. The license was the first copyleft for general ...

. AdaCore took over this development in 2007, and announced "

GNAT A gnat () is any of many species of tiny flying insects in the dipterid suborder Nematocera, especially those in the families Mycetophilidae, Anisopodidae and Sciaridae. They can be both biting and non-biting. Most often they fly in large ...

for .NET", which is a fully supported .NET product with all of the features of A# and more. As of 2021, A# has fallen dramatically in popularity and is considered by some to be a dead language (there are no known users or implementations).

References

External links

A# for .NET

Ada Sharp .NET
Programming environment Ada (programming language) .NET programming languages {{compu-lang-stub