Inferenza di tipo Haskell per i Funcitors

Question

Ultimamente ho giocato con Haskell, e in particolare con l'intero concetto di functors. Più mi ci immergo, più mi sono concesso gli a-ha, e certamente stuzzica un po 'i miei recettori della dopamina.

Il problema con cui sono bloccato è il seguente. Ecco il codice che funziona, solleva la funzione e quindi la applica prima al valore di I/O, quindi a una lista.

replicator1 = 
    fmap (replicate 3) 

replicator2 = 
    fmap (replicate 3) 

main = do 
    replicated <- replicator1 getLine 
    print (replicator2 replicated) 

E 'molto forte la tentazione di scrivere in modo più conciso, vale a dire:

replicator = 
    fmap (replicate 3) 

main = do 
    replicated <- replicator getLine 
    print (replicator replicated) 

Una parte di me dice che è concettualmente giusto, dal momento che replicator dovrebbe essere applyable sia per IO e per elencare le istanze, ma essendo un linguaggio fortemente tipizzato, Haskell non mi permette di farlo. Penso di capire praticamente perché sta succedendo questo.

La domanda è: c'è un modo per avvicinarmi alla seconda variante? O è bello vivere con il primo?

Grazie!

Answer 1

Il tuo codice è in realtà bene, tranne è stato eseguito nella dreaded monomorphism restriction che ha mantenuto Haskell da inferire il tipo più generale possibile per replicator.

In sostanza, con la limitazione, Haskell non sarà inferire tipi polimorfici per associazioni che non sembrano funzioni. Ciò significa che ha per selezionare un functor concreto come [] o IO per replicate e provoca un errore se si tenta di utilizzarlo in due contesti diversi.

È possibile rendere il vostro lavoro di codice in tre modi:

• Spegnere la restrizione monomorfismo: aggiungere {-# LANGUAGE NoMonomorphismRestriction #-} nella parte superiore del modulo.

• fanno replicatoraspetto come una funzione:

  replicator x = fmap (replicate 3) x 
  

• Aggiungi tipo firme esplicite al codice

  replicator :: Functor f => f a -> f [a] 
  replicator = fmap (replicate 3) 
  

La terza opzione è la più idiomatica. Lo stile Good Haskell prevede l'aggiunta di firme di tipo esplicito a tutti i tuoi identificatori di primo livello. Tuttavia, è utile conoscere le altre due opzioni per capire cosa sta succedendo e per poter scrivere script usa e getta rapidi in Haskell senza preoccuparsi delle firme dei tipi.