Definiendo constantes polimórficas en Haskell

polymorphism

Question

He leído sobre constantes polimórficas / funciones polimórficas nulas en Learn You A Haskell . Dio varios ejemplos de incorporados, tales como:

ghci> 20 :: Float  
20.0  
ghci> 20 :: Int  
20  
ghci> minBound :: Int  
-2147483648  
ghci> maxBound :: (Bool, Int, Char)  
(True,2147483647,''/1114111'')  

Sin embargo, no explica cómo definir el suyo propio. ¿Cómo se definen?

Answer 1

Debe crear una clase de tipos que incluya las funciones / constantes que desee, cada una con un tipo de retorno variable. Instálalo para cada tipo que desees que puedan ser tus constantes.

class MyConstants a where
  one :: a
  ten :: a

instance MyConstants Int where
  one = 1
  ten = 10

instance MyConstants Float where
  one = 1.0
  ten = 10.0

instance MyConstants String where
  one = "one"
  ten = "ten"

Ejemplo de uso ( codepad )

main = do
  putStrLn . show $ (ten :: Int)
  putStrLn . show $ (one :: String)
  putStrLn . show $ (ten :: Float) + one
  putStrLn . show $ "Count from " ++ one ++ " to " ++ ten

10
"one"
11.0
"Count from one to ten"

Answer 2

Primero, recomiendo no usar el término "constante" para significar no funciones, ya que todos los valores son constantes (inmutables), ya sea que esos valores sean funciones (es decir, tengan tipo de función) o no.

Ni siquiera necesita clases de tipos para tener funciones no polimórficas. Un ejemplo es [] . Para definir sus propias funciones no polimórficas, puede definir un tipo de datos (como en el ejemplo de lista) o construir algo a partir de piezas ya definidas. Por ejemplo: empties = ([],[[]]) .