Conversation

Blogged a bit about environment-passing functions:

antitypical.com

Environment-Passing Style

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🤔

Rob Rix‎

@rob_rix

Jul 9, 2021

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.

Rob Rix‎

@rob_rix

Jul 9, 2021

I think it’s generally the case that coeffects could be modelled by an appropriate selection of S, so that’s another angle worth considering.

Replying to

and

Thanks for the comments, I'll give them a think! Sorry if I gave you the runaround – my brain sometimes tends to make bad/incorrect connections between things and it can be annoying😳

3:53 AM · Jul 9, 2021Twitter Web App

Replying to

and

1. You’re welcome! 2. No apology necessary. If anything, it prompted me to clarify and challenge my thoughts on the subject, which is quite useful. It also highlighted that I didn’t address this in the post; maybe I should! …

Rob Rix‎

@rob_rix

Jul 9, 2021

… 3. I’d much rather review spurious connections than miss valid ones. I do the same and I find it essential to creativity and learning. I wouldn’t be me if I didn’t, IMO.