programming languages may just be a really good abstraction level to describe what you want.