OS
в книжке Thinking with Types, в задачке:
-- Exercise 6.3-i
-- What is the rank of Int -> forall a. a -> a?
-- Hint: try adding the explicit parentheses.
почему ответ rank-1? (как вы это видите/объясняете)
-- Exercise 6.3-i
-- What is the rank of Int -> forall a. a -> a?
-- Hint: try adding the explicit parentheses.
почему ответ rank-1? (как вы это видите/объясняете)