miniblog.

I'm implementing an interpreter, and wondering how often I should check for interruptions (e.g. Ctrl-C). I don't want to spend too much CPU time checking whether I've been interrupted, but I also want slow programs to stop promptly. It's tricky.

I've been experimenting with an 'evaluate up to cursor' mode for my PL project. I love evaluating self-contained snippets in Lisp, this generalises the idea. The interpreter remembers the arguments when you run tests, then can re-use them when you say 'eval up to here'. What do you think?

Noodling with an interpreter for a statically typed language with reified types (e.g. a list knows what type it contains). Currently I have a single representation of types in both the runtime and the type checker. I think that's a good thing?