G
Ну, я могу только на жс/флоу ответить:
ну, я на жс не могу такое сделать. хотя жс знаю больше чем хаскель
Size: a a a
2018 November 07
G
Ну, я могу только на жс/флоу ответить:
А покажи как майби заменяет тебе ифы. На жс
К
class MaybeJust<+T> implements Maybe<T> {
tap(call: T => any): Maybe<T> {
call(getValue(this));
return this;
}
...
}
class MaybeNothing<+T> implements Maybe<T> {
tap() {
return nothing;
}
...
}
maybe.tap(v => console.log(`this is Just(${v})`));
class EitherRight<+L, +R> implements Either<L, R> {
tapR(call: R => any): Either<L, R> {
call(getRight(this));
return this;
}
tapL(): Either<L, R> {
return this;
}
}
class EitherLeft<+L, +R> implements Either<L, R> {
tapR(): Either<L, R> {
return this;
}
tapL(call: L => any): Either<L, R> {
call(getLeft(this));
return this;
}
}
either
.tapR(v => console.log(`this is Right(${v})`))
.tapL(v => console.log(`this is Left(${v})`));G
class MaybeJust<+T> implements Maybe<T> {
tap(call: T => any): Maybe<T> {
call(getValue(this));
return this;
}
...
}
class MaybeNothing<+T> implements Maybe<T> {
tap() {
return nothing;
}
...
}
maybe.tap(v => console.log(`this is Just(${v})`));
class EitherRight<+L, +R> implements Either<L, R> {
tapR(call: R => any): Either<L, R> {
call(getRight(this));
return this;
}
tapL(): Either<L, R> {
return this;
}
}
class EitherLeft<+L, +R> implements Either<L, R> {
tapR(): Either<L, R> {
return this;
}
tapL(call: L => any): Either<L, R> {
call(getLeft(this));
return this;
}
}
either
.tapR(v => console.log(`this is Right(${v})`))
.tapL(v => console.log(`this is Left(${v})`));это как-то посложнее хаскеля
К
это как-то посложнее хаскеля
🤷♂️
К
Сложно, но можно. Никто и не говорил, что это легко. Но за труды я себя поблагодарил.
К
Хотя не только себя.
G
ладно. вбщем в хаскеле есть тип майби, ф-ция майби, и в классе монад еще бинд для типа прописан. И все три легче читаются чем вот это одно у тебя на жс
К
ладно. вбщем в хаскеле есть тип майби, ф-ция майби, и в классе монад еще бинд для типа прописан. И все три легче читаются чем вот это одно у тебя на жс
Ну... Я могу только поздравить чуваков, которые пишут на Хаскеле. =)
G
class MaybeJust<+T> implements Maybe<T> {
tap(call: T => any): Maybe<T> {
call(getValue(this));
return this;
}
...
}
class MaybeNothing<+T> implements Maybe<T> {
tap() {
return nothing;
}
...
}
maybe.tap(v => console.log(`this is Just(${v})`));
class EitherRight<+L, +R> implements Either<L, R> {
tapR(call: R => any): Either<L, R> {
call(getRight(this));
return this;
}
tapL(): Either<L, R> {
return this;
}
}
class EitherLeft<+L, +R> implements Either<L, R> {
tapR(): Either<L, R> {
return this;
}
tapL(call: L => any): Either<L, R> {
call(getLeft(this));
return this;
}
}
either
.tapR(v => console.log(`this is Right(${v})`))
.tapL(v => console.log(`this is Left(${v})`));вот кстати.
К
вот кстати.
Ну, мне больше интересно не как это создаётся, а как используется.
К
На жс чтобы написать что-то удобное, нужно сделать много неудобного. Но профит есть, если ты не можешь соскочить с жс.
К
Поэтому если я написал удобную мейби, мне не жалко потраченного времени. Без фанатизма, конечно. Но это же мне упростит жизнь.
G
Ну, мне больше интересно не как это создаётся, а как используется.
вот так
К
вот так
Да, это правда сложно для понимания. =)
К
вот так
Там можно как-нибудь так?
either
.mapR(v => 'this is Right ' + v)
.mapL(v => 'this is Left ' + v)
.tapR(console.log)
.tapL(console.log);G
Да, это правда сложно для понимания. =)
Проще чем на жс, тут можно создавать свои операторы, операторы это обычные функции двух аргументов, слева Just 5, это как в жс new Just(5), а справа лямбда, как в жс x => new Just(x*2)
К
Проще чем на жс, тут можно создавать свои операторы, операторы это обычные функции двух аргументов, слева Just 5, это как в жс new Just(5), а справа лямбда, как в жс x => new Just(x*2)
И те же map, ap, chain — это тоже операторы? Или я путаю?
G
И те же map, ap, chain — это тоже операторы? Или я путаю?
map не как оператор сделан.
я не изучал извращенное фп на жс, но подозреваю что
chain это оператор >>
я не изучал извращенное фп на жс, но подозреваю что
chain это оператор >>
G
bind это >>=