8
Cosa fa la parola chiave `forall` in Haskell / GHC?
Sto cominciando a capire come forallviene utilizzata la parola chiave nei cosiddetti "tipi esistenziali" come questo: data ShowBox = forall s. Show s => SB s Questo è solo un sottoinsieme, tuttavia, di come forallviene utilizzato e semplicemente non riesco a pensare al suo uso in cose come questa: runST …