История изменений

Не знаю как выразить линейные типы, но я и С++ не знаю. Все же как не возьму его на пробу, чего то вечно не хватает. Но если говорить о средствах которые гарантируют безопасность, вместо линейных типов которые перекладывают работу на программиста, готовятся к C++26 контракты, это шаг в сторону Ada Spark: https://en.cppreference.com/w/cpp/language/contracts.html

Не знаю как выразить линейные типы, но я и С++ не знаю. Все же как не возьму его на пробу, чего то вечно не хватает. Но если говорить о средствах которые гарантируют безопасность, вместо линейных типов которые перекладывают работу на программиста, готовятся к C++26 контракты, которые как шаг в сторону Ada Spark: https://en.cppreference.com/w/cpp/language/contracts.html

Не знаю как выразить линейные типы, но я и С++ не знаю. Все же как не возьму его на пробу, чего то вечно не хватает. Но если говорить о средствах которые гарантируют безопасность, вместо линейных типов которые перекладывают работу на программиста, которая сомнительна в своей полезности, готовятся к C++26 контракты, которые как шаг в сторону Ada Spark: https://en.cppreference.com/w/cpp/language/contracts.html