Type-checker-interpreter-and-compiler Compiler and interpreter with typecheck and evaluation systems for noname language developed at "Programming methods" course