是否有可能(例如语言扩展名)使用Data.Set
集的列表推导语法语法?
示例:
f :: Set a -> Set b -> Set (a,b)
f xs ys = [(x,y) | x <- xs , y <- ys] -- this is the set comprehension
由于集合是激发列表理解的数学结构,因此不具备在集合中使用它们的可能性会很奇怪。
是的,我知道MonadComprehensions
使用list-comp语法与任何Monad
/ MonadPlus
类型,但AFAIK集甚至不能成为monad因为
Ord
约束。
答案 0 :(得分:6)
没有语言扩展允许“设置理解”。
Set
和List
之间的差异是:
Set
在订购List
时无序Set
的元素是唯一的,而List
可能有重复的元素Set
的类型是Ord
的实例,而List
没有类型限制。您可以看到所有可能的Set
都是所有可能List
的严格子集。这意味着我们可以简单地使用列表理解并将其转换为Set
来实现“集合理解”。延迟评估经常使得“集合生成”从大多数有限列表推导中获得高效。但是,导致无限列表的列表推导不太可能导致有效的“集合理解”。
示例:强>
import Data.Set
set :: Ord a => Set a
set = fromList [x * y | x <- [1..10], y <- [1..10]]
使用set-monad
包,您可以将Set
定义为Monad
的实例,并使用语言扩展名MonadComprehensions
即可实现“设置理解”。< / p>
示例:强>
{-# LANGUAGE MonadComprehensions #-}
import Data.Set.Monad
set1 :: Set (Int,Int)
set1 = do
a <- fromList [1 .. 4]
b <- fromList [1 .. 4]
return (a,b)
-- Look a "set comprehension"
set2 :: Set (Int,Int)
set2 = [ (a,b) | (a,b) <- set1, even a, even b ]
使用对您的项目最有意义的方法。在作出决定之前对其进行描述!