Assertion: bind | /r/HasProperty | equivalent
Facets:
value: in the ski combinator calculus
type: OTHER
value: respectively
type: DEGREE
value: to the k and s combinators
type: OTHER
Source sentences:
text: Formally, a value in an environment monad is equivalent to a function with an additional, anonymous argument; return and bind are equivalent to the K and S combinators, respectively, in the SKI combinator calculus.