Tying the knot is possible only if you have pervasive laziness.

Which is precisely why an immutable OS that's Clojure all the way down might be desirable.

I don't get if you imply that Clojure has pervasive laziness or not. The contract of lazy sequences is too loose to make tying the knot not a brittle hack -- and I think it's a good thing.

I'm referring to the article. The Clojure inspired OS would, I suspect. If no one has referred to the unrefined parts, what would be the problem?