9 ms·
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 r
by okram 8y ago
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.
- alexott 8y agoJust out of curiosity - what Lisp book it was?
- okram 8y agoIt was this book https://www.amazon.com/Common-LISP-Language-Second-Steele/dp/1555580416 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.
- nimish 8y agoThat's fair, and I commend the effort. That said, there's richer structures: https://www.sciencedirect.com/science/article/pii/S0304397599003229 https://www.sciencedirect.com/science/article/pii/S030439759... and for the typing theorists streams are a canonical example of codata.
- okram 8y agoI 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.
- phycodurus 8y agothat's not really how references work