Downtime over, hopefully
It has been almost a month since I’ve had something to post about. So here is something to fill the awkward silence. Most of my life has been filled by my new love, Anna. This may explain why my productivity has gone down, but not why it has stopped completely. A recent study may provide [...]
Lazy Partial Evaluation
Inspired by Dan Piponi’s latest post, I have been looking into partial evaluation. In particular, I thought that a language which emphasizes currying really ought be good at partial evaluation. In this post I describe some ideas regarding partial evaluation in functional languages, and later sketch a partial evaluation machine I devised. Supercombinator reduction machines, [...]
Recent Comments