Static Type Programming Language