ARMとかに最初っからついてるやつですな。
x86にも最近のはついてるときいて感心した私。

っていうか、関数型言語って naiveな実装だと closure作りまくりで
予測分岐も糞もない、って気がするんだけどだめ?
ちゃんとかりかり tuning する、GHCみたいのだといいかんじになるのかも
しれないけど。よくわからん。

結論: 関数型言語は dataflow machineに実装しよう(ネタ)