AZ
их в хаскель запихивают с болью
Size: a a a
2020 March 02
AZ
так что в этом раст в принципе продвинутее даже среьезных япов
G
В Rust++ должны быть эффекты
G
так что в этом раст в принципе продвинутее даже среьезных япов
+
G
В Idris2 вроде линейные типы хотят ввести
Т8
В Rust++ должны быть эффекты
Rust++ не нужен, нужен c++++
DS
Т-34 85
Перформанс, потребление оп памяти
Растовские дженерики дают то же самое, как пример
Т8
Растовские дженерики дают то же самое, как пример
А есть бэнчмарки именно обобщённого программирования?
G
Зачем делали const, Future, unsafe, если можно было бы сделать их эффектами
DS
Только при этом дружелюбнее к компилятору, сообщениям об ошибкам и т.д.
G
Ну Future-то ладно
DS
Ждём только, когда закончат гаты и конст дженерики, тогда точно проблем не будет
λ
Т-34 85
А есть бэнчмарки именно обобщённого программирования?
А что там бенчмаркать, механизм кодогенерации один, разница только в том, как это компилятор внутри себя переваривает
G
Хотя бы const, unsafe были бы эффектами, ещё добавить impure эффект
Т8
Только при этом дружелюбнее к компилятору, сообщениям об ошибкам и т.д.
Посмотри темплейты у ди. Там пофикшено
DS
Т-34 85
А есть бэнчмарки именно обобщённого программирования?
Можешь посмотреть реализацию в компиляторе, растовские дженерики раскрываются в тот же код, что и шаблоны
λ
Т-34 85
Посмотри темплейты у ди. Там пофикшено
Ди мёртв
G
Можешь посмотреть реализацию в компиляторе, растовские дженерики раскрываются в тот же код, что и шаблоны
+
Т8
А что там бенчмаркать, механизм кодогенерации один, разница только в том, как это компилятор внутри себя переваривает
Действительно, зачем врупают -о2?
DS
Т-34 85
Посмотри темплейты у ди. Там пофикшено
А какой смысл?
Темплейты - не ложатся нормально на сложные системы типов.
Темплейты - не ложатся нормально на сложные системы типов.