|
|
|
|
|
|
by arethuza
201 days ago
|
|
|
SKI can, of course, be de-optimised a bit further by replacing I with SKK. You are right though that it is relatively simply to go from something that looks like a normal program languages to a pile of S and K combinators. Not the most efficient way to compute though! |
|
|