Вопросы и ответы
Существует ли алгоритм для нахождения наиболее общего наименее типичного типа из двух типов?
00
Вопрос или проблема Я работаю с выводом типов и полиморфизмом высшего порядка и пытаюсь определить наименьший общий тип для двух типов. Например, имея два подтипа: (A < (forall a. a -> Int)) и (A < (forall a. a -> Bool)) я хотел бы определить тип A, который является “