Oℕ
То есть если мне нужно сконструировать какую-то структуру данных, и мне известно лишь то, что она должна быть решеткой с нижним баундом, то я могу использовать для этого Set каким-либо образом?
Или как иначе этот факт можно использовать?
Или как иначе этот факт можно использовать?
Ну я точно не знаю, что вам нужно сконструировать, поэтому непонятно как для неопределённой задачи использовать Set.
Но вы можете знать, что если у вас есть функция f: A -> B и B: Ord - это решётка с нижней границей, то вы всегда можете определить
и вы можете подозревать, что g - это гомоморфизм названых решёток с границей
Но вы можете знать, что если у вас есть функция f: A -> B и B: Ord - это решётка с нижней границей, то вы всегда можете определить
g: Set A -> B
g = foldr latticeJoin lBound . Set.map f
и вы можете подозревать, что g - это гомоморфизм названых решёток с границей