3 ms·
I once saw a paper proposing a generic system connector type for composing systems-of-systems (it was much more sophisticated than just I/O) - I can no longer f
by dustingetz 8y ago
I once saw a paper proposing a generic system connector type for composing systems-of-systems (it was much more sophisticated than just I/O) - I can no longer find the paper, do you know it or what is the state of the art here?
- KirinDave 8y agoI'm afraid I don't know, sorry! Sounds awesome. That said, similar concepts in a world where Monads exist include: Free monads, Freer monads, Final tagless encoding.
- CMCDragonkai 8y agoOperads
- nickpsecurity 8y agoBased on CMCDragonkai's comment, I'm guessing the one you're looking for is below. I thank both of you since it was an interesting concept and paper. Hopefully, the one you were looking for. http://categoricaldata.net/operadics/OperadicSoS.pdf http://categoricaldata.net/operadics/OperadicSoS.pdf
- CMCDragonkai 8y agoI tried to understand operads before. But I got sidetracked by graphical linear algebra: https://graphicallinearalgebra.net/ https://graphicallinearalgebra.net/