CD
Если мы там ничего не выкопали, выкопали в другой географии - у нас большой аргумент против текущей основной ветки
Size: a a a
2021 February 22
CD
Основной прорыв науки как метода - возможность не свалиться в догматическую концепцию "всё из воды" или "история фальсифицирована" и гарантировать прогресс в случае, когда новые данные расходятся с прошлым опытом - местный lock-free подход.
CD
все остальное - гипотезы на которые можно сослаться как "ну тогда были такие условия а щас их нет - гг вп"
и каждое "ну тогда были такие условия а щас их нет - гг вп" в рамках научного метода должно ставиться под сомнение и усиленно препарироваться на предмет опровержения
EG
Тип актиксового приложения нельзя записать, потому что у него в дженерике приватный тип
EG
Ну какого
p
Тип актиксового приложения нельзя записать, потому что у него в дженерике приватный тип
ахахахахха
p
classic
EG
Я захотел вынести создание приложения в функцию — нет, так нельзя, я не могу вернуть App, потому что я не могу записать его тип
EG
Это, кстати, ещё вопрос того, что Rust требует полных аннотаций типа для функции при том, что в нём существует понятие «тип, который нельзя записать»
EG
Если бы я мог написать
App<_, _> в return-типе функции, проблемы бы не былоp
Это, кстати, ещё вопрос того, что Rust требует полных аннотаций типа для функции при том, что в нём существует понятие «тип, который нельзя записать»
а я о чем!
p
поэтому я и хочу вывод возвращаемого значения функции
JM
Это, кстати, ещё вопрос того, что Rust требует полных аннотаций типа для функции при том, что в нём существует понятие «тип, который нельзя записать»
А если создать для него маркер-трейт?
p
А если создать для него маркер-трейт?
тогда ты не сможешь его использовать никак
p
ну кстати
EG
А если создать для него маркер-трейт?
Я не смогу его реализовать, потому что мне потребуется записать
impl Marker for App<A, B>, где A — приватный типJM
Я не смогу его реализовать, потому что мне потребуется записать
impl Marker for App<A, B>, где A — приватный типТам разве нельзя _ юзать?
EG
Там разве нельзя _ юзать?
Нет
p
можно использовать trait AppTrait и реализовать ля App и возвращать impl Apptrait<>
p
@emmanuelGoldstein попробуй