Programmatic API for signatures and syntax systems about catlab.jl HOT 6 OPEN

I know this issue is related to general refactoring and improvement of the metaprogramming powering the GATExpr stuff. This package which implements ML/Haskell style patternmatching as julia macros might make things easier. https://github.com/thautwarm/MLStyle.jl#generalized-algebraic-data-types

I know adding more dependencies isn't always a good thing, but this has been around for over a year and everythin @thautwarm does is usually awesome. Just putting it out there as something that could help. Then we could implement GATs out of GADTS so we can can have algebraic data while we have algebraic theories.

from catlab.jl.

Glad to know this. I know some about universal algebras but not familiar with categories. When you want to start refactoring this, feel free to ask me to work together(since Feb 1, I will have some bandwidth).

P.S: MLStyle can be developing time only dependencies, so don't worry about the dependency issues, if you can get help from mine. However, the generated code now is actually unreadable because currently there's no way to dump Julia ASTs to restore-able and readable source code.

from catlab.jl.

Hi, thank you for mentioning me here. I'm very interested in your works and, I checked your documentation, it seems that @signature and @instance are very close to some notions such as implicit first class modules or type classes.

I guess this repo, my type class implementation in Julia, might be helpful to your works.

Further collaboration is always welcome.

from catlab.jl.

This example seems particularly relevant https://thautwarm.github.io/CanonicalTraits.jl/stable/#Use-Case:-Modeling-Algebraic-Structures-1

from catlab.jl.

@jpfairbanks, thanks for noticing this connection.

@thautwarm, your package looks very nice! There is definitely overlap here, which is not surprising since Catlab's signatures/instances was inspired by a similar feature in the now defunct Cateno, which was in turn inspired by Haskell type classes. When I have the bandwidth to start addressing the issue, I'll reach out to see what we can do together.

from catlab.jl.

BTW, from my perspective, universal algebra has been swallowed by category theory. You can do universal algebra categorically, using Lawvere theories, but category theory has the tools to generalize and mutate universal algebra in all sorts of directions that are not obvious within the framework of traditional universal algebra.

from catlab.jl.