Specification driven development.

[Timon Gehr]

On 10/25/2011 12:07 AM, Alexey Veselovsky wrote:
>> D modules are a single file, normally they are not meant to be split in specification and implementation parts.
>
> Hm... It is possible to split this single file to specification and
> implementation part (in single file, not split to 2 different files)?
> Like in Haskell for example or Object Pascal.

You could maybe put contracts on interface methods and then implement 
those interfaces (even from different source files). But DbC has not 
gotten too much attention from the compiler developers lately, so I 
think there might be some unresolved bugs in DbC.