forall- все статьи тега ➜ страница 0

Что делает ключевое слово 'forall' в Haskell/GHC?

я начинаю понимать, как forall ключевое слово используется в так называемых "экзистенциальных типов" вроде этого: data ShowBox = forall s. Show s => SB s это только подмножество, однако, как forall используется, и я просто не могу обернуть свой ум вокруг его использования в таких вещах, как это: runST :: forall a. (forall s. ST s a) -> a или объясняя, почему они разные: foo :: (forall a. a -> a) -> (Char,Bool) bar :: forall a. ((a -> a) -> (Char, Bool)) и все RankNType ...