Wednesday 11 July 2007

Timing

Timing is important --- "There is a time for everything" as Bible says --- and today my timing is not too good. So not much today but let me tell you I am enjoying this --- this which is not (only) this blog but the process of designing languages with you all.

Well at least I can say one thing:
If you are not sure how your software should behave,
even if vaguely,
then there is no point to try to validate your description
You can check only what you want to check
Since you should specify first
You need to check your description
With your another smaller description
We need pairs as in many activity of human being
to do checking
Here two descriptions
Two scribbles
Almost always in different languages
One (usually big) is checked against the other (usually small)
But they are not against each other
Or so we wish them to be
We wish them to be harmonious
But either warring or harmonious
We need a pair
A pair of scribbles
Which we are going to design
Yes friends we also need that language, the language against which the main "language" is checked against. To say the truth I know we need thousands of languages --- often called "specification languages" but how boring this term is --- but let's not despair since we can always start from one..

As always, from a nice and simple one...

Today I only said one thing that is we need thousands of DBC languages but we can start from one. That language will be small amd simple and will be connected organically to the main languages. This I would say is another serious fun.