Raspberry Pi Forums

Lucretia

Think you need to update your knowledge. You are right. I got that wrong. The last time I met anyone programming in Ada was 1996. It was whilst I was working at Lucas Avionics in Hemel Hempstead. Before that it was about '94 whilst working on the Primary Flight Computers of the Boeing 777 at GEC Av...

Lucretia

Think you need to update your knowledge. You are right. I got that wrong. The last time I met anyone programming in Ada was 1996. It was whilst I was working at Lucas Avionics in Hemel Hempstead. Before that it was about '94 whilst working on the Primary Flight Computers of the Boeing 777 at GEC Av...

Lucretia

Heater wrote: ↑
Fri Jul 20, 2018 4:25 pm
Probably because is Ada is more dead than the Dead Sea Scrolls.

I have not met an Ada programmer since about 1994.

Think you need to update your knowledge.

Lucretia

Why not the "Pascal subset" of Ada? Base it on Ada 2012 and use pragma Profile to create the subset and keeping within the rules of the language. Use pragma Restrictions to enforce restrictions on the language. Ada is more powerful Pascal, it's also a lot more readable as begin...end don't need to b...

Lucretia

Lucretia, Hardly Ada's fault. The problem was to do with Ada's tagged types and polymorphism if I remember correctly. I was having a hard time understanding it. Then I found this prof's tutorial, which was generally pretty good but I got even more confused by his example. I was almost ready to agre...

Lucretia

e.g. ranges, modular types (auto wrap around), tasking, real-time, distributed systems, attributes for querying the type system, overloading, OO, generics, real package/module system, separates, can do low-level stuff in a high-level way, highly portable, etc. Obviously it is wildly different, but ...

Lucretia

Naah, Ada is so ugly and it type system such a pain that no programmers ever wanted to use it and the DoD had to drop the Ada mandate. It's approach to object oriented programming is so hard to understand that even CS professors teaching it could not It is documented in other places the reasons why...

Lucretia

I find it interesting that the Pascal programming language is almost never menioned. Do to its rules Pascal is likely one of the simplest languages to create an optimizing compiler for. Pascal is also among the simplest languages Though I also find it interesting that I can not find a single ARMv6/...

Lucretia

jahboater wrote: ↑
Mon Oct 16, 2017 5:05 pm

Lucretia wrote: ↑
Mon Oct 16, 2017 4:46 pm
It's written in Ada.
I stand corrected.
"configure: error: GNAT is required to build ada"
I wonder how its bootstrapped.

You need an installed GNAT compiler. i.e. x86_64 Linux GNAT cross compiles to arm-linux, then use the cross compiler with a sysroot to build a native arm-linux compiler.

Lucretia

Just refound this thread... And gnat is written in C, which is why its so fast. It's written in Ada. I remember when the DoD were designing Ada they had the choice of basing it on Pascal or on Algol68. Since Algol68 was already a powerful and complete language, sadly they chose Pascal. C is successf...

Lucretia

An interesting read! I found this also looking for Ada on ARM information, looking for something different/interesting to do on the Pi that doesn't involve Linux. My day job is stereotypical Ada use in defence safety critical software, in the UK. Thanks for the link to the osdev info, I have also b...

Lucretia

Ok I am done feuling your discontent on this one. If I had the ISBN I would gladly provide it so you could look it up. Though you can take a look at any of the old Ada compilers for DOS or Atari ST, from the mid 1980s and see that they are written in 100% Ada. And in many cases the same exact sourc...

Lucretia

Where does it state this? I've never seen it and I know there were Ada compilers written in C++ BITD. Luke. If memory serves the First Ada compilers were not only written in C/C++ but their output was also C/C++ source code (for compilation by the native C/C++ compiler). I do not know about the com...

Lucretia

Obviously the first compilers could not have been written in Ada anyway as there would be no compiler for it Yes and no. That is what is known as bootstraping a self hosting compiler. You write the compiler in its own language supporting just enough to compile it self, then you hand compile it and ...

Lucretia

Where does it state this? I've never seen it and I know there were Ada compilers written in C++ BITD. Luke. If memory serves the First Ada compilers were not only written in C/C++ but their output was also C/C++ source code (for compilation by the native C/C++ compiler). Obviously the first compile...

Lucretia

DavidS wrote:In the volume "The Ada Reference"

You mean the Ada LRM?

Lucretia

DavidS wrote:The true Ada compilers ARE WRITTEN IN Ada (this is a requirement of the original language specification). Ada is not the most effecient, nor is it designed to be.

Where does it state this? I've never seen it and I know there were Ada compilers written in C++ BITD.

Luke.

Lucretia

Lucretia, The Ada mandate that the DOD had had been dropped years ago Indeed it was. Did those requirements go away when the mandate was dropped? Was all of Ada's strictness discovered not to be as helpful in creating "correct" systems as was imagined? Did they find other ways to achieve software r...

Lucretia

The Ada mandate that the DOD had had been dropped years ago.

Also any compiler can be inefficient, a blanket statement saying Ada is, is just wrong. GNAT is very efficient and produces pretty fast code, as has recently been documented somewhere, think it was on CLA.

Lucretia

The Ada mandate that the DOD had had been dropped years ago.

Also any compiler can be inefficient, a blanket statement saying Ada is, is just wrong. GNAT is very efficient and produces pretty fast code, as has recently been documented somewhere, think it was on CLA.

Lucretia

Ada as a programming language was developed to give one standard language implimitation for ALL aplications acrossed many different HW implementations by and for the military (back then the military was the biggest customer of computers). This was an attempt to get away from the way that each syste...

Lucretia

But, we're getting off-topic, so in response to the first post, here is what the OP needs to look into. You really need a cross-compilation environment running on your main machine. I don't see the benefit of trying to do all this on an RPI unless you don't have any other way. Cross-compiler on a de...

Lucretia

Lucretia, Not the right attitude! Don't get me wrong. I think Ada is a wonderful thing. I was just expressing surprise at having an actual Ada user pop up, after all there are not many around outside of industries that are building safety critical systems and pretty much none in the hobbyist world....

Lucretia

Hi,

I can update with the links:

http://wiki.osdev.org/Ada_Bare_bones
https://github.com/Lucretia/tamp/

Oh and it's Ada (a girl's name), not ADA (an acronym).

Luke.

Lucretia

Hokay, first if your on Linux check to see if your district has an Ada cross compiler for ARM, if not you will need to compile one.

Check my github for tamp that will build one.

Also check my Ada bare bones tutorial on osdev.org, which I never did get around to expanding for the pi.

Search found 47 matches

Re: A Extended Pascal Implementation : CONCEPT.

Re: A Extended Pascal Implementation : CONCEPT.

Re: A Extended Pascal Implementation : CONCEPT.

Re: A Extended Pascal Implementation : CONCEPT.

Re: Pascal?

Re: Pascal?

Re: Pascal?

Re: Pascal?

Re: Compiling Ada for ARM

Re: Compiling Ada for ARM

Re: Compiling ADA for ARM

Re: Compiling ADA for ARM

Re: Compiling ADA for ARM

Re: Compiling ADA for ARM

Re: Compiling ADA for ARM

Re: Compiling ADA for ARM

Re: Compiling ADA for ARM

Re: Compiling ADA for ARM

Re: Compiling ADA for ARM

Re: Compiling ADA for ARM

Re: Compiling ADA for ARM

Re: Compiling ADA for ARM

Re: Compiling ADA for ARM

Re: Compiling ADA for ARM

Re: Compiling ADA for ARM