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.