[փաստորեն][1], թիմը թույլատրեց c++ կիրառությունը gcc կոդի մեջ։
Սակայն,
որոշված է կիրառել որոշակի անորոշ (դեռ) լեզվի ենթաբազմություն։
Հարց է առաջանում՝ ո՞վ է հետևելու որ կոդը գայդլայններին համապատասխանի։
Ամենալավ լուծումը՝ ավտոմոտացումն է։ Եթե ավտոմատացնել, ապա դա նույնն է ինչ
սահմանել մի ենթաբազմություն ու իրա անունը դնել ասենք c++– կամ –c++, ++c–
կամ +-c-+
Ու էդպիսի ստանդարտ անել դրանով իսկ լուծելով չաղության հարցը։
C-ի դեպքում՝ SafeC-ն նմանատիպ օրինակն է։
Ադաի դեպքում դա արվել է SPARK լեզվի միջոցով։
Այսպիսով, լեզուն ֆսյո-տակի մի տեսակ ակնկարկում ա որ նիհարել ա ուզում։
_ու տենց _
[1]: http://gcc.gnu.org/ml/gcc/2010-05/msg00705.html