вывод типов подсасывает, но фп-то тут при чем?
фп вообще тут не причем
Я знаю зачем (или почему) это сделано. Что это меняет? Чем это знание мне поможет при написании кода? ФП я имею в виду Haskell-style. Если Вы не программировали на Haskell/OCaml - Вы не сможете понять как это делается и в чём прикол. Забейте.
Обсуждают сегодня