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

Хех, «убогий раст, убожество» - это я-то порвался, а чё сразу про раст вспомнил, у тебя это.. царь в глазу.

Линейные типы заставляют менять логику и подход к программированию, так же как это заставляет делать функциональное программирование.

Прежде всего это заставляет делать задача, и для системщины линейные типы подходят больше всего

И линейные типы, и функциональное программирование облегчают работу компиляторам,

Именно программистам они впервую очередь и облегчают, их для этого и придумывают, как и вообще любые высокоуровневые языки.

Ты сразу начал говорить какой Spark сложный, но он предоставляет инструменты которых в убогом Rust никогда не будет,

ути пути, тебе там сам боженька на ухо шепчет что где будет, а где нет? про Creusot и Verifast уже упомянули. На каждые утилитки и сайтеги будем разорятся со спарками? Раст потому и взлетел что представляет разумный и практичный компромисс между слишком дорогими спарками-агдами и болотом из идейных потомков сишечки хоть с GC хоть без

даже сейчас -fanalyzer способен искать ошибки в С, которые компилятор Rust скорее всего никогда не научится

Нет, никакие анализаторы исходную сишку уже не исправят, задним числом и в общем случае это просто невозможно. Тебе ещё дохрена учиться и понимать надо если ты не понимаешь чем строгое доказательство отличается от гаданий и эвристик в анализаторах.

Полное обмазывание Spark это думаю сложно, но введение контрактов и концептов в С++ не обязывает использовать их в каждой строке.

Типы, именно современные из CS, на полшишечки будут почти что бесполезны

очередной малограмотный прогон про GC

Вот смотри, в хаскеле и идрисе есть ОДНОВРЕМЕННО и GC и линейные типы, которые ещё строже растовских аффинных,если чё. Как думаешь, зочем?

не заставляют программиста изворачиваться, мучения программиста как в Rust

Ты явно не знаешь не понимаешь, и не пишешь на раст, и соответственно не можешь судить где там мучения. Тупо на ходу выдумываешь какие-то «проблемы», обычно характерные для свежеприбывших сишников, которым типы мешают говнокодить как они привкли. Перестань так делать, ты просто позоришься прям как alysnix, который выдумывает проблемы с ООПешечкой в расте.

Заключение: у тебя до сих пор нет систематичного знания и понимания айтишечки, хватаешь кусками там сям и руководствуешься каким-то какирным лоровским дискурсом - «гы-гы растаманы, смузихлёбы, глядите как я дристанул в сторону раста, глядите какой я у мамы хакир, ну правда же я хакир»- а надо руководствоваться логикой и наукой.

Хех, «убогий раст, убожество» - это я-то порвался, а чё сразу про раст вспомнил, у тебя это.. царь в глазу.

Линейные типы заставляют менять логику и подход к программированию, так же как это заставляет делать функциональное программирование.

Прежде всего это заставляет делать задача, и для системщины линейные типы подходят больше всего, мешают они только говнокодить в сишном стиле

И линейные типы, и функциональное программирование облегчают работу компиляторам,

Именно программистам они впервую очередь и облегчают, их для этого и придумывают, как и вообще любые высокоуровневые языки.

Ты сразу начал говорить какой Spark сложный, но он предоставляет инструменты которых в убогом Rust никогда не будет,

ути пути, тебе там сам боженька на ухо шепчет что где будет, а где нет? про Creusot и Verifast уже упомянули. На каждые утилитки и сайтеги будем разорятся со спарками? Раст потому и взлетел что представляет разумный и практичный компромисс между слишком дорогими спарками-агдами и болотом из идейных потомков сишечки хоть с GC хоть без

даже сейчас -fanalyzer способен искать ошибки в С, которые компилятор Rust скорее всего никогда не научится

Нет, никакие анализаторы исходную сишку уже не исправят, задним числом и в общем случае это просто невозможно. Тебе ещё дохрена учиться и понимать надо если ты не понимаешь чем строгое доказательство отличается от гаданий и эвристик в анализаторах.

Полное обмазывание Spark это думаю сложно, но введение контрактов и концептов в С++ не обязывает использовать их в каждой строке.

Типы, именно современные из CS, на полшишечки будут почти что бесполезны

очередной малограмотный прогон про GC

Вот смотри, в хаскеле и идрисе есть ОДНОВРЕМЕННО и GC и линейные типы, которые ещё строже растовских аффинных,если чё. Как думаешь, зочем?

не заставляют программиста изворачиваться, мучения программиста как в Rust

Ты явно не знаешь не понимаешь, и не пишешь на раст, и соответственно не можешь судить где там мучения. Тупо на ходу выдумываешь какие-то «проблемы», обычно характерные для свежеприбывших сишников, которым типы мешают говнокодить как они привкли. Перестань так делать, ты просто позоришься прям как alysnix, который выдумывает проблемы с ООПешечкой в расте.

Заключение: у тебя до сих пор нет систематичного знания и понимания айтишечки, хватаешь кусками там сям и руководствуешься каким-то какирным лоровским дискурсом - «гы-гы растаманы, смузихлёбы, глядите как я дристанул в сторону раста, глядите какой я у мамы хакир, ну правда же я хакир»- а надо руководствоваться логикой и наукой.