GNAT Community 2020 ထွက်ပါပြီ။

ထွက်လာကြ GNAT အသိုင်းအဝိုင်း 2020 - Ada ဘာသာစကားဖြင့် ဖွံ့ဖြိုးတိုးတက်ရေးကိရိယာအစုံ။ ပက်ကေ့ဂျ်တွင် compiler တစ်ခု၊ ပေါင်းစပ်ဖွံ့ဖြိုးမှုပတ်ဝန်းကျင်တစ်ခု ပါဝင်သည်။ GNAT စတူဒီယိုSPARK ဘာသာစကား၏ အစုခွဲတစ်ခုအတွက် တည်ငြိမ်သော ခွဲခြမ်းစိတ်ဖြာမှုတစ်ခု၊ GDB အမှားရှာပြင်သူနှင့် စာကြည့်တိုက်အစုတစ်ခု။ ပလပ်စတစ်အိတ် ဖြန့်ဝေသည် GPL လိုင်စင်စည်းကမ်းချက်များအောက်တွင်။

အဓိကပြောင်းလဲမှုများ-

• compiler သည် လာမည့်မူကြမ်းမှ ဆန်းသစ်တီထွင်မှုများစွာအတွက် ပံ့ပိုးပေးထားပါသည်။
  Ada ဘာသာစကားစံနှုန်း 202x.
  နောက်ခံကို GCC 9 (macOS မှလွဲ၍ ပလပ်ဖောင်းအားလုံးအတွက်) သို့ အပ်ဒိတ်လုပ်ထားပါသည်။ RISC-V 64 ပလပ်ဖောင်းအတွက် ပံ့ပိုးမှု ထပ်ထည့်ထားသည်။

• GNAT Studio ဖွံ့ဖြိုးတိုးတက်မှုပတ်ဝန်းကျင်ကို ယခုအသုံးပြုသည်။
  သင်၏ LSP
  Ada ဘာသာစကားအတွက် (Language Server Protocol) တူညီသောဆာဗာကို အခြေခံ၍ Visual Studio Code အတွက် တိုးချဲ့မှုတစ်ခုကို စတင်လိုက်ပါပြီ၊ ယခုတွင် ရနိုင်ပါသည်။
  Visual စတူဒီယိုဈေး.

• В SPARK ခွဲခြမ်းစိတ်ဖြာကိရိယာ မှတ်ဉာဏ်အမှားအယွင်းများမရှိခြင်းနှင့် မှတ်ဉာဏ်ယိုစိမ့်မှု မရှိခြင်းတို့ကို သက်သေပြနိုင်စေသည့် ညွှန်ပြပိုင်ဆိုင်မှု (Rust တွင်ကဲ့သို့) ပံ့ပိုးမှု ထပ်လောင်းပေးသည်။ ဘာသာစကား၏ ပံ့ပိုးမှုအပိုင်းခွဲကို တည်ဆောက်မှုအသစ်များဖြင့် တိုးချဲ့ထားသည်။

source: opennet.ru