https://kotlinlang.org logo
#arrow-meta
Title
# arrow-meta
m

melatonina

05/05/2020, 5:31 AM
Can we infer that a branched expression with two different types
A
and
B
has a type
Either<A, B>
and compile it accordingly, by inserting the calls to
left()
and
right(),
with an ΛRROW Meta plug-in? Would that cause any problems?
r

raulraja

05/05/2020, 10:56 AM