Specification driven development.

[bearophile]

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.


> 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.


> cause no errors in compilers frontend or backend. There is only linker error.

I'd like the compiler to find such mistakes before the linker, and give appropriate error messages.
There are some bug reports on this.

Bye,
bearophile