About

This work extends Python to support a declarative style of defining objects through copatterns and presents a new encoding of copatterns in a terse target language, with regular classes and method overloading, that we named Featherweight Python.

Usage

This project is currently a work in progress. For now, feel free to test the playground functionality by writing Python code in the editor below!

Formalization