News for hackers. Stuff that matters.

A comment on Monads for functional programming (1995) [pdf]. Parent comment

Re:Monads for functional programming (1995) [pdf] by dustingetz on Sunday May 06, 2018 @01:43PM (#17007339)
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?
[ Parent | on HN ]
Re:Monads for functional programming (1995) [pdf] by nickpsecurity on Monday May 07, 2018 @01:00AM (#17010493)
Based 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

[ Parent | on HN ]
Re:Monads for functional programming (1995) [pdf] by CMCDragonkai on Sunday May 13, 2018 @12:42AM (#17057388)
I tried to understand operads before. But I got sidetracked by graphical linear algebra: https://graphicallinearalgebra.net/
[ Parent | on HN ]
Re:Monads for functional programming (1995) [pdf] by KirinDave on Sunday May 06, 2018 @05:31PM (#17008679)
I'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.

[ Parent | on HN ]
Re:Monads for functional programming (1995) [pdf] by CMCDragonkai on Sunday May 06, 2018 @08:13PM (#17009469)
Operads
[ Parent | on HN ]