tag:blogger.com,1999:blog-4694016830113568730.post8977392225166182853..comments2023-09-12T09:41:57.755+02:00Comments on Professor Fish: An illustrative online partial evaluatorRalf Lämmelhttp://www.blogger.com/profile/11811593229142993414noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-4694016830113568730.post-57507422603022089622011-05-29T22:37:49.511+02:002011-05-29T22:37:49.511+02:00Thanks. William. The more complicated partial eval...Thanks. William. The more complicated partial evaluator is in the linked repository. I agree with all the identified issues, and thanks for pointing them out to me and others. I am not sure that I want to write another blog post about the advanced version. Well, let me see. :-)Ralf Lämmelhttps://www.blogger.com/profile/11811593229142993414noreply@blogger.comtag:blogger.com,1999:blog-4694016830113568730.post-91007279496690890532011-05-28T17:45:52.225+02:002011-05-28T17:45:52.225+02:00I talked with Ralf about this. While this is a goo...I talked with Ralf about this. While this is a good start at a partial evaluator, which emphasizes the similarities with normal evaluation, there are some serious problems with this approach. I recommend against putting expressions into the environment. Also, the "call" expression should create a new specialized version of the function, and this function should be memoized. Otherwise the partial evaluator will not terminate, even though the original program would terminate. I look forward to the next version that Ralf posts.William R Cookhttps://www.blogger.com/profile/13627036863243572742noreply@blogger.com