Ну так то хорошо себе живет в вебчике

На гошечке вполне можно работу найти уэе

Недоделанные экзистенциальные типы ещё легко вспомнить

Хм. Верю

А с развитием? Кудой идут?

И вообще весь идиотский дизайн с неназываемыми типами для лямбд/генераторов/асинков

Я вот думаю, им бы мусоросборщик выкинуть, да компилятор до растовского дотянуть, и вышел бы практически Си, только чище и современный

Вот тут хз, о чем ты/Вы

Без понятия, я не гошник, просто вокруг меня попадаются оные

Вроде дженерики впиливают и что то еще

Проблема в том, что вне найтли раста не можешь нормально дать название типу, например, такого замыкания:

let my_value = ...;
let my_closure = |x: SomeType| my_value.some_method(...);

Без дин трейтов само собой

Как по мне и без дженериков норм, это ужо джавашные замашки

А подобная возможность по идее должна была бы быть изначально в языке, раз уж делали такой дизайн для замыканий

Понимаю. И часто такое используеться? (Наверное в асинк Раст да, но я больше по вебасму)

Вот кстати да, цель для компилятора сделать то сделали, а по факту без wasm-bindgen-а никуда

Могли б и допилить в стд, раз уж васм это тьер1 цель

Такая возможность была бы полезна практически везде.

Простейший пример - мы хотим из метода трейта возвращать итератор (абсолютно разумная и естественная идея):

trait MyTrait<'a> {
   type MyIter: Iterator<Item = &'a MyType>;
   fn get_iter(&'a self) -> Self::MyIter;
}

Ок, пишем реализацию:

impl<'a> MyTrait<'a> for MyTraitImpl {
   type MyIter = ???;
   fn get_iter(&'a self) -> Self::MyIter {
     let some_value = self.some_method(...);
     self.something.iter().map(|x| some_value.wtf(x))
   } 
}

И теперь выходит, что мы не можем назвать тип, который должен идти в MyIter, из-за того, что у нас там будет Map<???, ...>, в котором надо будет указать имя типа замыкания, чего мы сделать не сможем. И соответственно так реализовать трейт тоже не сможем.

У нас остаются два варианта - бокс + dyn, что в случае итераторов смешно, или переходить на найтли и давать имя MyIter через

type MyIter = impl Iterator<...>; 

И вот кажется, что раз уж разрабы выбрали такой дизайн для лямбд, то возможность как-то дать название типу замыкания должна была быть с самого начала.

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

trait MyTrait<'a> {
   type MyIter: Iterator<Item = &'a MyType>;
   fn get_iter(&'a self) -> Self::MyIter;
}

impl<'a> MyTrait<'a> for MyTraitImpl {
   type MyIter = ???;
   fn get_iter(&'a self) -> Self::MyIter {
     let some_value = self.some_method(...);
     self.something.iter().map(|x| some_value.wtf(x))
   } 
}

type MyIter = impl Iterator<...>; 

Блин, и правда. А на гитхабе есть иссуе?