I thought operational semantics were a straightforward way of formalizing languages, until I actually tried. I'm now drowning in operational bureaucracy. Denotational semantics are more fun.
@lyxia You formal folks are a completely different breed. I'm baffled and amazed.
Welcome to your niu world ! We are a cute and loving international community Ｏ(≧▽≦)Ｏ !