Specification driven development.

[Timon Gehr]

On 10/24/2011 11:27 PM, bearophile wrote:
> Alexey Veselovsky:
>
>> Is it possible to develop software on D in specification driven manner?
>
> This is not how you normally write D code. Maybe there are ways to do this any way, but they are not native.
>

D has built-in unit test and DbC facilities.

>
>> So, at
>> first we write module specification. After that we wrote module
>> implementation. Compiler MUST check module implementation for
>> compliance with module specification.
>
> D modules are a single file, normally they are not meant to be split in specification and implementation parts.
>
>
>> PS. It seems like we even can't use "headers" in D like in C++.
>
> Right. This is by design. On the other hand there are "di" files, usually self-generated.
>

Note that .di files are a lot like header files. They are just not 
usually required for development.