level 6
filter (not . (`elem` sol')) xs的含义：
xs 中不在 sol'的所有元素
2022年07月22日 10点07分
5
xs不在sol'的所有元素
2022年07月22日 10点07分
level 6
extend是一次或两次循环，是o(n）, extend的结果平均规模是o(n), 所以对extend的结果做bind是o(n)，bind里是一个filter O(n)，list bind的复杂度是内外乘积所以是n^2。
但这个分析是基于严格求值的
只用head取计算结果第一个元素的话，复杂度是o(n)。只用算一次
2022年07月22日 11点07分
6
O(f(n)) = O(n * (n -1) * f(n - 1))
2022年07月23日 05点07分
level 6
对延迟求值的一个UC震惊式印象：
fst (1, error "计算不了")，结果是1
2022年07月22日 11点07分
7
![[小乖]](/static/emoticons/u5c0fu4e56.png)