poly is a minilanguage created in 2013.

lazy, functional, statically typed, parametric polymorphism, type inference

• poly website
• poly first developed in https://github.com/andrejbauer/plzoo/issues
• Read more about poly on the web: 1.