NF
у него много косяков, но в целом это похоже на то как это делается в том же шарпе, единственная проблема в том что js это не c# и он напихал кучу костылей которые делают из элегантного кода неподдерживаемый высер
Size: a a a
2021 November 23
SP
в шарпе тоже это все делается плохо )
E
раскрой эти места
E
понять где здесь пахнет больше всего
NF
не, там всё красивенько
SP
Option/Result повсемесно используются?
NF
но не в домене
E
это плохо использовать в домене?
NF
это первая явная ошибка, хз че у него монады в домене забыли и почему валидация в домене
NF
домен должен иметь ровно 0 зависимостей
E
в js'e трудно придется в этом плане)
NF
домен должен поддерживать инварианты, не заботясь о валидации
SP
кстати странно что у него это получилось
export const right = <L, A>(a: A): Either<L, A> => {
return new Right<L, A>(a);
};
когда я делал на фантомных типах штуку, мне компилятор настойчиво говорил что у тебя нет L. и в этом есть смысл, потому что L в рантайме сконструировать никак нельзя, если его не будет в рантайме, всмысле нельзя просто взять и сделать some_either::L
export const right = <L, A>(a: A): Either<L, A> => {
return new Right<L, A>(a);
};
когда я делал на фантомных типах штуку, мне компилятор настойчиво говорил что у тебя нет L. и в этом есть смысл, потому что L в рантайме сконструировать никак нельзя, если его не будет в рантайме, всмысле нельзя просто взять и сделать some_either::L
NF
ну первое что я заметил это то что он пытается сделать паттерн дефолтный конструктор, но он работает только если есть полиморфизм, так что он пилит вместо него статические методы, что в целом убивает идею этого паттерна
SP
а ну собственно если сделать right(1), то тип будет
Either<unknown, number>
Either<unknown, number>
SP
т.е. тут это прокатывает, но если хочется фантомный тип, то он всегда будет unknown, либо конструктор будет явно требовать его передавать
NF
так же он накастылил базовые классы ValueObject и т.д. которые в js нельзя накастылить так чтобы они были трейтами
SP
а в шарпе можно чтоли )
NF
> ладно, можно, но это не то чего кто либо хочет