AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
The Importance of Specification in Programming
With your tools, sounds like you can actually prove that they're going to be right before you start to write. Well, there are two kinds of specifications. You write one is what the program is supposed to do. It's not telling you anything about coding it. The other spec is how the program does it, which is a high level view of how the code works. Think of it as an algorithm and think of the code as an implementation of that algorithm.