search

polysemy-research / polysemy-zoo

:monkey::panda_face: Experimental, user-contributed effects and interpreters for polysemy
BSD 3-Clause "New" or "Revised" License
70 stars 20 forks source link

Final rework, Fresh Effect, Cont ConstraintAbsorber and new Cont interpreter #45

Closed KingoftheHomeless closed 5 years ago

KingoftheHomeless commented 5 years ago

This is a big one.

@isovector You'll probably find runContViaFresh (previously runContViaCapture) even more interesting now, because I found a promising way to solve the problems it had that I described to you! The problems Capture has still probably remains impossible to solve, though.

KingoftheHomeless commented 5 years ago

Everything Final here is what I'm planning should move to Polysemy, except Final with Cont, the -FinalGlobal interpreters (too experimental), and Polysemy.Final.MTL (I feel MTL stuff can stay in polysemy-zoo).

isovector commented 5 years ago

Thanks for the PR! Might take me a few days to work through it though :)

KingoftheHomeless commented 5 years ago

@isovector Let's wrap up the last of the unresolved questions so we can merge this in!

isovector commented 5 years ago

Thanks for your work on this!

KingoftheHomeless commented 5 years ago

Ready to merge!

KingoftheHomeless commented 5 years ago

Oh, I get to do it now! :)