3 ms·

We're already doing that one :)

• p4bl0 12y ago
  Would you mind sharing a link to a paper or something about that?
  • maaku 12y ago
    Yes please!
  • jamii 12y ago
    The 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 ago
      Datalog 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 ago
        Datalog is relational. Both of those papers show datalog compilers in datalog.
        • maaku 12y ago
          Thank 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 :)