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

Սակայն,

որոշված է կիրառել որոշակի անորոշ (դեռ) լեզվի ենթաբազմություն։

Հարց է առաջանում՝ ո՞վ է հետևելու որ կոդը գայդլայններին համապատասխանի։

Ամենալավ լուծումը՝ ավտոմոտացումն է։ Եթե ավտոմատացնել, ապա դա նույնն է ինչ

սահմանել մի ենթաբազմություն ու իրա անունը դնել ասենք c++– կամ –c++, ++c–

կամ +-c-+

Ու էդպիսի ստանդարտ անել դրանով իսկ լուծելով չաղության հարցը։

C-ի դեպքում՝ SafeC-ն նմանատիպ օրինակն է։

Ադաի դեպքում դա արվել է SPARK լեզվի միջոցով։

Այսպիսով, լեզուն ֆսյո-տակի մի տեսակ ակնկարկում ա որ նիհարել ա ուզում։

_ու տենց _