Обратите внимание, не "функциональная зависимость". Существуют ли инструменты, позволяющие мне построить статический граф зависимостей функций из исходного кода? Что-то, что указывает мне, какие функции зависят от других в графической форме.
Да, конечно, есть.Если вы загляните в категорию Development на Hackage, вы найдете инструменты для:
В частности, SourceGraph содержит много проходов анализа, в том числе:
Другие инструменты, которые могут вас заинтересовать:
Вотграфик функциональных вызовов, созданный SourceGraph и работающий над cabal2arch: