Skip to content

Conversation

@syaiful6
Copy link

@syaiful6 syaiful6 commented Jun 2, 2017

No description provided.

@syaiful6 syaiful6 force-pushed the stack branch 2 times, most recently from 7cbe128 to 04beeb1 Compare June 2, 2017 02:11
@felixSchl
Copy link
Owner

Hey, have you had a chance to dig into as to why this occurs? I am wrecking my brain as to how to properly implement MonadRec and runEffectRec. Any help would be fantastic!

@safareli
Copy link

It seems like the Proxy can rewritten as FreeT over some algebra, if it's done that way stack safety will be a result, and would simplify implementation too as most of pluming will be handled bu FreeT. There might have been some reasons to not use FreeT initially, but are there reasons now?

@felixSchl
Copy link
Owner

There might have been some reasons to not use FreeT initially, but are there reasons now?

There was no other reason except me not having the knowledge of FreeT

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants