Ante is
> A low-level functional language for exploring algebraic effects, safe shared mutability, and other novel features
> A low-level functional language for exploring algebraic effects, safe shared mutability, and other novel features
Eg: (after a quick googgle) there is "Concordian economics" nominally an "integration of theory, policy, and practice" which borrows the algebraic rule terms commutative, distributive, and associative.
There's nothing wrong in principal (practice and|or reality are other things) with positing that concepts like transfers of ownership and goods should follow some set of rules .. that is what abstract algebra is all about, { groups of things, sets of rules }.
I have no knowledge of whether this is mainstream or very fringe .. but it's a thing <shrug>.