Результаты поиска по запросу "impredicativetypes"
Практические последствия runST против unsafePerformIO
Я хочу что-то вроде f :: [forall m. (Mutable v) (PrimState m) r -> m ()] -> v r -> v r -- illegal signature f gs x = runST $ do y <- thaw x foldM_ (\_ g -> g y) undefined gs -- you get the idea unsafeFreeze yЯ в основном в том же положении, в ...
Практические последствия runST против unsafePerformIO
Я хочу что-то вроде