B
ладно, тогда поехали все фичи хаскеля на раст портить
Size: a a a
2021 April 27
EG
Начиная с гц, ага
EG
Без этого не выйдет
B
да)
B
ну как в с++11
EG
Rust когда-то был без пяти минут функциональным языком с гц, гринтредами и refined-типами
EG
Но очень давно
DS
Все не нужно.
Вот реально того, что не хватает и чего нет в рфц - это какой-нибудь аналог ConstraintKinds и вообще всей истории с кайндами, Coerciable + DeriveVia ну и всяких HasField и т.п.
Вот реально того, что не хватает и чего нет в рфц - это какой-нибудь аналог ConstraintKinds и вообще всей истории с кайндами, Coerciable + DeriveVia ну и всяких HasField и т.п.
EG
В RFC-то есть юзабельный язык
DS
А это всё чисто компайл тайм штуки
EG
Даже тупо включить найтли, и это очень мощный язык выходит
DS
Ну я уже с учётом найтли считаю
EG
А вот стейбл это такой себе better C++
DS
Точнее с учётом фич из найтли, которые можно брать без страха
B
даа
EG
Не такой фичастый, зато попроще
B
min_specialization без страха?
DS
Со страхом.
Без страха у меня выходит вот так:
Ну и всякой мелочи вокруг нестабилизованных методов
Без страха у меня выходит вот так:
#![feature(type_alias_impl_trait)]
#![feature(try_blocks)]
#![feature(trait_alias)]
Ну и всякой мелочи вокруг нестабилизованных методов
EG
TAIT, min_specialization, trait alias — уже можно жить.
B
