gcc 12֊ի նորութիւնները, ադայի աջակցութիւնը՝

https://gcc.gnu.org/gcc-12/changes.html#ada

շատ հաճելի ու հիացնող ա ա սա՝

>Greatly expanded code covered by contracts. Thanks to this work, there are now several Ada standard libraries fully proven in SPARK which means they have no runtime nor logical errors. They are mostly numeric and string handling libraries.

լաւ չեմ հասկանում SPARK֊ը, բայց ոնց որ վերջն ա իսկապէս։

#ադա #ծրագրաւորման_լեզուներ #թարմացում #լեզու

բնօրինակ ծմակուտում(եւ մեկնաբանութիւննե՞ր)