Ода хейта C++

Ну вот на самом деле у вас и будет тысяча строк которые не работают без сахара в компиляторе и не реализуют половину фич из цпп.

Ода хейта C++

Цпп iota имеет, а хаскель не имеет. Сравнение не уместно. Приходите с хаскель примером когда он это научится.

Ода хейта C++

Греп ничего не даёт. Инвариант необходимый для ансейф блока зачастую приходит снаружи

Ода хейта C++

Не сравнивайте свои списки с С++ ренжами

Ода хейта C++

list1 = foo 5 (Bound 10)
list2 = foo 5 Infinity

Во-первых неудобно, везде в других языках просто пишем iota(5, 10) или iota(5) не говоря уже про языки где есть именованные аргументы.
Во-вторых у вас на тайплевеле потерялась информация о том закрытый ренж или открытый

Ода хейта C++

(!!) :: [a] -> Int -> a

WARNING: This function takes linear time in the index.

не годится

Ода хейта C++

за час пердолинга не смог

auto safeIota(auto&& start, auto&& end) {
  if (start <= end) return rv::iota(FWD(start), FWD(end));
  else return rv::iota(start, start);
}

делается за пол секунды

Ода хейта C++

safeIota :: (Ord a, Enum a) => a -> a -> [a]

А где хотя бы случай когда второй аргумет равен бесконечности? Где поддержка operator[i] у хаскель списка?

Ода хейта C++

1. miri это никакая не "формальная верификация" это санитайзер

2. coq уже больше похоже на правду, но реально им никто не пользуется

3. наличие санитайзеров для раст подтверждает что нифига формально не верифицировано и по факту для отлова уб используются утилиты заимствованные из С++. Только интеграция с раст там хуже.

Ода хейта C++

Ренжи по сравнению ч циклами дают инверсию контроля

Ода хейта C++

Потму что ваши методы не должны принимать контейнеры, а должны принимать ренжи. Если код использующий контейнеры дженерик, то надо через algorithm работать

Ответ на «Коротко о том, почему Rust лучше C/C++» или меня не бомбит

Можно как-то так сделать

auto min(auto&& a, auto&& b) -> std::remove_reference_t<decltype(a)>
    requires std::is_rvalue_reference_v<decltype(a)> || std::is_rvalue_reference_v<decltype(b)> {

    static_assert(std::is_same_v<std::remove_reference_t<decltype(a)>, std::remove_reference_t<decltype(b)>>);
    return (a < b) ? std::forward<decltype(a)>(a) : std::forward<decltype(b)>(b);
}

template<typename T>
auto min(const T& a, const T& b) -> const T& {
    return (a < b) ? a : b;
}

Или сделать всегда move() но это очень ограниченное решение.

Ответ на «Коротко о том, почему Rust лучше C/C++» или меня не бомбит

Тут проблема в самом std::min, можно было бы сделать перегрузку для rvalue ссылок.

Ответ на «Коротко о том, почему Rust лучше C/C++» или меня не бомбит

Надо писать const auto& и не думать

Ответ на «Коротко о том, почему Rust лучше C/C++» или меня не бомбит

Либо вы уже ушли, и вам пофиг что он там сделал, либо у вас не работает код ревью.

Страуструп ответил на призыв Белого дома США переходить на языки с безопасностью памяти

Если с# закрывает ваши задачи то хорошо, не стоит брать с++. Высокоуровневые языки это размен контроля на простоту.

Страуструп ответил на призыв Белого дома США переходить на языки с безопасностью памяти

Ключевое слово "потенциально". Просто мазать constexpr везде смысла мало. Современный С++ даёт возможность специализировать поведение программы для разных данных через метапрограммирование и constexpr как его часть. Но для этого нужно писать соответсвующий код. Мы рассуждаем в контексте других языков, где таких возможностей попросту нет. Значит сравнивать надо с С++ кодом в котором так же эти возможности не задёствуются, и лишние кейворды вроде constexpr/noexcept не возникают.

Страуструп ответил на призыв Белого дома США переходить на языки с безопасностью памяти

Если вы не знаете что делает constexpr то следует ознакомится с документацией прежде чем писать чушь в комментариях. Заодно узнаете про consteval.

Страуструп ответил на призыв Белого дома США переходить на языки с безопасностью памяти

constexpr - перенести часть вычислений в компайлтайм

const propagation оптимизация работает и в си без всяких constexpr

Страуструп ответил на призыв Белого дома США переходить на языки с безопасностью памяти

Сочувствую вашей травме