Come ha detto Telastyn: Tecnicamente, sì, a meno che non ci sia un modo nella tua lingua per garantire che anche la funzione di input sia pura.
Non è ipotetico, ci sono davvero buoni modi per garantirlo. Almeno in un linguaggio strongmente tipizzato.
Una funzione così pura che avresti scritto in JavaScript come
function foo(f) {
return f(1) + 2;
}
può essere tradotto direttamente in Haskell:
foo :: (Int -> Int) -> Int
foo f = f 1 + 2
Ora, in JavaScript puoi fare cose cattive come
js> foo (function(x) {console.log("muharhar"); return 0})
muharhar
2
Questo non è possibile in Haskell . Il motivo è che qualcosa di effetto collaterale come console.log()
deve sempre avere un tipo di risultato IO something
, non solo something
da solo.
GHCi> foo (\x -> print "muarhar" >> return 0)
<interactive>:7:12:
Couldn't match expected type ‘Int’ with actual type ‘IO b0’
In the expression: print "muarhar" >> return 0
In the first argument of ‘foo’, namely
‘(\ x -> print "muarhar" >> return 0)’
In the expression: foo (\ x -> print "muarhar" >> return 0)
Per questa espressione di typecheck, dovremmo dare a foo
la firma del tipo
foo :: (Int -> IO Int) -> Int
Ma risulta che non posso più implementarlo: perché la funzione argomento ha IO
nel suo risultato, non posso usarla entro foo
.
<interactive>:8:44:
Couldn't match expected type ‘Int’ with actual type ‘IO Int’
In the first argument of ‘(+)’, namely ‘f 1’
In the expression: f 1 + 2
L'unico modo per utilizzare un'azione IO
in foo
è se il risultato di foo
ha tipo IO Int
stesso:
foo :: (Int -> IO Int) -> IO Int
foo f = do
f1 <- f 1
return (f1 + 2)
Ma a questo punto è chiaro dalla firma di foo
che non è nemmeno una funzione pura.