Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

add failing test for stack safety #10

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

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