λ
Нормисам бессмысленно трогать, это же инструмент для библиотек
А просто пок?
Size: a a a
2021 March 12
Oℕ
Т.е. его томасы микулы трогать должны
Oℕ
Vasiliy
шас бы над лолепопами смеяться
λ
Когда уже в дзяву завезут?
AT
шас бы над лолепопами смеяться
это же однозначно элемент мачистской культуры логического сообщества
λ
Но не могу смотреть ты скалу ненавидишь
s
Дима совершенно серьезно почему не учишь скалку?
λ
Ща бы работать
s
Да вроде полно работы. Счас вообще бум какой-то
Oℕ
Т.е. было
def useForksL[A, B](
f: A -⚬ B,
)(implicit
A: Junction.Positive[A],
B: Signaling.Positive[B],
): (A |*| (HeldFork |*| HeldFork)) -⚬ (B |*| (HeldFork |*| HeldFork)) =
id[ A |*| (HeldFork |*| HeldFork) ] .to[ A |*| ((Done |*| Delayed[SharedFork]) |*| (Done |*| Delayed[SharedFork])) ]
.>.snd(IXI) .to[ A |*| ((Done |*| Done) |*| (Delayed[SharedFork] |*| Delayed[SharedFork])) ]
.>.snd.fst(join).assocRL .to[ (A |*| Done ) |*| (Delayed[SharedFork] |*| Delayed[SharedFork]) ]
.>.fst(A.awaitPosSnd > f > B.signalPosSnd) .to[ (B |*| Done ) |*| (Delayed[SharedFork] |*| Delayed[SharedFork]) ]
.assocLR.>.snd.fst(fork) .to[ B |*| ((Done |*| Done) |*| (Delayed[SharedFork] |*| Delayed[SharedFork])) ]
.>.snd(IXI) .to[ B |*| ((Done |*| Delayed[SharedFork]) |*| (Done |*| Delayed[SharedFork])) ]
w
Т.е. было
def useForksL[A, B](
f: A -⚬ B,
)(implicit
A: Junction.Positive[A],
B: Signaling.Positive[B],
): (A |*| (HeldFork |*| HeldFork)) -⚬ (B |*| (HeldFork |*| HeldFork)) =
id[ A |*| (HeldFork |*| HeldFork) ] .to[ A |*| ((Done |*| Delayed[SharedFork]) |*| (Done |*| Delayed[SharedFork])) ]
.>.snd(IXI) .to[ A |*| ((Done |*| Done) |*| (Delayed[SharedFork] |*| Delayed[SharedFork])) ]
.>.snd.fst(join).assocRL .to[ (A |*| Done ) |*| (Delayed[SharedFork] |*| Delayed[SharedFork]) ]
.>.fst(A.awaitPosSnd > f > B.signalPosSnd) .to[ (B |*| Done ) |*| (Delayed[SharedFork] |*| Delayed[SharedFork]) ]
.assocLR.>.snd.fst(fork) .to[ B |*| ((Done |*| Done) |*| (Delayed[SharedFork] |*| Delayed[SharedFork])) ]
.>.snd(IXI) .to[ B |*| ((Done |*| Delayed[SharedFork]) |*| (Done |*| Delayed[SharedFork])) ]
а можно рисунок фотографии скриншота?
s
Хотя ладно спорная тема
λ
Т.е. было
def useForksL[A, B](
f: A -⚬ B,
)(implicit
A: Junction.Positive[A],
B: Signaling.Positive[B],
): (A |*| (HeldFork |*| HeldFork)) -⚬ (B |*| (HeldFork |*| HeldFork)) =
id[ A |*| (HeldFork |*| HeldFork) ] .to[ A |*| ((Done |*| Delayed[SharedFork]) |*| (Done |*| Delayed[SharedFork])) ]
.>.snd(IXI) .to[ A |*| ((Done |*| Done) |*| (Delayed[SharedFork] |*| Delayed[SharedFork])) ]
.>.snd.fst(join).assocRL .to[ (A |*| Done ) |*| (Delayed[SharedFork] |*| Delayed[SharedFork]) ]
.>.fst(A.awaitPosSnd > f > B.signalPosSnd) .to[ (B |*| Done ) |*| (Delayed[SharedFork] |*| Delayed[SharedFork]) ]
.assocLR.>.snd.fst(fork) .to[ B |*| ((Done |*| Done) |*| (Delayed[SharedFork] |*| Delayed[SharedFork])) ]
.>.snd(IXI) .to[ B |*| ((Done |*| Delayed[SharedFork]) |*| (Done |*| Delayed[SharedFork])) ]
/get нечитабельная_залупа
λ
Сперва бы джава стримс апи все дзявисты начали понимать, а потом можно и волгу
λ
тебе бы понравилось бесконечное тестирование
На коронавирус ?
Oℕ
Т.е. было
def useForksL[A, B](
f: A -⚬ B,
)(implicit
A: Junction.Positive[A],
B: Signaling.Positive[B],
): (A |*| (HeldFork |*| HeldFork)) -⚬ (B |*| (HeldFork |*| HeldFork)) =
id[ A |*| (HeldFork |*| HeldFork) ] .to[ A |*| ((Done |*| Delayed[SharedFork]) |*| (Done |*| Delayed[SharedFork])) ]
.>.snd(IXI) .to[ A |*| ((Done |*| Done) |*| (Delayed[SharedFork] |*| Delayed[SharedFork])) ]
.>.snd.fst(join).assocRL .to[ (A |*| Done ) |*| (Delayed[SharedFork] |*| Delayed[SharedFork]) ]
.>.fst(A.awaitPosSnd > f > B.signalPosSnd) .to[ (B |*| Done ) |*| (Delayed[SharedFork] |*| Delayed[SharedFork]) ]
.assocLR.>.snd.fst(fork) .to[ B |*| ((Done |*| Done) |*| (Delayed[SharedFork] |*| Delayed[SharedFork])) ]
.>.snd(IXI) .to[ B |*| ((Done |*| Delayed[SharedFork]) |*| (Done |*| Delayed[SharedFork])) ]
станет
def useForksL[A, B](
f: A -⚬ B,
)(implicit
A: Junction.Positive[A],
B: Signaling.Positive[B],
): (A x HeldFork x HeldFork) -⚬ (B x HeldFork x HeldFork) = libretto{ (a, fx, fy) =>
val gx = awaitPos(fx)
val gy = signalPos(fy)
val b = f(a)
(b, gx, gy )
}
Oℕ
вот сила волги