мне в падлу читать твою функцию и проще прочесть ее определение

Я хочу просто посмотреть на сигнатуру и понять что она делает. В этом отчасти и суть TypeDD

просто уважение друг к другу, не больше

короче в ФП тоже надо определять тип функции явно

Это зависит от ЯПа

нет не обязательно, это как внутреннее соглашение, как говорить спасибо и здороваться с прохожими

в скале например возвращаемое значение выводит компилятор, и все ок

так а вдруг я ошибся, а надо вернуть что-то другое?

но когда код приходит до тестировщика он смотрит на твою функцию и по сути классифицирует ее на пьюр или грязную и соответственно в первом случае ему надо будет обычное пропети тестирование, а в грязной функции он будет долго материться, читать твой код и искать скрытые состояния, сайд эффекты и прочую нечесть, чтобы нормально потом написать тест

риторический вопрос, как по мне

+++

ну, так бы компилятор ругнулся бы, если не смог неявно скастить то, что ты толкаешь, к нужному типу

просто ты можешь помочь тестировщику, а можешь и нет, это просто вежливость

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

спасибо

если конечно это не функция которая имеет ограничение (например она расширяет класс и от нее требуется возвращать бул значение)

в таком случае да - ругнется

Ну это чисто скаловские косяки из-за сабтайпинга

у топлевел всегда

у остальных только если помогает