内法的定義
要素を満たす条件を命題として書いて集合を定義する
A=\{x|xは素数かつx<10\}
Haskellでもリスト内包表記 (hs)とか言うね
hs-- n以下の約数を列挙
factors :: Int -> [Int]
factors n = [ x | x <- [1..n], n `mod` x == 0 ]hs-- n以下の約数を列挙
factors :: Int -> [Int]
factors n = [ x | x <- [1..n], n `mod` x == 0 ]