The operational semantic of a simple programming language written in scala