Login
Discover
Waves
Decks
Plus
Login
Signup
Topics
New
Trending
Hot
New
New
Trending
Hot
New
Payouts
Muted
Promoted
Global
Top communities
Create decentralized community
latest #ada-lang created topics on internet
xinta
ada-lang
2019-05-19 14:27
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 of a language, unless I have to maintain
$ 0.065
5
xinta
programming
2019-05-11 09:33
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 sort of package, with a public part which
$ 0.040
3
xinta
ada-lang
2018-06-09 20:34
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 orientation features. Package ~= class
$ 0.164
5
xinta
ada-lang
2018-06-02 13:36
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 we can constrain values, but it isn't
$ 64.601
550
3
ledcerv
Liketu
2026-04-05 02:21
Promoted
Reencuentro con amistades
En la vida conocemos mucha gente, pero no significa que todos sean amigos, por eso trato de decicarle algo de tiempo y especialmente de afecto, a esas personas más cercanas con las que en algún momento
$ 1.365
81
xinta
ada-lang
2018-05-19 23:17
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 exact domain of your program: they help
$ 0.422
6
xinta
ada-lang
2018-05-17 21:56
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 oriented in order to benefit from that.
$ 0.505
9
xinta
ada-lang
2018-05-12 12:57
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 a proper syntax highlight looks better:
$ 0.038
6
2
xinta
ada-lang
2018-05-11 21:02
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 be soon) — and also I owe an apology to
$ 1.719
63