К
Size: a a a
2018 November 07
G
сюдя по типам фантази ленд, чаин это бинд
G
это хаскель
G
а это из апликативного функтора в хаскеле (это жс)
G
это хаскель
К
а это из апликативного функтора в хаскеле (это жс)
Дада, я видел.
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
это хаскель
в хаскеле это кстати, рабочие типы. А в жс, только условные
G
а это из апликативного функтора в хаскеле (это жс)
еще в жс, из-за this, добавили ~ в типы
К
Из-за this? А оно здесь причём?
G
ну насколько я понял, они так метод обозначают
G
и перед тильдой, обозначают, то что в this должно быть
G
ну то есть в жс, не возcожно сделать просто ф-цией ap, chain, bind объязательно надо методом делать
К
ну то есть в жс, не возcожно сделать просто ф-цией ap, chain, bind объязательно надо методом делать
Возможно.
К
Static Land об этом.
G
Static Land об этом.
что-то новое. почитаю. спасибо
E
для начала можно и без типов, надо в монады по человечкски въехать, комбинаторы и рекурсию
Надо сразу с типами въезжать а то так и будет каша в голове