It might be an idea to use a more formal, functional oriented language to implement your ideas, e.g. F# or haskell, where defining what you're going to need and want to achieve is half the work?

Though it might indeed be redundant, as designing the algorithms and understanding they'd work is enough: typing it in and seeing it work is an exercise performed so many times it's become a chore.