Conversation

Blogged a bit about environment-passing functions:

antitypical.com

Environment-Passing Style

Replying to

I wonder if this is related at all to 'Destination Passing Style'? I don't know that too well, so would need to dig deeper though, but seems familiar! I wonder if

@ollfredo

knows… I think he's been using it in Sixten/Sixty🤔

11:45 PM · Jul 8, 2021Twitter Web App

Replying to

and

At first blush I think not really, tho I suppose it depends what you want S to do/mean. I’m currently thinking of it as a literal environment, so that S -> A is the variable lookup function partially applied to a specific name; scoping is thus programmable.

Rob Rix‎

@rob_rix

Jul 9, 2021

Plus if you pass it out via the output continuation then you’ve got the state monad which seems pretty interesting. I spent a chunk of the day trying to turn (S -> -) and (- -> R) into an adjunction when really it was the usual currying one all along.

Show replies