❌ About FreshRSS

Normal view

There are new articles available, click to refresh the page.
Before yesterdayAda: When the software HAS to work

February 2023 What Are You Working On?

Welcome to the monthly r/ada What Are You Working On? post.

Share here what you've worked on during the last month. Anything goes: concepts, change logs, articles, videos, code, commercial products, etc, so long as it's related to Ada. From snippets to theses, from text to video, feel free to let us know what you've done or have ongoing.

Please stay on topic of course--items not related to the Ada programming language will be deleted on sight!

Previous "What Are You Working On" Posts

submitted by /u/marc-kd
[link] [comments]

What is wrong on code: String := (if statement) - image attached

What is wrong?

This happens when I add elsif, and then.

https://preview.redd.it/iolr8nsghqga1.png?width=1157&format=png&auto=webp&s=70526d475b3f2606db5fd8fccd5bb4362290b097

Code

with Ada.Text_IO; use Ada.Text_IO;

with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;

procedure Main is

N : Integer;

begin

Put ("Enter you age please:");

Get (N);

declare

Age_Status : String := (

if N > 0 and then N < 20 then

"You are too young!"

elsif N > 19 and then N < 101 then

"You are a legal adult!"

elsif N > 100 then

"You are maybe dead?"

else

"Wow! Into the void?"

);

begin

Put_Line (Age_Status);

end;

end Main;

submitted by /u/Ada_Noob
[link] [comments]

GNAT Studio Views bug

A few days ago I downloaded GNAT Studio for the first time, with default setup, so this shouldn't be a preferences problem.

My Outline View and the browser views don't show anything. Outline says "No symbols available", and no combination of "show" settings fixes it. Likewise, showing dependencies for a file opens the browser window but stays stuck on the loading bar.

Not sure what I can do, any suggestions?

submitted by /u/fizzle7
[link] [comments]

Step-by-step guidance to compile/install GnattColl on Windows (even Linux) without Alire?

Hi everyone,

Does anyone have simple step-by-step guidance to compile and install gnatcoll on Windows? Without using Alire, or WSL/Linux runtime.

The same question actually for Linux too. On RHEL/clones, as there is no Ada support in gcc, it's pretty much complicated now. On Ubuntu, compiling gnatcoll requires libgpr which isn't available in the repos, and I couldn't find documentation for it to compile (and I'm afraid to end up in a chain of dependencies, manually compiling all of them).

EDIT: I'm actually looking for steps to compile GNATColl on Windows (and eventually on RHEL/clones linux, as these don't ship with any Ada support in GCC or in the repos).

submitted by /u/theorangecat7
[link] [comments]

Ada and Emacs

Hello! I am a new Ada learner and (Doom) Emacs user. I know there's ada-mode and also lsp-mode + ALS, but nowhere on the internet did I see how to connect them so they work together. This is what I currently have (on Doom Emacs it's in .config.el):

;; after! = with-eval-after-hook (I think) (after! ada-mode (add-hook 'ada-mode-hook (lambda () (when (derived-mode-p 'ada-mode) (lsp))))) (defgroup project-build nil "LSP options for Project" :group 'ada-mode) (defcustom project-build-type "Debug" "Controls the type of build of a project. Default is Debug, other choices are Release and Coverage." :type '(choice (const "Debug") (const "Coverage") (const "Release")) :group 'project-build) (defcustom lsp-ada-executable "ada_language_server" :group 'lsp-ada :risky t :type 'file) (after! lsp-mode (add-to-list 'lsp-language-id-configuration '(ada-mode . "ada")) (lsp-register-client (make-lsp-client :new-connection (lsp-stdio-connection (lambda () lsp-ada-executable)) :activation-fn (lsp-activate-on "ada") :priority -1 :server-id 'als))) 

However, it doesn't find my Alire project, it doesn't even try with Alire project files and it feels really shoehorned and not enjoyable. What's your Emacs setup? I am sure the tooling can't be this bad, especially for something having the support of GNU and AdaCore. Thank you!

submitted by /u/uneven-shiver
[link] [comments]

Any recommendations for a newbie to get into embedded Ada?

First of all, a disclaimer that I have no idea what I'm getting myself into. I have no previous experience with embedded programming, and only a little experience with Ada, however I do have a few years of experience with programming in other languages.
Secondly, just wanted to specify that I'm on Linux (more specifically on the Manjaro Linux so some things (for example some aur packages) do not work :D), and I've alire and GNAT Studio installed by simply downloading the binaries (because the aur versions had some issues).

For the last few days I've been trying to research some of the basics of embedded Ada but I'm having trouble with choosing the microcontroller board and setting up the environment for it. At the moment I simply want something cheap like an Arduino, so I checked if it is supported and there apparently is something called AVR-Ada, however I do not understand if it's really needed and/or if there are any alternatives, furthermore I also do not exactly understand how to set it up, especially since in the wiki there seems to be a mention of building a compiler for some reason and that confuses me even more because alire already provides that I think?

So, should I choose Arduino? What's the deal with AVR-Ada? Any other recommendations or things I should know?

submitted by /u/GreenIsShady
[link] [comments]

AEiC 2023 - Ada-Europe conference - Final Deadline Approaching

