1. 首先声明一个包含星期字符串的数组，如下所示：

type Week_Days_Type is array (1..7) of String(1..8);

Week_Days : Week_Days_Type := ("星期一", "星期二", "星期三", "星期四", "星期五", "星期六", "星期日");

2. 然后定义一个函数，接受一个整数参数表示星期几，返回字符串形式的星期几，如下所示：

function Get_Week_Day(Day_Index : Integer) return String is
begin
   return Week_Days(Day_Index);
end Get_Week_Day;

3. 调用上述函数，并输出结果，如下所示：

Put_Line(Get_Week_Day(1)); -- 输出：星期一
Put_Line(Get_Week_Day(7)); -- 输出：星期日

完整代码如下所示：

with Ada.Text_IO;         use Ada.Text_IO;

procedure Main is
   type Week_Days_Type is array (1..7) of String(1..8);

   Week_Days : Week_Days_Type := ("星期一", "星期二", "星期三", "星期四", "星期五", "星期六", "星期日");

   function Get_Week_Day(Day_Index : Integer) return String is
   begin
      return Week_Days(Day_Index);
   end Get_Week_Day;

begin
   Put_Line(Get_Week_Day(1)); -- 输出：星期一
   Put_Line(Get_Week_Day(7)); -- 输出：星期日
end Main;