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

Чего так порвался? Давай подробно объясню свое мнение: Линейные типы заставляют менять логику и подход к программированию, так же как это заставляет делать функциональное программирование. И линейные типы, и функциональное программирование облегчают работу компиляторам, и программист может вытянуть из этого преимущества, но минусы никуда не уходят.

Контракты во первых не обязательны, если они не могут помочь или мешают в конкретной ситуации, то их не будет, во вторых описание контракта и так полезно само по себе, assert есть во всех языках программирования, контракт так же служит документацией.

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

Чего так порвался? Давай объясню, линейные типы заставляют менять логику и подход к программированию, так же как это заставляет делать функциональное программирование. И линейные типы, и функциональное программирование облегчают работу компиляторам, и программист может вытянуть из этого преимущества, но минусы никуда не уходят.

Контракты во первых не обязательны, если они не могут помочь или мешают в конкретной ситуации, то их не будет, во вторых описание контракта и так полезно само по себе, assert есть во всех языках программирования, контракт так же служит документацией.

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