News for hackers. Stuff that matters.

A comment on Stream Ring Theory – A Turing-Complete Stream Algebra. Parent comment

Re:Stream Ring Theory – A Turing-Complete Stream Algebra by okram on Sunday February 24, 2019 @12:31PM (#19239496)
I wrote the article on a boat with only an abstract algebra book, a LISP book, and a few articles that I had printed before I left. Thus, my references are my references. To then go back and back fill with references would not be an accurate representation of what I was truly referencing at the time.

But yes, there is a lot of related work out there. Hopefully, my approach and introduced novelties can inspire in a way others have not.

[ Parent | on HN ]
Re:Stream Ring Theory – A Turing-Complete Stream Algebra by nimish on Sunday February 24, 2019 @10:21PM (#19242612)
That's fair, and I commend the effort. That said, there's richer structures: https://www.sciencedirect.com/science/article/pii/S030439759...

and for the typing theorists streams are a canonical example of codata.

[ Parent | on HN ]
Re:Stream Ring Theory – A Turing-Complete Stream Algebra by okram on Tuesday February 26, 2019 @02:16PM (#19257398)
I read the article you recommended. It is interesting in that the authors include feedback to simulate loops and have explicit split and merge operators, where their + operator is used to create tuples in the stream. The text is dense so I haven't fully grocked their purpose, but it is nice to see the same concepts presented in a different formalism. If you have other links, please send them along.
[ Parent | on HN ]
Re:Stream Ring Theory – A Turing-Complete Stream Algebra by alexott on Sunday February 24, 2019 @03:42PM (#19240503)
Just out of curiosity - what Lisp book it was?
[ Parent | on HN ]
Re:Stream Ring Theory – A Turing-Complete Stream Algebra by okram on Sunday February 24, 2019 @04:09PM (#19240622)
It was this book https://www.amazon.com/Common-LISP-Language-Second-Steele/dp... by Guy Steele, but it had a different cover. It was silver with a 1980s like computer font on it.
[ Parent | on HN ]
Re:Stream Ring Theory – A Turing-Complete Stream Algebra by phycodurus on Monday February 25, 2019 @11:34PM (#19252001)
that's not really how references work
[ Parent | on HN ]