GNAT рд╕рд╛рдореБрджрд╛рдпрд┐рдХ рд╕рдВрд╕реНрдХрд░рдг реирежреирез рдЬрд╛рд░реА рдЧрд░рд┐рдпреЛ

Ada рднрд╛рд╖рд╛рдорд╛ рд╡рд┐рдХрд╛рд╕ рдЙрдкрдХрд░рдгрд╣рд░реВрдХреЛ рдкреНрдпрд╛рдХреЗрдЬ рдкреНрд░рдХрд╛рд╢рд┐рдд рдЧрд░рд┐рдПрдХреЛ рдЫ - GNAT рд╕рд╛рдореБрджрд╛рдпрд┐рдХ рд╕рдВрд╕реНрдХрд░рдг 2021ред рдпрд╕рдорд╛ рдПрдХ рдХрдореНрдкрд╛рдЗрд▓рд░, рдПрдХ рдПрдХреАрдХреГрдд рд╡рд┐рдХрд╛рд╕ рд╡рд╛рддрд╛рд╡рд░рдг GNAT рд╕реНрдЯреБрдбрд┐рдпреЛ, SPARK рднрд╛рд╖рд╛рдХреЛ рд╕рдмрд╕реЗрдЯрдХреЛ рд▓рд╛рдЧрд┐ рдПрдХ рд╕реНрдерд┐рд░ рд╡рд┐рд╢реНрд▓реЗрд╖рдХ, GDB рдбрд┐рдмрдЧрд░ рд░ рдкреБрд╕реНрддрдХрд╛рд▓рдпрд╣рд░реВрдХреЛ рд╕реЗрдЯ рд╕рдорд╛рд╡реЗрд╢ рдЫред рдкреНрдпрд╛рдХреЗрдЬ GPL рд▓рд╛рдЗрд╕реЗрдиреНрд╕ рдЕрдиреНрддрд░реНрдЧрдд рд╡рд┐рддрд░рдг рдЧрд░рд┐рдПрдХреЛ рдЫред

рдХрдореНрдкрд╛рдЗрд▓рд░рдХреЛ рдирдпрд╛рдБ рд╕рдВрд╕реНрдХрд░рдгрд▓реЗ GCC 10.3.1 рдмреНрдпрд╛рдХрдЗрдиреНрдб рдкреНрд░рдпреЛрдЧ рдЧрд░реНрджрдЫ рд░ рдзреЗрд░реИ рдирдпрд╛рдБ рд╕реБрд╡рд┐рдзрд╛рд╣рд░реВ рдкреНрд░рджрд╛рди рдЧрд░реНрджрдЫред рдЖрдЧрд╛рдореА Ada 202x рдорд╛рдирдХрдХреЛ рдирд┐рдореНрди рдЖрд╡рд┐рд╖реНрдХрд╛рд░рд╣рд░реВрдХреЛ рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди рдердкрд┐рдпреЛ:

  • Jorvik рдПрдореНрдмреЗрдбреЗрдб рдкреНрд░рдгрд╛рд▓реАрд╣рд░реВрдХреЛ рд▓рд╛рдЧрд┐ рдирдпрд╛рдБ рдкреНрд░реЛрдлрд╛рдЗрд▓;
  • рдордирдорд╛рдиреА рд╕рдЯреАрдХ рдЕрдВрдХрдЧрдгрд┐рдд рд╕рдорд░реНрдерди;
  • рдШреЛрд╖рдгрд╛ рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐;
  • рд╕реНрд╡рдЪрд╛рд▓рд┐рдд рдкреНрд░рдХрд╛рд░ рдЕрдиреБрдорд╛рдирдХреЛ рд╕рд╛рде рдорд╛рдирд╣рд░реВ рдкреБрди: рдирд╛рдорд╛рдХрд░рдг рдЧрд░реНрджреИ;
  • рд╕рдмрд░реБрдЯрд┐рдирд╣рд░реВрдХреЛ рд╕рдиреНрджрд░реНрднрдХрд╛ рд▓рд╛рдЧрд┐ рд╕рдореНрдЭреМрддрд╛рд╣рд░реВ;
  • рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐рд╣рд░реВрдорд╛ рдлрд┐рд▓реНрдЯрд░рд╣рд░реВ;
  • рдХрдиреНрдЯреЗрдирд░рд╣рд░реВрдХреЛ рд▓рд╛рдЧрд┐ рдПрдХрд╛рдЗрд╣рд░реВред

рд╣рд╛рдореАрд▓реЗ рдзреЗрд░реИ рдкреНрд░рдпреЛрдЧрд╛рддреНрдордХ (рдЧреИрд░-рдорд╛рдирдХ) рд╕реБрд╡рд┐рдзрд╛рд╣рд░реВ рдкрдирд┐ рд▓рд╛рдЧреВ рдЧрд░реНрдпреМрдВ:

  • рдлрд┐рд░реНрддрд╛/рдмрдврд╛рдЙрдиреЗ/рдЧреЛрдЯреЛ рдХрдердирд╣рд░реВрдХреЛ рд▓рд╛рдЧрд┐ рдЕрддрд┐рд░рд┐рдХреНрдд "рдЬрдм";
  • рдврд╛рдБрдЪрд╛ рдорд┐рд▓рд╛рди;
  • рдПрд░реЗрдХреЛ рдирд┐рд╢реНрдЪрд┐рдд рддрд▓реНрд▓реЛ рд╕реАрдорд╛;
  • рдЯреНрдпрд╛рдЧ рдирдЧрд░рд┐рдПрдХрд╛ рдкреНрд░рдХрд╛рд░рд╣рд░реВрдХрд╛ рд▓рд╛рдЧрд┐ рдбрдЯ рдкреНрд░рдпреЛрдЧ рдЧрд░реЗрд░ рд╕рдмрд░реБрдЯрд┐рдирд╣рд░реВ рдХрд▓ рдЧрд░реНрджреИред

рд╕рдореНрднрд╡рддрдГ, рдХрдореНрдкрд╛рдЗрд▓рд░рдХреЛ рдпреЛ рд╕рдВрд╕реНрдХрд░рдг GNAT рд╕рд╛рдореБрджрд╛рдпрд┐рдХ рд╕рдВрд╕реНрдХрд░рдг рд░рд┐рд▓реАрдЬрдХреЛ рд╢реНрд░реГрдВрдЦрд▓рд╛рдорд╛ рдЕрдиреНрддрд┐рдо рд╣реБрдиреЗрдЫред рднрд╡рд┐рд╖реНрдпрдорд╛, рдЦреБрд▓рд╛ рд╕реНрд░реЛрдд GCC рдмрд╛рдЯ рд╕рдВрдХрд▓рд┐рдд рдХрдореНрдкрд╛рдЗрд▓рд░ alire рдкреНрдпрд╛рдХреЗрдЬ рдкреНрд░рдмрдиреНрдзрдХ рдкреНрд░рдпреЛрдЧ рдЧрд░реЗрд░ рд╕реНрдерд╛рдкрдирд╛ рдЧрд░реНрди рд╕рдХрд┐рдиреНрдЫред

рд╕реНрд░реЛрдд: opennet.ru

рдПрдХ рдЯрд┐рдкреНрдкрдгреА рдердкреНрди