ասք ձիետային նստացնելու մասին

[փաստորեն][1], թիմը թույլատրեց c++ կիրառությունը gcc կոդի մեջ։

Սակայն,



որոշված է կիրառել որոշակի անորոշ (դեռ) լեզվի ենթաբազմություն։
  
Հարց է առաջանում՝ ո՞վ է հետևելու որ կոդը գայդլայններին համապատասխանի։
  
Ամենալավ լուծումը՝ ավտոմոտացումն է։ Եթե ավտոմատացնել, ապա դա նույնն է ինչ
  
սահմանել մի ենթաբազմություն ու իրա անունը դնել ասենք c++– կամ –c++, ++c–
  
կամ +-c-+
  
Ու էդպիսի ստանդարտ անել դրանով իսկ լուծելով չաղության հարցը։
  
C-ի դեպքում՝ SafeC-ն նմանատիպ օրինակն է։
  
Ադաի դեպքում դա արվել է SPARK լեզվի միջոցով։
  
Այսպիսով, լեզուն ֆսյո-տակի մի տեսակ ակնկարկում ա որ նիհարել ա ուզում։
  
 _ու տենց _

 [1]: http://gcc.gnu.org/ml/gcc/2010-05/msg00705.html
պիտակներ՝ Ադա  ջիսիսի  Սի