Prove: filter p · map f = map f · filter (p · f). Hint: for calculation, it might be easier to use this definition of filter: filter p [].
確定! 回上一頁