declare
     -- Описание переменной
   begin
     -- Ее использование
   end;

procedure Hello is
begin
   for i in 1 .. 10 loop -- i вообще не описывается
      Put(i);
      New_Line;
   end loop;  
end;

   for i in reverse 1 .. 10 loop -- добавить reverse

if (условие_1) and then (условие_2) then ... 

if (условие_1) or else (условие_2) then ... 

with Ada.Text_IO; use Ada.Text_IO;
with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;

procedure Hello is
   function f(i, j, k: integer) return Boolean is
   begin
      return ((i + 10*j - 3*k) > 20);
   end;

begin
   first_loop:
   for i in 1 .. 10 loop
      for j in 1 .. 10 loop 
         for k in 1 .. 10 loop
            Put(i + j + k);
            exit first_loop when f(i, j, k);
         end loop;
      end loop;
   end loop first_loop;
   Put_Line("Oops...");
end;

with Ada.Text_IO; use Ada.Text_IO;
with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;
with Ada.Float_Text_IO; use Ada.Float_Text_IO;

procedure Hello is
   procedure f(a: Integer := 10; b: Float := 20.0; s: String := "Ok") is
   begin
      Put(a); Put(b); Put(s);
      New_Line;
   end;

begin
  f; -- 
  f(11); -- 
  f(b => 14.0); -- меняется только b
  f(s => "Error"); -- и только s ...
end;

with Ada.Text_IO; use Ada.Text_IO;
with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;
with Ada.Float_Text_IO; use Ada.Float_Text_IO;

procedure Hello is
   
   subtype arrIndex is Integer range 1 .. 100;
   type arrType is array(arrIndex) of Integer;
   
   arr: arrType := (1 .. 22 => 3, 23 .. 29 => 5, others => 4);

begin
   for i in arrIndex loop
      Put(arr(i));
   end loop;
end;

procedure P(size: integer) is
  arr: array(1 .. size) of Integer;
begin
  -- тут работаем с Arr
end P;

--  здесь каким-то образом вычисляем
--  или получаем от пользователя size
declare
  -- описываем локальный для блока declare массив
  arr: array(1 .. size) of Integer;
begin
  -- тут работаем с arr
end;
-- а тут массива уже не существует, и обращаться к нему нельзя ...

with Text_IO;
procedure Main is
	Length : Integer := 8265;
	Width : Integer := 0252;
	Height : Integer := 8292;
begin
	Text_IO . Put_Line (Length'img);
	Text_IO . Put_Line (Width'img);
	Text_IO . Put_Line (Height'img);
end Main;

-- можно отделять тысячи/миллионы/... друг от друга (для удобства программиста)
Length : Integer := 8_265;
-- обычное десятичное число
Width : Integer := 0252;
-- восьмеричное число
Width_8 : Integer := 8#252#;
-- двоичное число (можно разделять тетрады символом подчеркивания, для удобства)
B_Mask : Integer := 2#1100_1011#;
-- 16-ричное число
W_Mask : Integer := 16#FFF1_A4B0#;
-- Система счисления с основанием 7
Strange : Integer := 7#12345#;

procedure Check_Divide (K : in out Integer; X : Integer; Y : in out Integer) is
begin
	if Y = 0 then
		if X > 0 then
			K := Integer’Last; -- K приравниваем наибольшему значению для целого
		end if;
	else
		K := X / Y; -- Деление на Y безопасно, он не может быть равен 0
		Y := Y + 1;
	end if;
end Check_Divide;

procedure Check_Divide (K : in out Integer; X : Integer; Y : in out Integer) is
begin
	if Y = 0 and then X > 0 then
		K := Integer’Last;
	elsif Y /= 0 then
		K := X / Y;
		Y := Y + 1;
	end if;
end Check_Divide;

if x and mask = 0 … -- выдаст ошибку при компиляции

if x < y < z ... -- Аналогично: ошибка компиляции

-- Если впереди "зелёный" свет - увеличить скорость
procedure increase_speed_if_safe (speed : integer; signal : integer) is
begin
	if signal = CLEAR then; -- Ошибка времени компиляции
		increase_speed;
	end if;
end increase_speed_if_safe;

type Alert_Type is (LOW, MEDIUM, HIGH, VERY_HIGH);
procedure Process_Alert (Alert : Alert_Type) is
begin
	case Alert is
		when LOW =>
			Activate_Camera;
		when MEDIUM =>
			Send_Guard;
		when HIGH =>
			Sound_Alarm;
		when VERY_HIGH =>
			Alert_Police;
	end case;
end Process_Alert;

procedure Process_Alert (Alert : Alert_Type) is
begin
	case Alert is
		when LOW =>
			Activate_Camera;
		when MEDIUM =>
			Send_Guard;
		when HIGH | VERY_HIGH => -- или HIGH или VERY_HIGH
			Sound_Alarm;
			Alert_Police;
	end case;
end Process_Alert;

procedure Process_Alert (Alert : Alert_Type) is
begin
	case Alert is
		when LOW =>
			Activate_Camera;
		when MEDIUM .. VERY_HIGH => -- значения MEDIUM, HIGH, VERY_HIGH
			Send_Guard;
			Sound_Alarm;
			Alert_Police;
	end case;
end Process_Alert;

procedure Process_Alert (Alert : Alert_Type) is
begin
	case Alert is
		when LOW =>
			Activate_Camera;
		when MEDIUM =>
			Send_Guard;
		when others => -- все остальные случаи
			Sound_Alarm;
			Alert_Police;
	end case;
end Process_Alert;

-- Некорректный код, только для примера !!!
SAFETY_SPEED : constant Integer := 120;
-- …
procedure Increase_Speed (S: Integer);

procedure Check_Speed (T : Integer; D : Integer) is
	S : Integer := D / T;
begin
	if S < SAFETY_SPEED then
		Increase_Speed (T);
	end if;
end Check Speed;

procedure Perform_Safety_Checks is
	T : Integer := Get_Time;
	D : Integer := Get_Distance;
begin
	-- …
	Check_Speed (D, T);
end Perform Safety Checks;

-- определяем 3 новых целочисленных типа
type Time is range 0 .. 3_600; 
type Distance is range 0 .. 1_000;
type Speed is range 0 .. 4_000;

SAFETY_SPEED : constant Speed := 120;

procedure Check_Speed(T : Time; D : Distance) is
	S : Speed := D / T; -- Ошибка компиляции: Это не 3 целых числа, это 3 разнотипных значения
begin
	if S < SAFETY_SPEED then
		Increase_Speed(T); -- Ошибка компиляции: T не типа Speed !!!
	end if
end Check_Speed;

procedure Perform_Safety_Checks is
	T : Time := Get_Time;
	D : Distance := Get_Distance;
begin
	-- …
	Check_Speed (D, T); -- Ошибка компиляции: несоответствие типов параметров
end Perform_Safety_Checks;

type Time is range 0 .. 3_600; 
type Distance is range 0 .. 1_000;
type Speed is range 0 .. 4_000;

SAFETY_SPEED : constant Speed := 120;

procedure Check_Speed(T : Time; D : Distance) is
	S : Speed := Speed(Integer(D) / Integer(T)); -- явное приведение типов !!!
begin
	if S < SAFETY_SPEED then
		Increase_Speed(S); -- Ok
	end if
end Check_Speed;

procedure Perform_Safety_Checks is
	T : Time := Get_Time;
	D : Distance := Get_Distance;
begin
	-- …
	Check_Speed (T, D); -- Ok
end Perform_Safety_Checks;