>> 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.
Yep. Looks like in D only one way for real modularity: emulate it via OOP (like in c++ or java, where all is object (yes, I know, in C++ not all is object, but in C++ module is emulated via classes and objects)).