This post is part of a sequence I am calling automatic redis, which is my attempt to solve the cache invalidation problem.

This post is part of a sequence I am calling automatic redis, which is my attempt to solve the cache invalidation problem.

I often ask myself, “How can I be a more productive software engineer?” I can answer this question better if I break it down into pieces.

I have an idea for a language, and I want to know if it already exists. The language is a data representation language. It encodes rules about how data is represented in a store (e.g. MySQL, HBase, Riak, Neo4J, MongoDB, Redis, flat files). The language would have four directives: entity, predicate, operation, and realize. The entity directive gives the “platonic” description of a type.

Suppose I have the following graph: