Hi all, I am watching some of the new videos uploaded to YT in the ACM SIGPLAN channel and it is just depressing. There are a ton of videos about formal proofs, better software quality, software analysis, etc; and SPARK is nowhere to be found AT ALL. Even in language or syntax comparisons and analy…

I’m new to this language. But I think I also have other insights as well. I did look into why this wasn’t used that much and I came to the following. Much of the initial roadblocks are things that aren’t bad in the long run and in fact good, but they do hit you in the face the first time. I can ina…

There are many programming languages, and very few of them enjoy true popularity. The others are stuck in niches. Sometimes a languages suddenly gets some attention among software developers because some popular application is written in it, or because it supports a programming paradigm which became…

If i dare put my two cents in, given i have no history with Ada, but as an outsider and a connoisseur of useful languages, Ada comes off the wrong way. Ada is known for it’s verbosity, seemingly unnecessarily so. However i’m discovering from looking around that Ada has unique shortcuts that allow …

[image] Kohlrak: You can sit down and learn C (without standard library) in a single day, and fully understand the language as a first-time learner. My reading of Jens Gustedt’s Modern C has convinced me that this is not true for any of the recent C standards.

I’m no expert either but i find ADA extremely useful in embedded. I come from a C background and it is a joy to be able to map everything over registers instead of having to do pointers and shifting. Makes things so much clearer. And mapping of protocols is so good. You describe the protocol packag…

[image] TKurtBond: Jens Gustedt’s Modern C Skimming over it he’s leaning hard into the standard library and he’s taking the long way around. But looking at the changes in 23 alone i’m starting to see my fears about C were coming true. The supposed “make C++ change into a new modern language, …

Since Broadcom took over Arduino, maybe there is a certain window of opportunity to convince people to migrate to the ADA ecosystem. Personally I think ADA is even easier to learn than the stripped down C++ of Arduino, especially with runtimes like rp2040_hal at your back. On the other hand if you …

I agree to an extent but I think the type system of Ada makes it less likely to be a target. Largely because Ada emphasizes type or as on Arduino you’re probably not going to be doing much with type and if you do you’re going to be trying to avoid type checking because you’re going to be trying to i…

I completely disagree. The type system makes coding on embedded targets so much simpler. You don’t want any ints where the number of bits depends on the architecture. Look at what @godunko did with a0b . I think this is basically what Arduino provides, but written in Ada. Of course platform support i…

Not sure how much I can comment on this since I have only recently started using Ada, but the reputation of it being an old legacy language does not help things. There are also very few resources on the language itself hence the learning curve is much steeper than the other mainstream ones. Oh and…

Ada Forum

Ada/SPARK, marketing, reach and the abysmal state of things

General

spark, ada

show post in topic

Home
Categories
Guidelines
Terms of Service
Privacy Policy

Powered by Discourse, best viewed with JavaScript enabled