@rustlang_ru - страница 1276

Маjко

Если это какая-нибудь динамика тыпа питона

Alexander

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

Маjко

Не знаю, ничего не болит

Alexander

Под таким же предлогом можно заставить лямбды типами описывать - важное внутреннее апи. Какая разница внутри функции или нет, да вообще let без типа тоже опасен, вдруг кто чужой посмотрит и не понятно.

Маjко

Там это бессмысленно, они в контексте ф-и и используют только то, что в этом контексте. Захочешь сохранить или поперекидывать между ф-ями: да, будешь описывать

Маjко

Под таким же предлогом можно заставить лямбды типами описывать - важное внутреннее апи. Какая разница внутри функции или нет, да вообще let без типа тоже опасен, вдруг кто чужой посмотрит и не понятно.

Как это не понятно? В let ты присваиваешь что-то вызовом функции. А у нее сигнатуру видно.

Alexander

Так внутренний тип после какого-нибудь хитрого фолда не видно.

Маjко

Видно

Маjко

Это первый аргумент фолда

Маjко

А смотреть на полный тип итератора тебе не нужно совсем

Alexander

Так ты не знаешь как он преобразуется - и во что заворачивается - это в лямбда фолда или мапа

Cuno

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

Ты там итераторы что ли полностью расписываешь?

Маjко

Так ты не знаешь как он преобразуется - и во что заворачивается - это в лямбда фолда или мапа

Меня это совершенно не ебет

Alexander

Ты там итераторы что ли полностью расписываешь?

Нет, но выглядит так как будто я расписываю итераторы.

Маjко

Так ты не знаешь как он преобразуется - и во что заворачивается - это в лямбда фолда или мапа

Ты не знаешь какие ассемблерные инструкции будут выполняться в твоей функции, страдай.

Cuno

Нет, но выглядит так как будто я расписываю итераторы.

А можно пример типа, сопоставимого с "расписанным" итератором?

Маjко

У меня тут скрин есть на эту тему

Маjко

Cuno

Ну это Future, тоже на комбинаторах навернулось так. Не считается.

Маjко

Да с итераторами та же фигня длинными

Маjко

Fold<Filter<Map<AndThen<...»»

Cuno

Я о том же. И мне как раз интересно что там @inv2004 такого навернул, что оно сопоставимо с тем, что комбинаторы творят

Oleg

Future<&'ebuchi Shakal>

Маjко

Я о том же. И мне как раз интересно что там @inv2004 такого навернул, что оно сопоставимо с тем, что комбинаторы творят

Вангую что весь сыр-бор из-за Arc<Mutex<Vec<T>>>

Alexander

Я о том же. И мне как раз интересно что там @inv2004 такого навернул, что оно сопоставимо с тем, что комбинаторы творят

Не сопоставимо, но всё равно две строки экрана. Итераторы там вообще капец.

Маjко

А зачем тебе вообще писать тип итератора конкретный?

Маjко

impl Iterator<Item=T>

Alexander

Вангую что весь сыр-бор из-за Arc<Mutex<Vec<T>>>

Ну если внутри мутекса разные значения для одного параметра функции, для другого и потом ещё для результата - то да. А по-сути ты прав - наверху мутекс

Маjко

Box<Iterator<Item=T», если фобия найтли фич, которые на пути в стейбл в течение 1-2 релизов

Oleg

Box<Iterator<Item=T», если фобия найтли фич, которые на пути в стейбл в течение 1-2 релизов

который там год она уже на пути в стейбл?

Маjко

Ну если внутри мутекса разные значения для одного параметра функции, для другого и потом ещё для результата - то да. А по-сути ты прав - наверху мутекс

Не понял, что за разные щначения?

Маjко

который там год она уже на пути в стейбл?

Какая разница, если их стабилизируют уже прямо вот щас? Universal уже в 1.26, Conservative в одном из следующих

Alexander