Abstract class definition generation via category equations(github.com)
github.com
Abstract class definition generation via category equations
https://github.com/kummahiih/python-domain-equations
1 comments
Related stuff has been here earlier ( https://johncarlosbaez.wordpress.com/2018/03/26/seven-sketch... and https://bartoszmilewski.com/2014/10/28/category-theory-for-p... ).
I wanted also invest some of my time with the subject and tried to make a library which is easy to understand and take into use. Any ideas how to make this on some other imperative language? ( C# + roslyn comes into my mind at least)