http://www.ada-europe.org/conference2023/cfp.html

27 February 2023: deadline for industrial-track and work-in-progress-track papers, tutorial and workshop proposals.

The 27th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2023) will take place in Lisbon, Portugal, in the week of 13-16 June.

More info: http://www.ada-europe.org/conference2023

#AEiC2023 #AdaEurope #AdaProgramming

submitted by /u/Dirk042
[link] [comments]

New release of vscode extension For Ada 23.0.14

VS Code Extension for Ada 23.0.14

In this release:

Draft support for Alire crates

If there are alr, gprbuild and GNAT compiler in the PATH, then alire.toml in the root of workspace folder, then the extension will use Alire to configure the Ada Language Server, so navigation, tooltips, code refactoring should work out of the box without any manual configuration of the project file and scenario variables. The Ada: Reload project command calls Alire again to update setting after possible changes in crates.

But tasks like "ada: Build current project", "ada: Check current file", etc. don't take alire into account for now. To be fixed... It's possible to create a new shell task to launch alr build or alr exec gprbuild instead.

New refactoring tool Replace Type

Replaces a type in the intire project by another type provided by the user.

https://i.redd.it/i4fs78luiija1.gif

New refactoring tool Sort Dependencies

Sorts all with and use clauses and their associated pragmas.

https://i.redd.it/5epcbjpyiija1.gif

See the complete list of available refactoring tools.

Don't hesitate to report any issues on GitHub.

submitted by /u/max_rez
[link] [comments]

Your feedback wanted on Alire policy about Unicode

23 February 2023 at 13:14

We are considering if Alire should change defaults in regard to dealing with Unicode sources. The details are https://github.com/alire-project/alire/discussions/1334 if you're interested and want to provide some feedback.

Sorry about redirecting you to outside Reddit. Of course I will read any feedback here too.

Thanks!

submitted by /u/mosteo
[link] [comments]

ChatGPT's thoughts on Ada?

Today, I'm playing with ChatGPT!
I asked: "what are the benefits of working with Ada and why is it an exciting programming language to work with?"

If you are interested in finding out for yourself what are the benefits of working with Ada and open for a change of job, contact me at [[email protected]](mailto:[email protected]) .

Ada Lovelace

Do you agree with ChatGPT's answer? Here it goes:
There are several benefits to working with Ada programming language:

Reliability: Ada is a highly reliable programming language that was designed specifically for mission-critical and safety-critical applications. It includes features such as strong typing, bounds checking, and exception handling, which help prevent common errors that can lead to program crashes or vulnerabilities.

Safety: Ada is often used in applications where safety is paramount, such as aviation, defense, and healthcare. It includes features that make it easier to write code that is safe and secure, such as tasking, protected types, and built-in support for real-time programming.

Scalability: Ada is suitable for both small and large projects. It has a modular design that makes it easy to write reusable code, and its type system makes it possible to write complex programs without sacrificing safety or reliability.

Community: Although Ada is a relatively niche programming language, it has a dedicated community of developers who are passionate about its use in mission-critical applications. This community is active and supportive, making it easier to find resources and get help when you need it.

Career Opportunities: Because Ada is often used in safety-critical and mission-critical applications, there is a demand for developers who have experience with the language. This can lead to a range of career opportunities in industries such as defense, aviation, and healthcare.

Overall, working with Ada can be an exciting experience for developers who are interested in working on projects that require high levels of safety, reliability, and scalability. The language's unique features and community make it a rewarding language to work with.

submitted by /u/Emmaclaus
[link] [comments]

March 2023 What Are You Working On?

Welcome to the monthly r/ada What Are You Working On? post.

Share here what you've worked on during the last month. Anything goes: concepts, change logs, articles, videos, code, commercial products, etc, so long as it's related to Ada. From snippets to theses, from text to video, feel free to let us know what you've done or have ongoing.

Please stay on topic of course--items not related to the Ada programming language will be deleted on sight!

Previous "What Are You Working On" Posts

submitted by /u/marc-kd
[link] [comments]

AdaOgg and VulkAda - Ada2012 Bindings to OggVorbis and Vulkan

Hi, I just happen to stumble upon these Ada2012 bindings developed by Phaser Cat Games (https://phasercat.com/) during some Google searching.

AdaOgg - https://phasercat.com/adaogg/

VulkAda - https://phasercat.com/vulkada/

For VulkAda, there are two blog entries from the author:

  1. https://phasercat.com/the-vulkada-project/
  2. https://phasercat.com/the-vulkada-project-ii/

[UPDATE] For those unfamiliar with OggVorbis and Vulkan, these are descriptions from Wikipedia:

Vorbis is a free and open-source software project headed by the Xiph.Org Foundation. The project produces an audio coding format and software reference encoder/decoder (codec) for lossy audio compression). Vorbis is most commonly used in conjunction with the Ogg container format[10] and it is therefore often referred to as Ogg Vorbis.

Vulkan is a low-overhead, cross-platform API, open standard for 3D graphics and computing. Vulkan targets high-performance real-time 3D graphics applications, such as video games and interactive media, and highly parallelized computing.

submitted by /u/micronian2
[link] [comments]
❌
❌