id: "ada" aliases: - "adb" - "gnat" name: "Ada" info: impl: "GNAT" year: 1980 desc: "Structured, statically typed, imperative, and object-oriented high-level programming language, extended from Pascal and other languages" ext: - adb - ads web: wiki: "https://en.wikipedia.org/wiki/Ada_(programming_language)" home: "https://www.adaic.org/" impl: "https://www.gnu.org/software/gnat/" source: "https://gcc.gnu.org/git.html" category: general mode: compiled platform: [] syntax: pascal typing: static paradigm: - imperative - oo usage: popular install: apt: - gnat manual: | wget https://dl.bintray.com/reznikmm/ada-language-server/linux-latest.tar.gz tar -xf linux-latest.tar.gz install -d "${pkg}/usr/local/bin" install -d "${pkg}/usr/lib/x86_64-linux-gnu" mv linux/ada_language_server "${pkg}/usr/local/bin/ada_language_server" mv linux/*.so* "${pkg}/usr/lib/x86_64-linux-gnu/" main: "main.adb" template: | with Ada.Text_IO; procedure Main is begin Ada.Text_IO.Put_Line("Hello, world!"); end Main; compile: | x86_64-linux-gnu-gnatmake-9 main.adb run: | ./main lsp: start: | ada_language_server code: "\n Ada.IO" after: ");" item: "IO_Exceptions"