I'm a fan of languages that don't try to be all things to all people, but instead focus on doing one thing very well. (I also love Perl, so I'm not the most co

I'm a fan of languages that don't try to be all things to all people, but instead focus on doing one thing very well. (I also love Perl, so I'm not the most consistent person, but I love it most for its focus on text handling, so I'm not the most inconsistent person either.) Imperative languages that have bolted on functional features, e.g., don't give you the guarantees (constraints) that FP languages can offer. And of course in OO languages state is everywhere. I like this feature quite a bit: > We propose a different approach that makes mutable state an explicit part of the language model. In Haai, deployments are able to accumulate state by means of so-called trampoline variables — or trampolines for short. They provide programmers with a general notion of state in the RP model. In essence, a trampoline is a variable, local to each deployment, that is updated after each turn.