Телеграмм чат группы rust_offtopic страница 10321

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

rust_offtopic

371 membersпожаловаться на группу

2020 April 01

AZ

Alex Zhukovsky in rust_offtopic

red75prime

Я не понимаю монады. Понимание в функциональном смысле, как эффективное использование этой концепции, не ограниченное её конкретными реализациями.

монада это

trait AndThen { 
  fn and_then<A, B, F>(self: Self<A>, f: F) -> Self<B>
    where F : Fn(A) -> Self<B>
}

источник

14:42пожаловаться #1

AZ

Alex Zhukovsky in rust_offtopic

это сложно?

источник

14:42пожаловаться #2

p

polunin.ai in rust_offtopic

монада это

trait AndThen { 
  fn and_then<A, B, F>(self: Self<A>, f: F) -> Self<B>
    where F : Fn(A) -> Self<B>
}

тогда как это работает для Result, там два генерика?

источник

14:43пожаловаться #3

AZ

Alex Zhukovsky in rust_offtopic

тогда как это работает для Result, там два генерика?

фиксируешь тип ошибки каким-то конкретным. Остаётся один свободный - тип результата - он дальеш и участвует в мапах

источник

14:44пожаловаться #4

PL

Paul Loyd in rust_offtopic

просто рассуждения на тему "смотрите как ОНИ быстро сделали"

Я спросил у inv-а напрямую. Не отвечает напрямую, жалуется на критическое мышление itшников =)

источник

14:44пожаловаться #5

p

polunin.ai in rust_offtopic

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

источник

14:44пожаловаться #6

AZ

Alex Zhukovsky in rust_offtopic

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

учитывает

источник

14:44пожаловаться #7

DS

Doge Shibu in rust_offtopic

фиксируешь тип ошибки каким-то конкретным. Остаётся один свободный - тип результата - он дальеш и участвует в мапах

Ну не так, конечно. Ты просто пишешь реализацию трейта для любого E

источник

14:44пожаловаться #8

p

polunin.ai in rust_offtopic

учитывает

Self<A> подразумевает один генерик

источник

14:45пожаловаться #9

DS

Doge Shibu in rust_offtopic

Self<A> подразумевает один генерик

Не обязательно

источник

14:45пожаловаться #10

p

polunin.ai in rust_offtopic

Не обязательно

а куда второй девается?

источник

14:45пожаловаться #11

AZ

Alex Zhukovsky in rust_offtopic

Self<A> подразумевает один генерик

impl<T, E> AndThen<T> for Result<T, E> { .. }

источник

14:45пожаловаться #12

DS

Doge Shibu in rust_offtopic

impl<T, E> AndThen<T> for Result<T, E> { .. }

Не так

источник

14:46пожаловаться #13

DS

Doge Shibu in rust_offtopic

impl<T, E> AndThen<T> for Result<T, E> { .. }

`
impl <E> AndThen for Result<_, E> { ... }

источник

14:46пожаловаться #14

r

red75prime in rust_offtopic

монада это

trait AndThen { 
  fn and_then<A, B, F>(self: Self<A>, f: F) -> Self<B>
    where F : Fn(A) -> Self<B>
}

Определение - не сложно. Выучить, что делают конкретные реализации не сложно. Сделать все реализации синтаксически одинаковыми и сказать - для нетривиальных случаев используйте лифтинг и комбинации монад... Уже напрягает

источник

14:46пожаловаться #15

DS

Doge Shibu in rust_offtopic

Result<_, E> - это тип с одной дыркой, т.к. Е мы зафиксировали

источник

14:47пожаловаться #16

D

Dika in rust_offtopic

монада это

trait AndThen { 
  fn and_then<A, B, F>(self: Self<A>, f: F) -> Self<B>
    where F : Fn(A) -> Self<B>
}

где return?

источник

14:47пожаловаться #17

AZ

Alex Zhukovsky in rust_offtopic

red75prime

Определение - не сложно. Выучить, что делают конкретные реализации не сложно. Сделать все реализации синтаксически одинаковыми и сказать - для нетривиальных случаев используйте лифтинг и комбинации монад... Уже напрягает

Чтобы "понимать монады" достаточно первых двух шагов. А третьего в мейнстрим языках все равно нет, поэтому это уже опционально

источник

14:48пожаловаться #18

AZ

Alex Zhukovsky in rust_offtopic

где return?

в аппликативе

источник

14:48пожаловаться #19

p

polunin.ai in rust_offtopic

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

источник

14:48пожаловаться #20