я думаю, что бизнес-логика - это всё-таки некоторая спецификация не на ЯП, а "бизнес-логика" в коде - это просто сокращение от "реализация бизнес логики"
потому что предполагать, что домейн эксперт просто сядет за незнакомый инструмент и внезапно найдёт ошибки даже в очень красивом хаскеле\пайтоне я не знаю орграфе - наивно