Comments on: NNDB’s Not a Database

By: Andy Balaam

Andy Balaam — Wed, 10 Feb 2010 09:54:49 +0000

Thanks Guillaume – really interesting projects, and further really interesting links at the bottom of the second one. I knew someone else must have done something like this before…

In self-augmenting language it is possible to build something like this on top of a real database, which I think would be very difficult in C++.

I have been having thoughts about what my ideal language would be. Recently I have been wondering about whether it’s possible to create a self-augmenting language that is also compiled in a traditional way, and type-safe in the C++ sense. Essentially I want to be able to extend the C++ compiler at compile time.

By: Guillaume Yziquel

Guillaume Yziquel — Tue, 09 Feb 2010 20:03:06 +0000

Two projects that might be interesting to you, though quite far from C++ userland.

PG’OCamlm by Richard Jones: http://pgocaml.berlios.de/

A statically typed relational algebra by Mauricio Fernandez:
http://eigenclass.org/hiki/addressing-orm-problem-typed-relational-algebra

By: Andy Balaam

Andy Balaam — Thu, 29 Oct 2009 11:34:05 +0000

Thanks! I am actually currently reading http://mitpress.mit.edu/sicp/full-text/book/book.html and loving it. It turns out pretty much all the interesting stuff in template metaprogramming is almost identical to how you would do the same thing in LISP.

By: SG

SG — Thu, 29 Oct 2009 08:52:01 +0000

“instead of generating code to match your data, or generating SQL to match your code, why not specify your data structure in code?”

See LISP :)

PS: Really cool C++ project!