> especially one that was a sort of Maxwell’s minimally defined set of functions that represent computing forever and ever in the most reducible form.
Can you elaborate?
Can you elaborate?
> The data model of Nock is the noun (*), which is either a natural number (@, called an "atom") or a pair of nouns
> The noun is famously simple; it competes with the list as the simplest possible recursive datatype
All code and all data is like that. So to me it's basically a Lisp-y networked operating system.
This also makes it very inefficient, which the doc explains. But the idea is to build everything on top of the most minimal axioms, which never change.
Urbit solved this with nouns, which is arguably a substantial innovation. PLAN (in the author's view, which I find convincing) improves on this: https://git.sr.ht/~plan/plunder/tree/master/item/doc/PLAN.md
Have you seen Unison[1]?
Unison seems like a much more interesting approach to making functions "serializable" and functional programming acquiring distributed capabilities almost transparently.
http://moronlab.blogspot.com/2010/01/urbit-functional-progra... Isn’t the link I was looking for but I think it’s the blog.