H
идрис очень медленно развивается по сравнению с растом
В идрис добавили квантитативную систему типов за 2-3 года, причём пилит один дядька
decltype и когда его наконец-то запилят? Если что, в C++ он был аж с 11 стандартаSize: a a a
2020 December 31
T1
Т-34 85
ты ответь на вопрос, почему до сих пор нет
почему нет норм асинка в плюсах? в расте он с прошлого года, а в плюсах ещё даже почти реализаций нет кроме как в документе
Т8
почему нет норм асинка в плюсах? в расте он с прошлого года, а в плюсах ещё даже почти реализаций нет кроме как в документе
а что, в расте асинк норм?
p
Т-34 85
а что, в расте асинк норм?
Нет конечно
H
Т-34 85
а что, в расте асинк норм?
Нет
H
Для прикладных разработчиков может быть и пригодно
T1
В идрис добавили квантитативную систему типов за 2-3 года, причём пилит один дядька
квантативная теория типов вышла раньше намного, идрис уже позже добавлять начал, и это точно не вещь которую так долго нужно добавлять
Т8
почему нет норм асинка в плюсах? в расте он с прошлого года, а в плюсах ещё даже почти реализаций нет кроме как в документе
gcc 10
H
Для творцов обобщенного кода это мрак
p
T1
квантативная теория типов вышла раньше намного, идрис уже позже добавлять начал, и это точно не вещь которую так долго нужно добавлять
и вообще идрис не добавлял, а создал новую версию языка даже
p
квантативная теория типов вышла раньше намного, идрис уже позже добавлять начал, и это точно не вещь которую так долго нужно добавлять
А что в расте нового лол?
p
Афинные типы уже 100000 лет как были
p
Лайфтаймы тоже
T1
это все было неформально, C++ как бы тоже концепты имел через SNIFAE ещё задолго до 20-го стандарта
Т8
Лайфтаймы тоже
мне кажется, ты ошибся языком. Rust - это лишь более безопасный C. Не более
T1
и я не говорил что раст добавляет что-то новое
p
и я не говорил что раст добавляет что-то новое
А как можно по другому развиваться?
Т8
и я не говорил что раст добавляет что-то новое
у него даже нет decltype...
T1
иногда скомбинировать существующие хорошие вещи лучше чем добавить новые