Language page — context, influences, and learning notes on the 100hellos site.
Source on GitHub (100hellos/ada)
docker run --rm --platform="linux/amd64" 100hellos/ada:latest
Read the repo README, or fork the project and customize it.
For an interactive shell:
docker run --rm --platform="linux/amd64" --entrypoint="" -it 100hellos/ada:latest zsh
Ada is a high-level structured programming language designed with a focus on safety due to its roots in embedded and real-time systems. From Wikipedia:
[Ada] has built-in language support for design by contract (DbC), extremely strong typing, explicit concurrency, tasks, synchronous message passing, protected objects, and non-determinism. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. Ada is an international technical standard, jointly defined by the International Organization for Standardization (ISO), and the International Electrotechnical Commission (IEC). As of 2020, the standard, called Ada 2012 informally,[13] is ISO/IEC 8652:2012.[14]
This container includes the GCC GNAT implementation of Ada.
Content type
Image
Digest
sha256:0e8b112d0…
Size
127.8 MB
Last updated
4 months ago
docker pull 100hellos/ada