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.

Sign in to participate in the conversation

Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !