История изменений
Исправление www_linux_org_ru, (текущая версия) :
«Side note for you type theorists out there [...] impl Trait is universal in an input position, but existential in an output position.» Почему так - опять же ХЗ,
ммм... а может быть как-то по-другому среди нормальных людей? мне правда интересно — это вопрос выражения мыслей
например, «кофемолка мелет кофе» означает, что она принимает на вход зерна _любого_ сорта кофе, при этом результат — молотый кофе, для которого _существует_ определенный сорт (он, кстати, может и отличаться от сорта кофе на входе — точнее, быть его субтипом/суб-trait-ом/субсортом — если она кофе еще и жарит дополнительно, скажем)
другой вариант: покупка билета на поезд
если мы что-то не специфицировали на входе (например, содержимое чемодана), то пользователь может запихнуть _любое_ содержимое; если мы что-то не специфицировали на выходе (например, точный номер места), то значит этот номер _существует_, но будет место верхним, нижним, или у туалета — сказать нельзя (кстати, в ржд есть даже билеты где «место указывает проводник»)
Исправление www_linux_org_ru, :
«Side note for you type theorists out there [...] impl Trait is universal in an input position, but existential in an output position.» Почему так - опять же ХЗ,
ммм... а может быть как-то по-другому среди нормальных людей? мне правда интересно — это вопрос выражения мыслей
например, «кофемолка мелет кофе» означает, что она принимает на вход зерна _любого_ сорта кофе, при этом результат — молотый кофе, для которого _существует_ определенный сорт (он, кстати, может и отличаться от сорта кофе на входе — точнее, быть его субтипом/суб-trait-ом/субсортом — если она кофе еще и жарит дополнительно, скажем)
другой вариант: покупка билета на поезд
если мы что-то не специфицировали на входе (например, содержимое чемодана), то пользователь может запихнуть туда что угодно; если мы что-то не специфицировали на выходе (например, точный номер места), то значит этот номер существует, но будет место верхним, нижним, или у туалета — сказать нельзя (кстати, в ржд есть даже билеты где «место указывает проводник»)
Исходная версия www_linux_org_ru, :
«Side note for you type theorists out there [...] impl Trait is universal in an input position, but existential in an output position.» Почему так - опять же ХЗ,
ммм... а может быть как-то по-другому среди нормальных людей? мне правда интересно — это вопрос выражения мыслей
например, «кофемолка мелет кофе» означает, что она принимает на вход зерна _любого_ сорта кофе, при этом результат — молотый кофе, для которого _существует_ определенный сорт (он, кстати, может и отличаться от сорта кофе на входе — точнее, быть его субтипом/суб-trait-ом/субсортом — если она кофе еще и жарит дополнительно, скажем)
другой вариант: покупка билета на поезд
если мы что-то не специфицировали на входе (например, содержимое чемодана), то пользователь может запихнуть туда что угодно; если мы что-то не специфицировали на выходе (например, точный номер места), то значит этот номер существует, но будет место верхним, нижним, или у туалета — сказать нельзя