Création de fonctions polymorphes dans Haskell

Question

Une courte recherche ne m'a pas aidé à trouver la réponse, j'ai donc commencé à douter de son existence. Le simple quêtes: Je veux créer une fonction polymorphique, quelque chose comme ceci:

f :: String -> String 
f s = show (length s) 

f :: Int -> String 
f i = show i 

Une fonction définie différemment pour différents types est destiné. Est-ce possible et comment?

Answer 1

Il existe deux types de polymorphisme dans Haskell:

• polymorphisme paramétrique; et
• borné polymorphisme

Le premier est le plus général - une fonction paramétrique est polymorphe si elle se comporte de manière uniforme pour tous les types, dans au moins un de ses paramètres de type.

Par exemple, la fonction length est polymorphe: elle renvoie la longueur d'une liste, quel que soit le type enregistré dans sa liste.

length :: [a] -> Int 

Le polymorphisme est indiqué par une variable de type minuscule. Maintenant, si vous avez un comportement personnalisé que vous voulez avoir pour définir de types, alors vous avez un polymorphisme borné (également connu sous le nom "ad hoc"). Dans Haskell, nous utilisons des classes de types pour cela.

La classe déclare que la fonction sera disponible dans un ensemble de types:

class FunnyShow a where 
    funnyshow :: a -> String 

et vous pouvez définir des instances pour chaque type que vous aimez:

instance FunnyShow Int where 
    funnyshow i = show (i+1) 

et peut-être:

instance FunnyShow [Char] where 
    funnyshow s = show (show s) 

Answer 2

Voici comment vous pouvez réaliser quelque chose de similaire en utilisant des familles de types. Eh bien, si vous avez le même type de retour, vous pouvez obtenir le comportement sans utiliser les familles de types et en utilisant uniquement les classes de type comme suggéré par Don.

Mais il est préférable d'utiliser des familles de types lorsque vous souhaitez prendre en charge un polymorphisme adhoc plus complexe, comme différents types de retour pour chaque instance.

{-# LANGUAGE FlexibleInstances #-} 
{-# LANGUAGE TypeSynonymInstances #-} 
{-# LANGUAGE TypeFamilies #-} 

class F a where 
    type Out a :: * 
    f :: a -> Out a 

instance F String where 
    type Out String = String 
    f = show . length 

instance F Int where 
    type Out Int = String 
    f = show 

instance F Float where 
    type Out Float = Float 
    f = id 

Dans ghci

*Main> f (2::Int) 
"2" 

*Main> f "Hello" 
"5" 

*Main> f (2::Float) 
2.0