ada-lang Tag Posts Index

Learning Ada 7: generics and (static) overloading

Generics Ada has generics. I don't know about Ada of the ancient time, and I don't care — as programmer on the edge of exploration, I don't care about old revisions

Learning Ada 6: tasking

Ada has tools for concurrency as language primitives, which makes it easy to do things that would be a lot harder in C or C++. An Ada task looks at first like a

Learning Ada 5: object oriented paradigm

Ada is born as an imperative procedural language in the era of imperative procedural languages. With Ada 95 it entered the club of programming languages with object

Learning Ada 4: predicates

Dynamic predicate We have seen that if we define properly the domain of our problem, we can make the Ada's type system to assist us to avoid bugs. We have seen how

Learning Ada 3: exploring types

Let's explore a little bit the type system of Ada. Ada's type system is very important, because Ada is a strongly typed programming language and types define the

Learning Ada 2: more on packages, naming conventions, and bits of types

Packages are very importat to organize your project, like modules in other languages, and they are also useful to “encapsulate data” — you don't need to go object

Learning Ada 1: Hello world, basic greeter package, citing contract based programming, aspects, SPARK…

The Ada's Hello World is as simple as this: with Ada.Text_IO; use Ada.Text_IO; procedure Hello is begin Put_Line ("Hello world"); end Hello; Which with

What I've left behind, what I'm going to do

I know I've left behind my series of “music lessons” (here the last lesson), and I promise I'll post other lessons before the end of my life (which, I hope, won't