Stream: Beginner Questions

Topic: Set.filter vs Set comprehension


view this post on Zulip Lukas Stevens (Sep 03 2020 at 12:12):

Is there any difference between using Set.filter and set comprehensions from an automation perspective?

view this post on Zulip Manuel Eberl (Sep 03 2020 at 12:15):

I think there's not a lot of automation for Set.filter, if any.

view this post on Zulip Manuel Eberl (Sep 03 2020 at 12:16):

I vaguely recall myself using Set.filter occasionally for some reason… maybe because of more straightforward cong/monotonicity rules. Also code generation.

view this post on Zulip Manuel Eberl (Sep 03 2020 at 12:16):

But you usually have to unfold its definition for automation to do anything.


Last updated: Aug 15 2022 at 04:16 UTC