![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
env -> env
Apr. 17th, 2003 01:51 amSo I tried to take an incomplete.
And Pfenning basically said "no".
Damn.
So I have to come up with a proposal for Monday that details what I actually intend to accomplish for this project. I might just give him a minimal proposal, essentially "provide an on-paper reduction to check core Pict with named events". No implementation. I don't want to deal with SPIN, I don't want to talk to Chaki, I don't want to break open the Pict lexer and make it bend to my will. Maybe I can put a kind enough angle on this that Pfenning might actually give me a recommendation someday, maybe. In any case, the chances of that happening have decreased a good bit, at least as far as I can tell.
*pause*
But I'm not too upset right now. Why? Because I just figured out a functional-update model for my cognitive agents project that's really fucking sexy. Oh my God, this is exactly why functional languages rock the bizzoat. I get recursive agents completely for free with 'val react = traverse dgm'. No matter what else happens, this project continually ratifies to me that I am a worthwhile computer scientist. :-)
And Pfenning basically said "no".
Damn.
So I have to come up with a proposal for Monday that details what I actually intend to accomplish for this project. I might just give him a minimal proposal, essentially "provide an on-paper reduction to check core Pict with named events". No implementation. I don't want to deal with SPIN, I don't want to talk to Chaki, I don't want to break open the Pict lexer and make it bend to my will. Maybe I can put a kind enough angle on this that Pfenning might actually give me a recommendation someday, maybe. In any case, the chances of that happening have decreased a good bit, at least as far as I can tell.
*pause*
But I'm not too upset right now. Why? Because I just figured out a functional-update model for my cognitive agents project that's really fucking sexy. Oh my God, this is exactly why functional languages rock the bizzoat. I get recursive agents completely for free with 'val react = traverse dgm'. No matter what else happens, this project continually ratifies to me that I am a worthwhile computer scientist. :-)
