Déclaration de type Haskell utilisant l'opérateur de flèche

Question

J'ai rencontré une déclaration de type Haskell utilisant l'opérateur flèche comme suit :

type Acceleration = State -> Vec

Mais comment est-ce possible ? car je n'ai jamais rencontré une telle utilisation auparavant (dans les tutoriels d'apprentissage Haskell).

Si la déclaration est correcte, à quoi devrait ressembler sa définition ? Comment puis-je même utiliser un tel type ?

Answer 1

C'est un synonyme de type. Il exprime qu'un Acceleration est une fonction qui va de State à Vec.

Simplifions un peu et imaginons l'ensemble des fonctions qui vont de Int à String. Appelons-les Frobnicators.

type Frobnicator = Int -> String

Nous pouvons définir une telle fonction que nous pourrions alors dire qu'elle a un type de Frobnicator.

foo :: Frobnicator
foo = show . (+3)