What do you think about functional languages like Haskell, OCaml etc ?
replies(1):
And then there is the issue that we need to make "systems" ...
I like what a function is, and this idea should be used, but I think it is better used rather differently ...
It crossed over with some of my experience of programming. Recently he wrote "The Singular Universe and the Reality of Time" with Roberto Unger, but I haven't read that yet.