Ada
Topics: Programming language
Ada is a strongly typed programming language designed for reliable software, with features for expressing constraints and checking program behavior.
Subtopics
- Ada on Fedora Linux
- Open Source Ada projects
- Ada development tools
- Ada to C bindings
- Writing a plugin system in Ada
Bookmarks
- Ada Resource Association - News and resource for the Ada programming language
- Alire
- Introduction to Ada
- ohenley/awesome-ada: A curated list of awesome resources related to the Ada and SPARK programming language
- The AdaCore Blog
- Ada LSP
- Ada Programming Language Tips
- GNAT Components Collection – Core packages
- Orka, a game engine written in Ada
- jrcarter/PragmARC: The PragmAda Reusable Components
- Ada Programming/All Chapters
- Printing Unicode in Ada
- ADA - The Public Ada Library (Walnut Creek) (November 1997)
-
[Why Ada is not just another programming language Communications of the ACM](https://dl.acm.org/doi/10.1145/6424.6425) - Ada - In Strong Typing We Trust
- Ada: Should developers revisit the veteran programming language?
Videos
Quotes
Correctness isn’t usually a fun language feature to talk about and no one likes to admit they write bugs. Ada excels at modeling your program in the language while automating a lot of error checking. For example, you may know you’re not going to use the full range of an integer, and Ada enables specification and automatic checking of valid values. Combined with built-in pre and post conditions, this has helped me improve the way I think while programming. (Paul Jarrett)