Здравствуйте, vaa, Вы писали:

vaa>В нормальных ЯП необходимость в to separate declaration from implementation практически отсутствует ( но есть, например, в ДИ, ФШАРП).
vaa>слышал, вроде в си хидеры юзают для ускорения компиляции.

Она там есть, просто маскируется. Присмотрись и увидишь

public Interface Foo {}

Class FooImpl implements Foo {}

Вот это повсеместное разделение на Foo и FooImpl это оно и есть.

Здравствуйте, Блудов Павел, Вы писали:

БП>Вот это повсеместное разделение на Foo и FooImpl это оно и есть.

Не отрицаю, но речь была изначально об особых интерфейсных файлах,
типа *.di вместо *.d, *.fsi вместо *.fs. Все это упрощает компиляцию и инкапсуляцию, но не более.
Если функция не экспортируется/импортируется, думаю излишне ложить объявление сигнатуры в отдельный файл.