Haskell - объявление типа нескольких функций

Я часто нахожу, что пишу несколько функций одного типа. Позвольте называть этот тип FuncType. Я мог бы написать что-то вроде этого:

funcA :: FuncType
funcB :: FuncType
funcC :: FuncType
funcD :: FuncType

-- Implementations

Это похоже на много ненужного ввода (набрав, как при нажатии на клавиатуре, а не объявлении типов функций). Может быть, есть способ сделать это более сжато? То, что я хочу, будет выглядеть примерно так:

(funcA, funcB, funcC, funcD) :: FuncType

-- Implementations

Я действительно пытался это сделать Google, но я вышел пустым. Если это не особенность языка, почему бы и нет? Я что-то упускаю? Я что-то делаю неправильно, если мне это нужно?

ОТВЕТЫ

Ответ 1

Сделайте то, что вы пробовали без круглых скобок.

funcA, funcB, funcC, funcD :: FuncType

В отчете Haskell 2010 вы можете увидеть в главе 4 (Декларации и привязки), что (gendecl) выглядит следующим образом:

vars :: [context =>] type

и vars выглядят следующим образом:

var-1 , … , var-n

Это именно та форма, которую вы ищете.

Sidenote: Haddock будет применять документацию, если она найдет ее вокруг этой сигнатуры типа для каждого символа в этом списке (vars).

Ответ 2

В качестве альтернативы для ответа MasterMastic вы также можете дать повторяющееся имя типа с помощью объявления типа:

-- | why GoodName is a good name
type GoodName = Complicated -> Function -> Type

-- | Foo explanation.
foo :: GoodName
foo = ...

-- | Bar explanation.
bar :: GoodName
bar = ...

Таким образом, вам нужно только повторить имя вместо потенциально более длинного типа. Преимущества этого стиля над foo, bar :: Complicated -> Function -> Type включают:

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

Конечно, вы можете также объединить эти подходы как foo, bar :: GoodName. Из-за вывода типа вы обычно можете вообще исключить подпись типа и дать компилятору понять тип.