https://kotlinlang.org logo
#arrow-contributors
Title
# arrow-contributors
r

raulraja

12/08/2019, 12:40 PM
Proofs can be inductive and ploted on a graph to find shortest paths. So if you have A -> B, and B -> C you can have a proof of A to C, and that allows you to merge their APIs just with intersection or even subtyping if that is a type you would have otherwise extended but you can’t because it’s a third party.