A# is a port of the

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

to the

Microsoft .NET The Microsoft .NET strategy is a marketing plan that Microsoft followed in the early 2000s. Steve Ballmer described it as the company's "most ambitious undertaking since Internet Strategy Day in 1995". In support of this strategy, between 2000 an ...

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 academies, United States service academy in Air Force Academy, Colorado, Air Force Academy Colorado, immediately north of Colorado Springs, Colorado, Colorado Springs. I ...

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

GNU General Public License The GNU General Public Licenses (GNU GPL or simply GPL) are a series of widely used free software licenses, or ''copyleft'' licenses, that guarantee end users the freedom to run, study, share, or modify the software. The GPL was the first ...

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

GNAT GNAT is a free-software compiler for the Ada programming language which forms part of the GNU Compiler Collection (GCC). It supports all versions of the language, i.e. Ada 2012, Ada 2005, Ada 95 and Ada 83. Originally its ...

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).

Examples

Hello, world!

with Ada.Text_IO; use Ada.Text_IO; procedure Hello_Dotnet is begin Put_Line(Item => "Hello, world!"); end Hello_Dotnet;

References

External links

A# for .NET

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