4 ms·
While you're at it, one related piece that I'd like to see explored is relations-as-code, code-as-relations a la Lisp. It would be interesting to see what a pro
by maaku 12y ago
While you're at it, one related piece that I'd like to see explored is relations-as-code, code-as-relations a la Lisp. It would be interesting to see what a program would look like if represented as tuples in a relation, and able to self-modify by updating that relation.
Abstract, I know, but I don't think anyone has looked at this in any detail yet.
- ibdknox 12y agoWe're already doing that one :)
- p4bl0 12y agoWould you mind sharing a link to a paper or something about that?
- maaku 12y agoYes please!
- jamii 12y agoThe only good references I know of: http://p2.berkeley.intel-research.net/papers/EvitaRacedVLDB2008.pdf http://p2.berkeley.intel-research.net/papers/EvitaRacedVLDB2... http://www.seas.upenn.edu/~mengmeng/papers/datalog2.0.pdf http://www.seas.upenn.edu/~mengmeng/papers/datalog2.0.pdf
- maaku 12y agoDatalog isn't what I was talking about. I would like to see a programming language where both the basic data type and the representation of code itself are relations, as is the case with Lisp and lists.
- jamii 12y agoDatalog is relational. Both of those papers show datalog compilers in datalog.
- maaku 12y agoThank you. I have had a misunderstanding of what datalog is for years. I have always thought of it as a DSL for making queries against a database using the relational calculus. I have never considered, nor have the texts I've encountered demonstrated how the syntax of datalog is itself relational, though it seems obvious now that I've noticed. I have some planned projects which require a homoiconic relational language. I was hoping someone else could be inspired to design such a thing so that I don't have to. It looks like someone already did. I am happy to be proven wrong :)