Cat Programming Language Specification

CRANK

Cat has three different levels of specification: level-0, level-1, and level-2. This is so that tools can identify their degree of compliance with the specification. Each level of the specification specifies a number of primitive functions. These functions can be built-in, or can be defined in an implicitly linked standard library.The core Cat Language is known as Level-0 Cat. The core Cat language is a pure functional language.The core language consists of four types:int - integer valuebool - boolean valuelist - abstract collectionvar - polymophic variantThe core Cat primitive functions are:nametypedescriptionadd_int(int int -> int)Adds the top two values on the stack.and(bool bool -> bool)Computes the boolean 'and' operator.apply('A ('A -> 'B) -> 'B)Applies a function on the stack to the rest of the stack.compose(('A -> 'B) ('B -> 'C) -> ('A -> 'C))Composes two functions.cons(list 'a -> list)Add an item to the beginning of a list.dec(int -> int)Decrements an integer.dip('A 'b ('A ->…