> -- Madzi писал(а):
> Ну почему же не те:А дальше используем в кодеПри этом можем иметь одну или несколько реализаций, которые пишем сами, либо кто-то пишет по указанному выше интерфейсу.И эти реализации можно при желании менять на лету.

Во первых да, это минус - то, что их можно менять на лету (точнее - что нельзя запретить и дать гарантии что на лету их никто не подменит)Во-вторых модуль/пакет экспортирует не только функции, следовательно и спецификация не может содержать только функции.