You know the difference in Scala between val f: A=>B
and def f(a:A): B
?
I do.
The first one is a point in BA
; the second one is an arrow from A
to B
. Yes, there's an adjunction, so there's a 1-1 correspondence; it's basically a special case of currying.