-
Notifications
You must be signed in to change notification settings - Fork 256
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
SKK /= I in chapter 4 #88
Comments
In this case you get a closure whose value is an identity function ( |
OK, thanks. Stephen Diehl [email protected] writes:
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I am working through your wonderful "Write you a Haskell" tutorial, thanks a lot for creating it in the first place.
I have downloaded and compiled the code for chapter 4 (the untyped lambda calculus).
Contrary to the explanations in the text, SKK does not reduce to I in my case, instead I get:
Recall, that according to the text on page 50 I should see something along the lines of:
I wonder what's going on? Cannot be a huge thing, as the data structures / code base
is relatively small at this point.
Nevertheless, as SKK=I is supposed to be a kind of litmus test, I would like to
get this fixed.
A few more explanations for what's going on in detail in Eval.hs would also be nice
(VClosure, Scope, type Eval = WriterT [Step](State EvalState) a, inc, red, etc)
Thanks.
The text was updated successfully, but these errors were encountered: