Вопросы по теме 'rank-n-types'
Объединение типов более высокого ранга на контравариантных позициях
Быстрый пример:
{-# LANGUAGE RankNTypes #-}
l :: (forall b. [b] -> [b]) -> Int
l f = 3
l1 :: forall a. a -> a...
75 просмотров
schedule
27.01.2024