Poly is a high-level, objet-oriented, general purpose programming language that is currently in development. It is strongly and statically typed, and features type inference. Poly code is designed to ...