DC
Пока достаточно и индивидуальной беседы
ок
Size: a a a
2020 August 08
V
А можно кидать исключения в селекторах? Тип например селектор предоставляет какой-то элемент по ид, приходит ид, а элемента с таким ид нет, норм будет прямо из селектора исключение кинуть?
селекторы по своей сути должны быть чистыми функциями и пихать туда сайд эффекты - не комильфо.
возвращай абстрагированный тип аля Option<A> из fp-ts
возвращай абстрагированный тип аля Option<A> из fp-ts
V
ну и по нему уже через гварды решай что делать
V
но никто не запрещает, да
А
Vetro
селекторы по своей сути должны быть чистыми функциями и пихать туда сайд эффекты - не комильфо.
возвращай абстрагированный тип аля Option<A> из fp-ts
возвращай абстрагированный тип аля Option<A> из fp-ts
Throw - это сайд-эффект? Максимум же нарушение ссылочной прозрачности
А
Но суть понял, спасибо
V
Throw - это сайд-эффект? Максимум же нарушение ссылочной прозрачности
ну в случае если ты потом будешь менять флоу в зависимости от экспешена
если тебе неважно какой боттом, то тогда не сайд эффект
но и тогда смысла от прокидывания нет)
если тебе неважно какой боттом, то тогда не сайд эффект
но и тогда смысла от прокидывания нет)
V
в любом случае нарушение тотальности идет
А
Не понял, что значит "менять флоу", "какой боттом" и что такое тотальность, чувствую себя тупым (
M
redux
react-redux
react-redux-thunk
react-redux-thunk-saga
react-redux-thunk-saga-anything
react-redux-thunk-saga-anything-who-is-next?
react-redux
react-redux-thunk
react-redux-thunk-saga
react-redux-thunk-saga-anything
react-redux-thunk-saga-anything-who-is-next?
А
И гварды тоже первый раз слышу, сложно, это всё что-то из тс?
kA
react-redux-thunk-saga-anything-nothing
V
Не понял, что значит "менять флоу", "какой боттом" и что такое тотальность, чувствую себя тупым (
флоу - control flow приложения, бранчи, по простому
боттом - bottom type, (never в TS, тип, который нельзя создать, но можно привести к чему угодно)
тотальность функции - функция поведение которой определено для ВСЕХ возможных значений входного типа. То есть она попросту не может выкинуть ошибку
боттом - bottom type, (never в TS, тип, который нельзя создать, но можно привести к чему угодно)
тотальность функции - функция поведение которой определено для ВСЕХ возможных значений входного типа. То есть она попросту не может выкинуть ошибку
V
эксепшены, в каком-то роде, тоже боттомы, емнип
V
но это не точно
СМ
Нет, ну я не могу осмыслить боттом
СМ
Это люди изобрели?
V
Это люди изобрели?
да
теория типов, подраздел мат логики
теория типов, подраздел мат логики
СМ
Vetro
да
теория типов, подраздел мат логики
теория типов, подраздел мат логики
Я вуз не окончил, видимо, зря
V
Я вуз не окончил, видимо, зря
я тоже)