4 ms·
I think this is a pretty good start to reconceptualizing our systems. I think about this a lot. I also think about what are the more higher level systems that
by th0ma5 8y ago
I think this is a pretty good start to reconceptualizing our systems. I think about this a lot.
I also think about what are the more higher level systems that will be required in the far future... something that can run a whole probability distribution of the kind of program I want to create and as it quizzes me derives entire systems around the context of my desires... something like that would require a language around systems that we can't do now because we feel a generalized higher level thing will have to be so dumbed down as to not be useful. I think we forget that a higher level system, if it worked way harder, could actually do the right thing at all the lower levels.
- TuringTest 8y agoI've also thought a lot about this problem (I recognize a lot of the intermediate steps); I've got even a good idea on user applications that could benefit from that unified data and computation model. In fact, I'm more interested in the practical applications than I am in the underlying model. However, I'm glad that such model is something I'm familiar with as is logic programming, and not some obscure branch of category theory full of point-free abstract operators.